change order of definition

anoma · Nov 22, 2024 · c1f0151 · c1f0151
1 parent dd3277b
commit c1f0151
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/Juvix/Compiler/Core/Data/InfoTableBuilder.hs b/src/Juvix/Compiler/Core/Data/InfoTableBuilder.hs
@@ -269,8 +269,8 @@ declareBoolBuiltins =
   declareInductiveBuiltins
     "Bool"
     (Just (BuiltinTypeInductive BuiltinBool))
-    [ (BuiltinTag TagTrue, "true", const mkTypeBool', Just BuiltinBoolTrue),
-      (BuiltinTag TagFalse, "false", const mkTypeBool', Just BuiltinBoolFalse)
+    [ (BuiltinTag TagFalse, "false", const mkTypeBool', Just BuiltinBoolFalse),
+      (BuiltinTag TagTrue, "true", const mkTypeBool', Just BuiltinBoolTrue)
     ]
 
 declareNatBuiltins :: (Member InfoTableBuilder r) => Sem r ()

diff --git a/tests/negative/Internal/LazyBuiltin.juvix b/tests/negative/Internal/LazyBuiltin.juvix
@@ -2,8 +2,8 @@ module LazyBuiltin;
 
 builtin bool
 type Bool :=
-  | true : Bool
-  | false : Bool;
+  | false : Bool
+  | true : Bool;
 
 builtin bool-if
 ite : {A : Type} -> Bool -> A -> A -> A