comment with suggested i_state_or_error type

1 files changed, 11 insertions, 0 deletions

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