GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-27 17:08:54 -06:00
Code Issues Packages Projects Releases Wiki Activity

add type signatures to keep the old type checker happy

Browse Source
This commit is contained in:
Krasimir Angelov
2025-09-11 10:04:27 +02:00
parent e76e11e566
commit 5375cda243
1 changed files with 16 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
src/scots/ParadigmsSco.gf
View File

@@ -1,13 +1,15 @@
resource ParadigmsSco = ParadigmsEng - [regV, reg2V, regDuplV, irregV, irreg4V, irregDuplV, mkV, mkV2, mkV3, mkV2V, mkV2Q] ** open Prelude, ResSco, CatSco in {
oper
regV : Str -> V ;
regV cry =
let
cries = (regN cry).s ! Pl ! Nom ; -- !
cried : Str = case cries of {
_ + "es" => init cries + "d" ;
_ + "ers" => init cries + "ed" ;
_ => duplFinal cry + "ed"
criet : Str = case cry of {
rax@(_ + ("x"|"sh"|"ch")) => rax+"t";
hurt@(_ + ("t"|"p"|"d")) => hurt + "it" ;
traivel@(_ + ("l"|"n"|"r"|"ie"|"y")) => traivel + "t" ;
clean => clean + "ed"
} ;
cryin : Str = case cry of {
_ + "ee" => cry + "in" ;
@@ -16,30 +18,35 @@ oper
ent + "er" => ent + "erin" ;
_ => duplFinal cry + "in"
}
in mk5V cry cries cried cried cryin ;
in mk5V cry cries criet criet cryin ;
reg2V fit fitted =
let fitt = Predef.tk 2 fitted ;
reg2V : Str -> Str -> V ;
reg2V fit fittet =
let fitt = Predef.tk 2 fittet ;
in
if_then_else V (pbool2bool (Predef.eqStr (last fit) (last fitt)))
(mk5V fit (fit + "s") (fitt + "ed") (fitt + "ed") (fitt + "in"))
(mk5V fit (fit + "s") (fitt + "et") (fitt + "et") (fitt + "in"))
(regV fit) ;
regDuplV : Str -> V ;
regDuplV fit =
case last fit of {
("a" | "e" | "i" | "o" | "u" | "y") =>
Predef.error (["final duplication makes no sense for"] ++ fit) ;
t =>
let fitt = fit + t in
mk5V fit (fit + "s") (fitt + "ed") (fitt + "ed") (fitt + "in")
mk5V fit (fit + "s") (fitt + "et") (fitt + "et") (fitt + "in")
} ;
irregV : Str -> Str -> Str -> V ;
irregV x y z = let reg = (regV x).s in
mk5V x (reg ! VPres) y z (reg ! VPresPart) ** {s1 = []} ;
irreg4V : Str -> Str -> Str -> Str -> V ;
irreg4V x y z w = let reg = (regV x).s in
mk5V x (reg ! VPres) y z w ** {s1 = []} ;
irregDuplV : Str -> Str -> Str -> V ;
irregDuplV fit y z =
let
fitting = (regDuplV fit).s ! VPresPart