diff options
| author | Alasdair Armstrong | 2017-12-11 18:34:59 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-12-11 18:34:59 +0000 |
| commit | 89d1f43805ec64ff3537026a84d9a7816a5c23a6 (patch) | |
| tree | d7da4511b099b5f80bda7b30d3d2902457658405 /src/myocamlbuild.ml | |
| parent | 47f1892406b5c10d06eb99af40d4523b93b2f254 (diff) | |
Prototype interactive mode for sail.
Requires linenoise library (opam install linenoise) for readline
support. Use 'make isail' to build sail with interactive
support. Plain 'make sail' should work as before with no additional
dependencies.
Use 'sail -i <commands>' to run sail interactively, e.g.
sail -new_parser -i test/ocaml/prelude.sail test/ocaml/trycatch/tc.sail
then try some commands for typechecking and evaluation
sail> :t main
sail> main ()
Doesn't use the lem interpreter right now, instead has a small
operational semantics in src/interpreter.ml, but this is not very
complete and will be changed/removed.
Diffstat (limited to 'src/myocamlbuild.ml')
| -rw-r--r-- | src/myocamlbuild.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/myocamlbuild.ml b/src/myocamlbuild.ml index a437e7e6..03257458 100644 --- a/src/myocamlbuild.ml +++ b/src/myocamlbuild.ml @@ -80,7 +80,7 @@ let lem_opts = [A "-lib"; P "../lem_interp"; A "-wl_pat_fail"; P "ign"; A "-wl_unused_vars"; P "ign"; (* A "-suppress_renaming";*) -] ;; + ] ;; dispatch begin function | After_rules -> |