simplify mkQuant

This commit is contained in:
Krasimir Angelov
2026-10-03 10:18:10 +02:00
parent 7c7659c9a3
commit c406c89f90
+1 -1
View File
@@ -257,7 +257,7 @@ oper
mkCard : Str -> Card = \s -> lin Card (invarDeterminer s Num5) ; mkCard : Str -> Card = \s -> lin Card (invarDeterminer s Num5) ;
mkDet : Str -> Det = \s -> lin Det (invarDeterminer s Num5) ; mkDet : Str -> Det = \s -> lin Det (invarDeterminer s Num5) ;
mkQuant : Str -> Quant = \s -> mkQuant : Str -> Quant = \s ->
lin Quant (adjFormsAdjective (mkA s)) ; lin Quant (adjFormsAdjective (guessAdjForms s)) ;
mkACard : Str -> ACard = \s -> lin ACard {s = s} ; mkACard : Str -> ACard = \s -> lin ACard {s = s} ;
mkAdN : Str -> AdN = \s -> lin AdN {s = s} ; mkAdN : Str -> AdN = \s -> lin AdN {s = s} ;