checkpoint

src/parser/interface.mbt

@@ -32,7 +32,8 @@ pub fn parse_program(intput : String) -> S {
   }
   let parsed = match parser().parse(lex_stream[:]) {
     (Some(parsed), []) => parsed
-    _ => @util.die("parse error")
+    _ => Unit
+    //@util.die("Parser Error")
   }
   ensure_top_level_type_sig(parsed)
   parsed

src/parser/parser.mbt

@@ -227,9 +227,7 @@ fn parser() -> PS {
   stmt_ref.val = fold_right(
     ref(expr_ref),
     stmt_head,
-    tok(@lex.SEMICOL).replace(fn(u, v) { u(v) }) +
-    // HACK: Allow omitting semicolon between statements
-    epsilon().replace(fn(u, v) { u(v) }),
+    tok(@lex.SEMICOL).replace(fn(u, v) { u(v) }),
   )
   let top_head = lift2(
       fn(id : String, body : S) {
@@ -252,8 +250,6 @@ fn parser() -> PS {
     tok(@lex.EOF).replace(S::Unit),
     // NOTE: top level definitions must start at the beginning of line
     line_start >> top_head,
-    tok(@lex.SEMICOL).replace(fn(u, v) { u(v) }) +
-    // HACK: Allow omitting semicolon at top level
-    epsilon().replace(fn(u, v) { u(v) }),
+    tok(@lex.SEMICOL).replace(fn(u, v) { u(v) }),
   )
 }

test/test_src/comments.mbt

@@ -0,0 +1,9 @@
+// wowowowo
+fn main 
+// hell yes
+{
+  (  //hell yes
+
+  )
+
+};

test/test_src/ids.mbt

@@ -0,0 +1,9 @@
+fn main {
+  let _ = 1;
+  let _1 = 2;
+  let _1 = 9;
+  let _1 = 8;
+  let __ = 3;
+  let _hey__1_what_132 = 4;
+  5
+};