From 9124fe2d2142f2f0a7beb91438d3dbbcb8310fe9 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Tue, 7 Oct 2014 13:50:50 +0100
Subject: comment with suggested i_state_or_error type

---
 src/lem_interp/interp_interface.lem | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem
index 9f967b1e..2051233d 100644
--- a/src/lem_interp/interp_interface.lem
+++ b/src/lem_interp/interp_interface.lem
@@ -72,6 +72,17 @@ type i_state_or_error =
   | Not_an_instruction_error
   | Internal_error of string
 
+(*
+type decode_error = 
+  | Unsupported_instruction_error of instruction
+  | Not_an_instruction_error of value
+  | Internal_error of string
+
+type i_state_or_error =
+  | Instr of instruction * instruction_state
+  | Decode_error of decode_error
+*)
+
 (*Function to decode an instruction and build the state to run it*)
 val decode_to_istate : context -> value -> i_state_or_error
 
-- 
cgit v1.2.3