Commits

Anonymous committed 215e086

main

  • Participants
  • Parent commits 2c925c6

Comments (0)

Files changed (3)

 {
-(*  open Term        (* The type token is defined in parser.mli *)*)
   type token = Lambda | Dot | Ident of string | Open | Close
 | Int of int | EOL
   exception Eof
     let ts = tokens [] in
     let tm = Parser.parse ts in
     prerr_endline @@ "parse: " ^ sterm tm;
-(*    while true do
-      let t =  Lexer.token lexbuf in
-      prerr_endline (stoken t);
-      flush stderr;
-    done
-*)
   with
-  | Lexer.Eof ->
-      prerr_endline "eof"; exit 0
-  | e -> prerr_endline ( "ERRR: " ^ Printexc.to_string e)
+  | Parse.Error -> prerr_endline ("parse error");
+  | e -> prerr_endline ("ERRR: " ^ Printexc.to_string e)
-(*
-type term =
-  | Var of var
-  | Abs of var * term
-  | App of term * term
-*)
-
 open Lexer
 open ParserUtil
 open Term