(Por) rm (indirect) use of runtime gluing

2019-01-10 09:53:47 -02:00
parent 167e80df97
commit 9376c108ac
3 changed files with 20 additions and 15 deletions
@@ -245,7 +245,7 @@ oper
    -- One-place adjectives compared with "mais" need five forms in
    -- the worst case (masc and fem singular, masc and fem plural,
    -- adverbial).
-    mkA : (bobo,boba,bobos,bobas,bobamente : Str) -> A = mk5A ;
+    mkA : (gabarolas,gabarolas,gabarolas,gabarolas,gabarolamente : Str) -> A = mk5A ;

    -- In the worst case, two separate adjectives are given: the positive
    -- ("bom"), and the comparative ("melhor").  special comparison with