refinements

This commit is contained in:
virk.shafqat
2012-03-05 09:33:23 +00:00
parent b6736ae159
commit 2617a29867
36 changed files with 223 additions and 207 deletions

View File

@@ -68,11 +68,14 @@ oper
mkA = overload {
mkA : Str-> A
= \s -> regAdjective s ** {lock_A = <>} ;
mkA : Str -> Str -> A2
mkA : Str -> Str -> A2
= \a,c -> let n = regAdjective a in {s = n.s; c2 = c} ** {lock_A2 = <>} ;
mkA : A -> Str -> A2
= \a,c -> a ** {c2 = c ; lock_A2 = <>};
} ;
mkIrregA : Str -> Str -> A2 = \str,c -> makeIrregA str ** {c2 = c ; lock_A2 = <>} ;
mkIrregA : Str -> A = \str -> makeIrregA str ;
--2 Verbs