fix komen_V + make the number of arguments clear in mkVerb

This commit is contained in:
Inari Listenmaa
2018-01-16 13:47:28 +01:00
parent 84f2c2d7e1
commit 3fc418c0e9
2 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -132,7 +132,7 @@ param
oper
Verb : Type = {s: VForm => Str};
mkVerb : (_,_,_,_,_,_,_ : Str) -> Verb =
mkVerb : (x1,_,_,_,_,_,x7 : Str) -> Verb =
\aai, aait, aaien, aaide, aaidet, aaiden, geaaid ->
mkVerb8 aai aait aait aaien aaide aaidet aaiden geaaid ;