diff options
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem index 68e57b47..ec863a41 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -82,22 +82,15 @@ Follows the form of the instruction in instruction_extractor, but populates the *) type instruction_form = (string * list (string * instr_parm_typ * value) * list base_effect) -type i_state_or_error = - | Instr of instruction_state * instruction_form - | Unsupported_instruction_error of instruction_form - | Not_an_instruction_error - | Internal_error of string - -(* type decode_error = - | Unsupported_instruction_error of instruction + | Unsupported_instruction_error of instruction_form | Not_an_instruction_error of value | Internal_error of string type i_state_or_error = - | Instr of instruction * instruction_state + | Instr of instruction_form * 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 |