summaryrefslogtreecommitdiff
path: root/src/specialize.ml
diff options
context:
space:
mode:
authorAlasdair2020-04-15 15:57:38 +0100
committerAlasdair2020-04-15 15:57:38 +0100
commitb727e02d59c130b6b6d1eb969a0e4fa8cc156e51 (patch)
treedc7fce45ca7f0b90a628f0e15c1ce99d8554d360 /src/specialize.ml
parent26510d7798daac30a400e8d04278a86ea8b83983 (diff)
Add more intuitive defaults to interactive toplevel
sail -i now starts an interactive toplevel with a few additional options set by default: - It applies the "interpreter" rewrites to any files passed on the command line. - It also applies those rewrites after the :l/:load command - Registers previously started in a disabled state, as the interactive shell made no default decision as to how to handle undefined (which is the initial value for all registers). Now -i implies -undefined_gen - Better help text for :fix_registers - Nullary interactive actions generate Sail functions that round-trip through pretty printing and parsing (bugfix) The -interact_custom flag has the same behavior as the previous -i flag This commit also improves the c/ocaml/interpreter test harness so it cleans up temporary files which could cause issues with stale files when switching ocaml versions
Diffstat (limited to 'src/specialize.ml')
0 files changed, 0 insertions, 0 deletions