Various small changes

* Experimented with using list<bit> to clean up manually monomorphised code in MIPS tlb
* Added option -dtc_verbose to control verbosity of new typechecker
* Allowed functions with val specs to omit their type declarations

1 files changed, 3 insertions, 0 deletions

diff --git a/src/sail.ml b/src/sail.ml
index e7a2bd99..bff1f58b 100644
--- a/src/sail.ml
+++ b/src/sail.ml
@@ -103,6 +103,9 @@ let options = Arg.align ([
   ( "-ddump_tc_ast",
     Arg.Set opt_ddump_tc_ast,
     " (debug) dump the typechecked ast to stdout");
+  ( "-dtc_verbose",
+    Arg.Int (fun verbosity -> Type_check_new.opt_tc_debug := verbosity),
+    " (debug) verbose typechecker output: 0 is silent");
   ( "-dno_cast",
     Arg.Set opt_dno_cast,
     " (debug) typecheck without any implicit casting");