Rename parsing/ to src/
[goals.git] / src / parse.ml
similarity index 95%
rename from parsing/main.ml
rename to src/parse.ml
index 7253954..6b7c03d 100644 (file)
@@ -38,12 +38,10 @@ let parse lexbuf =
      eprintf "%a: parse error\n" print_position lexbuf;
      exit 1
 
-let () =
-  let filename = "Goalfile" in
+let parse_from_file filename =
   let fp = open_in filename in
   let lexbuf = Lexing.from_channel fp in
   lexbuf.lex_curr_p <- { lexbuf.lex_curr_p with pos_fname = filename };
   let file : Ast.file = parse lexbuf in
   close_in fp;
-
-  Ast.print_file stdout file
+  file