diff options
| author | Christopher Pulte | 2016-11-08 13:12:19 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2016-11-08 13:12:19 +0000 |
| commit | 6d946135e6b7117e7f3a1c3758bd985a5bf319fd (patch) | |
| tree | 90dea1a2046a89dfb8064710db7e57c30276846d /src/lem_interp/interp_interface.lem | |
| parent | 6ffc9f189fda1be0c592e8fbb70e404e49040d58 (diff) | |
fixes
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem index ea3ba154..2178bb50 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -158,12 +158,12 @@ val initial_instruction_state : context -> string -> list register_value -> inst type instruction_or_decode_error = | IDE_instr of instruction * Interp.value - | IDE_decode_error of decode_error + | IDE_decode_error of Interp.decode_error (** propose to remove the following type and use the above instead *) type i_state_or_error = | Instr of instruction * instruction_state - | Decode_error of decode_error + | Decode_error of Interp.decode_error (** PS:I agree. propose to remove this: Function to decode an instruction and build the state to run it*) |