"improve" things

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

Hide file tree

Showing 27 changed files with 3,298 additions and 196 deletions.
diff --git a/app/Main.hs b/app/Main.hs
@@ -49,10 +49,10 @@ import Print
 import System.CPUTime
 import System.Directory (createDirectoryIfMissing)
 import System.Environment (getEnvironment)
+import System.FilePath
 import System.IO (openFile)
 import System.Process
 import Text.Printf
-import System.FilePath
 
 outDirName :: IsString s => s
 outDirName = "build"
@@ -130,9 +130,9 @@ runElara dumpShunted dumpTyped dumpCore run = fmap fst <$> finalisePipeline $ do
 
 createAndWriteFile :: FilePath -> LByteString -> IO ()
 createAndWriteFile path content = do
-  createDirectoryIfMissing True $ takeDirectory path
+    createDirectoryIfMissing True $ takeDirectory path
 
-  writeFileLBS path content
+    writeFileLBS path content
 
 cleanup :: IO ()
 cleanup = resetGlobalUniqueSupply

diff --git a/build/Elara.Prim.core.elr b/build/Elara.Prim.core.elr
@@ -1,9 +1,9 @@
 module Elara.Prim
-{ Elara.Prim.cons : forall (a_1 : Type). a_1 -> [] a_1 -> [] a_1
-    = Elara.Prim.elaraPrimitive @(a_1 -> [] a_1 -> [] a_1) "cons"
+{ Elara.Prim.cons : forall (a_1 : Type). a_1 -> [a_1] -> [a_1]
+    = Elara.Prim.elaraPrimitive @(a_1 -> [a_1] -> [a_1]) "cons"
 ; 
-Elara.Prim.empty : forall (a_2 : Type). [] a_2
-    = Elara.Prim.elaraPrimitive @([] a_2) "empty"
+Elara.Prim.empty : forall (a_2 : Type). [a_2]
+    = Elara.Prim.elaraPrimitive @([a_2]) "empty"
 ; 
 Elara.Prim.println : String -> IO ()
     = Elara.Prim.elaraPrimitive @(String -> IO ()) "println"

diff --git a/build/Elara/Prim.class b/build/Elara/Prim.class
diff --git a/build/Main.core.elr b/build/Main.core.elr
@@ -1,6 +1,7 @@
 module Main
 { Main.fact : Int -> Int
-    = \ (n_5 : Int) -> case (Elara.Prim.== @Int n_5 0)  { Elara.Prim.True -> 1; Elara.Prim.False -> Elara.Prim.* n_5 (Main.fact (Elara.Prim.- n_5 1))}
+    = \ (n_5 : Int) -> case Elara.Prim.== @Int n_5 0 
+        { 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.empty) (Elara.Prim.cons 2 Elara.Prim.empty))) }
diff --git a/build/Main.typed.elr b/build/Main.typed.elr
@@ -26,17 +26,17 @@ let Main.main =
                             IO Unit
                                 ((Elara.Prim.toString : forall (a_3 : Type) .
                                                           a_3 -> Text @List
-                                                                         Integer) : Text ((Prelude.(++) : forall (a_10 : Type) .
+                                                                         Integer) : Text ((Prelude.(++) : forall (a_6 : Type) .
                                                                                                             List
-                                                                                                              a_10 ->
+                                                                                                              a_6 ->
                                                                                                             List
-                                                                                                              a_10 ->
+                                                                                                              a_6 ->
                                                                                                               List
-                                                                                                                a_10 [ 1 : Integer ] : List
-                                                                                                                                         Integer) : List
-                                                                                                                                                      Integer ->
-                                                                                                                                                      List
-                                                                                                                                                        Integer [ 2 : Integer ] : List
-                                                                                                                                                                                    Integer) : List
-                                                                                                                                                                                                 Integer) : Text) : IO Unit
+                                                                                                                a_6 [ 1 : Integer ] : List
+                                                                                                                                        Integer) : List
+                                                                                                                                                     Integer ->
+                                                                                                                                                     List
+                                                                                                                                                       Integer [ 2 : 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,6 +1,4 @@
 module Prelude
-{ Prelude.++ : forall (a_10 : Type). [] a_10 -> [] a_10 -> [] a_10
-    = \ (a_11 : [] a_10) (b_12 : [] a_10) -> case a_11 of (a_64 : forall (a_10 : Type). [] a_10) { Elara.Prim.empty -> b_12; Elara.Prim.cons -> Elara.Prim.cons @a_10 x_13 (Prelude.++ xs_14 b_12)}
-; 
-Prelude.reverse : forall (a_6 : Type). [] a_6 -> [] a_6
-    = \ (x_7 : [] a_6) -> case x_7 of (x_65 : forall (a_6 : Type). [] a_6) { Elara.Prim.empty -> Elara.Prim.empty; Elara.Prim.cons -> Prelude.++ (Prelude.reverse xs_9) (Elara.Prim.cons x_8 Elara.Prim.empty)} }
+{ 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])
+        { 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)} }