diff options
| author | Christopher Pulte | 2016-11-09 10:29:32 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2016-11-09 10:29:32 +0000 |
| commit | 95ef30a6d2fd54fe3c1bb315d333cf35e8542a3b (patch) | |
| tree | 4deb02474fa29839dce781933c8df6131e9521dd /src/lem_interp/interp_interface.lem | |
| parent | 6d946135e6b7117e7f3a1c3758bd985a5bf319fd (diff) | |
move decode_error type back to Sail_impl_base for now
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 2178bb50..ea3ba154 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 Interp.decode_error + | IDE_decode_error of 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 Interp.decode_error + | Decode_error of decode_error (** PS:I agree. propose to remove this: Function to decode an instruction and build the state to run it*) |