Modifications mineures du TP Menhir

tp/tp-menhir/code/dune-project

@@ -1,2 +1,2 @@
-(lang dune 1.4)
+(lang dune 1.11)
 (using menhir 2.0)

tp/tp-menhir/code/marthe.ml

@@ -1,12 +1,12 @@
 let rec interactive_loop () =
   welcome_message ();
   let rec loop () =
-    begin try
+    try
       read () |> eval |> print
-    with exn ->
-      Printf.printf "Error: %s\n%!" (Printexc.to_string exn)
-    end;
-    loop ()
+    with End_of_file -> print_newline ()
+       | exn ->
+          Printf.printf "Error: %s\n%!" (Printexc.to_string exn);
+          loop ()
   in
   loop ()
 
@@ -18,9 +18,9 @@ and welcome_message () =
 "
 
 and read () =
-  invite (); input_line stdin |> parse
+  prompt (); input_line stdin |> parse
 
-and invite () =
+and prompt () =
   Printf.printf "> %!"
 
 and parse input =