various bugfixes + improvements

ElaraLang · Nov 7, 2023 · a77c9df · a77c9df
1 parent 0bfc230
commit a77c9df
Show file tree

Hide file tree

Showing 16 changed files with 60 additions and 3,060 deletions.
diff --git a/build/Main.class b/build/Main.class
diff --git a/build/Main.core.elr b/build/Main.core.elr
@@ -4,4 +4,4 @@ module Main
         { Elara.Prim.True : Bool  -> 1; Elara.Prim.False : Bool  -> Elara.Prim.* n_5 (Main.fact (Elara.Prim.- n_5 1))}
 ; 
 Main.main : IO ()
-    = Elara.Prim.println (Elara.Prim.toString @([Int]) (Prelude.++ (Elara.Prim.cons 1 Elara.Prim.empty) (Elara.Prim.cons 2 Elara.Prim.empty))) }
+    = Elara.Prim.println (Elara.Prim.toString @([Int]) (Prelude.++ (Elara.Prim.cons 1 (Elara.Prim.cons 2 (Elara.Prim.cons 3 Elara.Prim.empty))) (Elara.Prim.cons 4 (Elara.Prim.cons 5 (Elara.Prim.cons 6 Elara.Prim.empty))))) }
diff --git a/build/Main.typed.elr b/build/Main.typed.elr
@@ -32,11 +32,11 @@ let Main.main =
                                                                                                             List
                                                                                                               a_6 ->
                                                                                                               List
-                                                                                                                a_6 [ 1 : Integer ] : List
-                                                                                                                                        Integer) : List
-                                                                                                                                                     Integer ->
-                                                                                                                                                     List
-                                                                                                                                                       Integer [ 2 : Integer ] : List
-                                                                                                                                                                                   Integer) : List
-                                                                                                                                                                                                Integer) : Text) : IO Unit
+                                                                                                                a_6 [ 1 : Integer, 2 : Integer, 3 : Integer ] : List
+                                                                                                                                                                  Integer) : List
+                                                                                                                                                                               Integer ->
+                                                                                                                                                                               List
+                                                                                                                                                                                 Integer [ 4 : Integer, 5 : Integer, 6 : Integer ] : List
+                                                                                                                                                                                                                                       Integer) : List
+                                                                                                                                                                                                                                                    Integer) : Text) : IO Unit
 
diff --git a/build/Prelude.class b/build/Prelude.class
diff --git a/build/Prelude.core.elr b/build/Prelude.core.elr
@@ -1,4 +1,4 @@
 module Prelude
 { Prelude.++ : forall (a_6 : Type). [a_6] -> [a_6] -> [a_6]
-    = \ (a_7 : [a_6]) (b_8 : [a_6]) -> case a_7 of (a_58 : forall (a_6 : Type). [a_6])
+    = \ (a_7 : [a_6]) (b_8 : [a_6]) -> case a_7 of (a_62 : forall (a_6 : Type). [a_6])
         { Elara.Prim.empty : [([a_6])]  -> b_8; Elara.Prim.cons : [] (x_9 : a_6) (xs_10 : [a_6]) -> Elara.Prim.cons @a_6 x_9 (Prelude.++ xs_10 b_8)} }