fixes in Dut infinitive/extraposed word order. Not quite clear yet.

2026-07-01 19:48:34 -06:00 · 2015-09-17 19:44:35 +00:00
parent 50fc3416f1
commit caf333e529
3 changed files with 14 additions and 6 deletions
@@ -63,7 +63,10 @@ concrete NounDut of Noun = CatDut ** open ResDut, Prelude in {
        a = quant.a
      in {
        s = \\g => quant.s ! num.isNum ! n ! g ++ num.s ;
-        sp = \\g => quant.sp ! n ! g ++ num.s ;
+        sp = \\g => case num.isNum of {
+	  False => quant.sp ! n ! g ++ num.s ;
+	  True  => quant.s ! True ! n ! g ++ num.s
+	  } ;
        n = n ;
        a = a
        } ;