From 0a65347ed2868b815dee532acfebb463f8be644b Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Sat, 22 Dec 2018 00:20:08 +0000
Subject: Improve error messages and debugging

Work on improving the formatting and quality of error messages

When sail is invoked with sail -i, any type errors now drop the user
down to the interactive prompt, with the interactive environment being
the environment at the point the type error occurred, this means the
typechecker state can be interactively queried in the interpreter to help
diagnose type errors.
---
 src/interactive.mli | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 src/interactive.mli

(limited to 'src/interactive.mli')

diff --git a/src/interactive.mli b/src/interactive.mli
new file mode 100644
index 00000000..7782f646
--- /dev/null
+++ b/src/interactive.mli
@@ -0,0 +1,9 @@
+open Ast
+open Type_check
+
+val opt_interactive : bool ref
+val opt_suppress_banner : bool ref
+
+val ast : tannot defs ref
+
+val env : Env.t ref
-- 
cgit v1.2.3