diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 11 |
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 |