Merge pull request #113 from engboris/repl

Add binary for interactive interpreter (REPL)

Author: engboris

bin/dune

@@ -1,6 +1,6 @@
 (executables
- (public_names lsc sgen)
- (names lscrun sgen)
+ (public_names lsc sgen isgen)
+ (names lscrun sgen isgen)
  (libraries lsc stellogen base))
 
 (env

bin/isgen.ml

@@ -0,0 +1,20 @@
+open Base
+
+let rec loop env =
+  let lexbuf = Lexing.from_channel Stdlib.stdin in
+  let d = Stellogen.Sgen_parser.declaration Stellogen.Sgen_lexer.read lexbuf in
+  let wrapped_env =
+    Stellogen.Sgen_eval.eval_decl ~typecheckonly:false ~notyping:false env d
+  in
+  match wrapped_env with
+  | Ok env' -> loop env'
+  | Error e ->
+    let ( let* ) x f = Result.bind x ~f in
+    let* pp = Stellogen.Sgen_eval.pp_err ~notyping:false e in
+    Stdlib.output_string Stdlib.stderr pp;
+    Stdlib.flush Stdlib.stderr;
+    loop env
+
+let () =
+  let _ = loop Stellogen.Sgen_ast.initial_env in
+  ()

src/stellogen/sgen_parser.mly

@@ -18,6 +18,7 @@ open Sgen_ast
 %token PROOF LEMMA THEOREM
 
 %start <Sgen_ast.program> program
+%start <Sgen_ast.declaration> declaration
 
 %%