feat: repl and file typechecker

Author: miguel-nascimento

Cargo.lock

@@ -8,6 +8,7 @@ edition = "2021"
 [dependencies]
 anyhow = { version = "*" }
 lalrpop-util = { version = "0.20.0", features = ["lexer", "unicode"] }
+colored = "2.1.0"
 
 [build-dependencies]
 lalrpop = "0.20.0"

Cargo.toml

@@ -1,16 +1,9 @@
 let id = fun x -> x;
+let unit = id ();
+let perform = fun x -> x ();
 
 let true = fun x -> fun y -> x;
 let false = fun x -> fun y -> y;
 let if = fun b -> fun x -> fun y -> b x y;
+let add = fun m -> fun n -> fun f -> fun x ->  m f (n f x);
 
-let zero = fun s -> fun z -> z;
-let succ = fun n -> fun s -> fun z -> s (n s z);
-
-let one = succ zero;
-let two = succ one;
-let three = succ two;
-let four = succ three;
-let five = succ four;
-
-let one_or_two = fun cond -> if cond one two

examples/example.hm

@@ -10,6 +10,10 @@ pub Stmt: Stmt = {
     "let" <x:Ident> "=" <e1:Expr> "in" <e2:Expr> ";" => Stmt::Def(x.clone(), Expr::Let(x, Box::new(e1), Box::new(e2))),
 };
 
+pub Stmts: Vec<Stmt> = {
+    <stmts:Stmt*> => stmts,
+};
+
 Expr: Expr = {
     Terminal,
     <l:Terminal> <r:Expr> => Expr::Apply(Box::new(l), Box::new(r)),