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/util.mli | |
| 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/util.mli')
| -rw-r--r-- | src/util.mli | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/util.mli b/src/util.mli index 73dbd30b..bdf6e594 100644 --- a/src/util.mli +++ b/src/util.mli @@ -228,3 +228,14 @@ val is_some : 'a option -> bool val is_none : 'a option -> bool val take : int -> 'a list -> 'a list + +val take_drop : ('a -> bool) -> 'a list -> ('a list * 'a list) + +(* Terminal color codes *) +val termcode : int -> string +val bold : string -> string +val green : string -> string +val red : string -> string +val yellow : string -> string +val cyan : string -> string +val clear : string -> string |