From ddaf05544d182bd75471ce307458daf417c9e17f Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Wed, 6 Feb 2019 23:08:48 +0000
Subject: Emacs mode understands relationships between Sail files

Allow a file sail.json in the same directory as the sail source file
which contains the ordering and options needed for sail files involved
in a specific ISA definition. I have an example for v8.5 in sail-arm.
The interactive Sail process running within emacs then knows about the
relationship between Sail files, so C-c C-l works for files in the ARM
spec. Also added a C-c C-x command to jump to a type error. Requires
yojson library to build interactive Sail.
---
 src/process_file.mli | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/process_file.mli')

diff --git a/src/process_file.mli b/src/process_file.mli
index 4496e046..f75f6687 100644
--- a/src/process_file.mli
+++ b/src/process_file.mli
@@ -54,7 +54,6 @@ val parse_file : ?loc:Parse_ast.l -> string -> Parse_ast.defs
 
 val clear_symbols : unit -> unit
 
-val convert_ast : Ast.order -> Parse_ast.defs -> unit Ast.defs
 val preprocess_ast : (Arg.key * Arg.spec * Arg.doc) list -> Parse_ast.defs -> Parse_ast.defs
 val check_ast: Type_check.Env.t -> unit Ast.defs -> Type_check.tannot Ast.defs * Type_check.Env.t
 val rewrite_ast: Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs
-- 
cgit v1.2.3