inversions with intervening -t- for Fre, e.g. fera-t-il, parle-t-elle

2013-02-21 08:40:57 +00:00
parent 5cb47b863d
commit f92e245c0a
10 changed files with 460 additions and 440 deletions
--- a/lib/src/catalan/DiffCat.gf
+++ b/lib/src/catalan/DiffCat.gf
@@ -172,7 +172,7 @@ oper
        <Masc,  Pl,P3> => cases3 "els" "els" "ells"
        } ;

-    vRefl   : VType = VRefl ;
+    vRefl _ = VRefl ;
    isVRefl : VType -> Bool = \ty -> case ty of {
      VRefl => True ;
      _ => False