Update main.ml

Beluga-lang · Dec 26, 2023 · 06a6dc8 · 06a6dc8
1 parent 2f65cf1
commit 06a6dc8
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/driver/main.ml b/driver/main.ml
@@ -5,8 +5,7 @@ let parse text =
      which we then feed into the parser. *)
   let rec loop lexbuf = lazy (Buf_cons (Lexer.read lexbuf, loop lexbuf)) in
   let token_stream = loop (Lexing.from_string text) in
-  let parse : int -> buffer -> Parser.Cst.obj parse_result = Parser.prog in
-  match parse 50 token_stream with
+  match Parser.prog 50 token_stream with
   | Parsed_pr (e, _) -> Some e
   | Fail_pr_full (_, _) -> None
   | _ -> None