two-place Dut.mkA to deal with unpredictable attributive form

This commit is contained in:
aarne
2015-04-16 07:03:29 +00:00
parent 2bd5bba87c
commit 14ad792ce7
3 changed files with 19 additions and 12 deletions

View File

@@ -81,6 +81,7 @@ oper
mkA : overload {
mkA : (vers : Str) -> A ; -- regular adjective
mkA : (tweed,tweede : Str) -> A ; -- with deviant second form
mkA : (goed,goede,goeds,beter,best : Str) -> A ; -- irregular adjective
} ;
@@ -245,6 +246,7 @@ oper
mkA = overload {
mkA : (vers : Str) -> A = \a -> lin A (regAdjective a) ;
mkA : (vers,verse : Str) -> A = \a,b -> lin A (reg2Adjective a b) ;
mkA : (goed,goede,goeds,beter,best : Str) -> A = \a,b,c,d,e -> lin A (mkAdjective a b c d e) ;
} ;