X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fmain.ml;h=be1baff0728299e64f0c832a0b95114485300946;hb=8e1d9182f7573112cb36c7d0ff0c8612f34ffd57;hp=643e1b5ff33e37b2e7394ec413abb307d214f812;hpb=ad88d061677bc17e820eac0f949723c6f3d4f6e4;p=goals.git

diff --git a/src/main.ml b/src/main.ml
index 643e1b5..be1baff 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -50,7 +50,7 @@ let main () =
   let filename = !filename in
 
   (* Parse the input file. *)
-  let file = Parse.parse_from_file filename in
+  let file = Parse.parse_goalfile filename in
 
   Ast.print_file stdout file;
 
@@ -65,7 +65,7 @@ let main () =
     function
     | Ast.Goal (name, [], _, _, _) ->
        if !initial_targets = [] then
-         initial_targets := name :: !initial_targets
+         initial_targets := Ast.ECall (name, []) :: !initial_targets
     | Ast.Goal (name, _, _, _, _) ->
        if !initial_targets = [] then
          failwithf "%s: first target ‘%s’ has parameters and so cannot be used as the default target"
@@ -74,9 +74,6 @@ let main () =
   ) file;
 
   let initial_targets = List.rev !initial_targets in
-
-  eprintf "initial targets:";
-  List.iter (eprintf " %s") initial_targets;
-  eprintf "\n"
+  ignore initial_targets
 
 let () = main ()