changed the order of Prelude.Bool to False | True. This is how it is in Haskell to create expected Ord and Enum. Now it also gives a better default for English clause linearizations, as False = uncontracted.

2026-04-14 07:19:31 -06:00 · 2013-12-03 13:52:52 +00:00
parent 1778cd7c19
commit e0ded7e7e8
1 changed files with 1 additions and 1 deletions
--- a/lib/src/prelude/Prelude.gf
+++ b/lib/src/prelude/Prelude.gf
@@ -59,7 +59,7 @@ oper

 --2 Booleans

- param Bool = True | False ;
+ param Bool = False | True ;

 oper
  if_then_else : (A : Type) -> Bool -> A -> A -> A = \_,c,d,e ->