X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fparse.ml;fp=parsing%2Fmain.ml;h=6b7c03d72872362731862f6a9cd0c24034747f7b;hb=5a6a8b2b8e515941f9a2b3cc051da646ae696251;hp=7253954a76cce9fd8328b6a33bbd2951f8fde507;hpb=53a2161b3e0ff69420968c0fba82b93800a6b381;p=goals.git

diff --git a/parsing/main.ml b/src/parse.ml
similarity index 95%
rename from parsing/main.ml
rename to src/parse.ml
index 7253954..6b7c03d 100644
--- a/parsing/main.ml
+++ b/src/parse.ml
@@ -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