removed semicolons (if)

crates/parser/src/lib.rs

@@ -277,7 +277,6 @@ fn expr_parser() -> impl Parser<Token, Vec<Spanned<Expr>>, Error = Simple<Token>
             });
 
         let do_block = expr.clone()
-            .then_ignore(just(Token::SemiColon))
             .repeated()
             .delimited_by(
                 just(Token::KwDo),
@@ -299,13 +298,13 @@ fn expr_parser() -> impl Parser<Token, Vec<Spanned<Expr>>, Error = Simple<Token>
             .then(
                 do_block.clone()
                     .or(expr.clone())
-            ).then_ignore(just(Token::SemiColon))
+            )
 
             .then_ignore(just(Token::KwElse))
             .then(
                 do_block.clone()
                     .or(expr.clone())
-            ).then_ignore(just(Token::SemiColon))
+            )
 
             .then_ignore(just(Token::KwEnd))
             .map(|((cond, then), else_)| {
@@ -327,14 +326,12 @@ fn expr_parser() -> impl Parser<Token, Vec<Spanned<Expr>>, Error = Simple<Token>
                     .ignore_then(expr.clone())
                     .then_ignore(just(Token::Arrow))
                     .then(expr.clone())
-                    .then_ignore(just(Token::SemiColon))
                     .repeated()
             )
             .then(
                 just(Token::Pipe)
                     .ignore_then(just(Token::KwElse))
                     .ignore_then(expr.clone())
-                    .then_ignore(just(Token::SemiColon))
             )
             .then_ignore(just(Token::KwEnd))
             .map(|((expr, cases), default)| {
@@ -361,7 +358,6 @@ fn expr_parser() -> impl Parser<Token, Vec<Spanned<Expr>>, Error = Simple<Token>
     }).labelled("expression");
 
     expr
-        .then_ignore(just(Token::SemiColon))
         .repeated()
         .then_ignore(end())
 }
@@ -389,7 +385,6 @@ mod tests {
             (Token::Identifier("Int".to_string()), 7..10),
             (Token::Assign, 11..12),
             (Token::Int(1), 13..14),
-            (Token::SemiColon, 14..15),
         ], 15);
 
         assert_eq!(err, vec![]);

example/69.hz

@@ -1,14 +1,14 @@
 fun add2 (lhs: int) (rhs: int): int = do
-    return lhs + rhs;
+    return lhs + rhs
-end;
+end
 
 fun main: void = do
-    let result: int = add2(34, 35);
+    let result: int = add2(34, 35)
-    @write(result);
+    @write(result)
-    @write("\n");
+    @write("\n")
     if result == 69 then
-        @write("big cool");
+        @write("big cool")
     else
-        @write("not cool");
+        @write("not cool")
-    end;
+    end
-end;
+end

example/case.hz

@@ -1,12 +0,0 @@
-fun main: void = do
-    let foo: int = 3;
-
-    match foo with
-        | 1 -> @write("One");
-        | 2 -> @write("Two");
-        | 3 -> do
-            @write("Three");
-        end;
-        | else @write("idk");
-    end;
-end;

example/factorial.hz

@@ -1,10 +1,19 @@
 fun factorial (n: int) : int = do
     match n with
-        | 0 -> return 1;
+        | 0 -> return 1
-        | else return n * factorial(n - 1);
+        | else return n * factorial(n - 1)
-    end;
+    end
-end;
+end
+
+fun also_factorial (n: int) : int = do
+    if n == 0 then
+        return 1
+    else
+        return n * also_factorial(n - 1)
+    end
+end
 
 fun main : void = do
-    factorial(5) |> @write(_);
+    let result : int = factorial(5)
-end;
+    @write(result)
+end

example/match.hz

@@ -0,0 +1,12 @@
+fun main: void = do
+    let foo: int = 3
+
+    match foo with
+        | 1 -> @write("One")
+        | 2 -> @write("Two")
+        | 3 -> do
+            @write("Three")
+        end
+        | else @write("idk")
+    end
+end

example/rule110.hz

@@ -1,93 +1,93 @@
 fun print_single (cell: bool): void = do
     match cell with
-        | true -> @write("█");
+        | true -> @write("█")
-        | else @write(" ");
+        | else @write(" ")
-    end;
+    end
-end;
+end
 
 fun print_vec (state: vec_bool) (length: int) (curr: int): void = do
-    if curr == length then @write(""); else
+    if curr == length then @write("") else
         do
-            @get(state, curr) |> print_single(_);
+            @get(state, curr) |> print_single(_)
-            print_vec(state, length, curr + 1);
+            print_vec(state, length, curr + 1)
-        end; 
+        end 
-    end;
+    end
-end;
+end
 
 fun cell_merger (a: bool) (b: bool) (c: bool): bool = do
     if a then
         if b then
             if c then
-                return false;
+                return false
             else
-                return true;
+                return true
-            end;
+            end
         else
             if c then
-                return true;
+                return true
             else
-                return false;
+                return false
-            end;
+            end
-        end;
+        end
     else
         if b then
             if c then
-                return true;
+                return true
             else
-                return true;
+                return true
-            end;
+            end
         else
             if c then
-                return true;
+                return true
             else
-                return false;
+                return false
-            end;
+            end
-        end;
+        end
-    end;
+    end
-end;
+end
 
 fun next (state: vec_bool) (pointer: int): bool = do
-    case pointer of
+    match pointer with
         | 0 -> do
-                let a: bool = false;
+                let a: bool = false
-                let b: bool = @get(state, 1);
+                let b: bool = @get(state, 1)
-                let c: bool = @get(state, 2);
+                let c: bool = @get(state, 2)
-                return cell_merger(a, b, c);
+                return cell_merger(a, b, c)
-            end; 
+            end
         | 1 -> do
-                let a: bool = @get(state, 0);
+                let a: bool = @get(state, 0)
-                let b: bool = @get(state, 1);
+                let b: bool = @get(state, 1)
-                let c: bool = @get(state, 2);
+                let c: bool = @get(state, 2)
-                return cell_merger(a, b, c);
+                return cell_merger(a, b, c)
-            end;
+            end
         | 2 -> do
-                let a: bool = @get(state, 1);
+                let a: bool = @get(state, 1)
-                let b: bool = @get(state, 2);
+                let b: bool = @get(state, 2)
-                let c: bool = @get(state, 3);
+                let c: bool = @get(state, 3)
-                return cell_merger(a, b, c);
+                return cell_merger(a, b, c)
-            end;
+            end
         | 3 -> do
-                let a: bool = @get(state, 2);
+                let a: bool = @get(state, 2)
-                let b: bool = @get(state, 3);
+                let b: bool = @get(state, 3)
-                let c: bool = @get(state, 4);
+                let c: bool = @get(state, 4)
-                return cell_merger(a, b, c);
+                return cell_merger(a, b, c)
-            end;
+            end
         | 4 -> do
-                let a: bool = @get(state, 3);
+                let a: bool = @get(state, 3)
-                let b: bool = @get(state, 4);
+                let b: bool = @get(state, 4)
-                let c: bool = @get(state, 5);
+                let c: bool = @get(state, 5)
-                return cell_merger(a, b, c);
+                return cell_merger(a, b, c)
-            end;
+            end
         | 5 -> do
-                return true;
+                return true
-            end;
+            end
-        | else return false;
+        | else return false
-    end;
+    end
-end;
+end
 
 fun iter (state: vec_bool) (for: int) (curr: int): void = do
     if curr == for then
-        @write("");
+        @write("")
     else
         do
             let next_state: vec_bool = [
@@ -97,19 +97,19 @@ fun iter (state: vec_bool) (for: int) (curr: int): void = do
                 next(state, 3),
                 next(state, 4),
                 next(state, 5)
-            ];
+            ]
 
-            print_vec(next_state, 6, 0);
+            print_vec(next_state, 6, 0)
-            @write("\n");
+            @write("\n")
-            iter(next_state, for, curr + 1);
+            iter(next_state, for, curr + 1)
-        end;
+        end
-    end;
+    end
-end;
+end
 
 fun main: void = do
-    let vec: vec_bool = [false, false, false, false, false, true];
+    let vec: vec_bool = [false, false, false, false, false, true]
-    print_vec(vec, 6, 0);
+    print_vec(vec, 6, 0)
-    @write("\n");
+    @write("\n")
 
-    iter(vec, 20, 0);
+    iter(vec, 20, 0)
-end;
+end

example/strings.hz

@@ -1,16 +1,16 @@
 fun main: void = do
-    let str: string = "Hello, World";
+    let str: string = "Hello, World"
 
     -- Matching string(s)
     match str with
-        | "Hello, World" -> @write("yes\n");
+        | "Hello, World" -> @write("yes\n")
-        | else @write("no\n");
+        | else @write("no\n")
-    end;
+    end
 
     -- Indexing character in string
-    let foo: string = @get(str, 0);
+    let foo: string = @get(str, 0)
     match foo with
-        | "H" -> @write("still yes");
+        | "H" -> @write("still yes")
-        | else @write("no H");
+        | else @write("no H")
-    end;
+    end
-end;
+end