=Corrected the type of Imp because Bool produced False as default hence negative form of Imperative be = taba instead of ba. Why does GF compute for false first by default? Is it data Bool = False | True?

2026-07-02 20:18:33 -06:00 · 2019-05-19 06:31:16 +02:00
parent 115989e017
commit 9b0cbc63ec
4 changed files with 7 additions and 5 deletions
@@ -6,7 +6,7 @@ concrete CatCgg of Cat = CommonX -[Adv,IAdv, AdA]**
 lincat
  
  
-  Imp = {s : Bool => Str} ;
+  Imp = {s : Res. ImpPol=> Str} ;
  QS = {s : Str} ;

  -- Note: SS is a shorthand for {s:Str}, defined in Prelude.gf