From 24ad1bfd6a5a0fe1baa9ca377f28888702a1aa56 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Tue, 3 Dec 2013 13:52:52 +0000
Subject: [PATCH] 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.

---
 src/prelude/Prelude.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/prelude/Prelude.gf b/src/prelude/Prelude.gf
index b8164efe8..893fd340a 100644
--- a/src/prelude/Prelude.gf
+++ b/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 ->