diff options
| author | Kathy Gray | 2014-05-21 17:23:45 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-05-21 17:29:58 +0100 |
| commit | 6fbc244259891038bca6356669630eadb6ada7b5 (patch) | |
| tree | 63a74cf7861b23331c426fd2240a482d53f9f3dc /src/lem_interp/Interp_interface.lem | |
| parent | 58f119fc232c362b4623253f5b74d5d8a6fa4a20 (diff) | |
More interface support; interp_inter_imp now compiling
Diffstat (limited to 'src/lem_interp/Interp_interface.lem')
| -rw-r--r-- | src/lem_interp/Interp_interface.lem | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lem_interp/Interp_interface.lem b/src/lem_interp/Interp_interface.lem index 0e05fafe..00c22bbe 100644 --- a/src/lem_interp/Interp_interface.lem +++ b/src/lem_interp/Interp_interface.lem @@ -1,4 +1,5 @@ import Interp +open import Num type read_kind = Interp.read_kind type write_kind = Interp.write_kind @@ -42,7 +43,7 @@ type event = (*Should multiple memory accesses be represented with a special form to denote this or potentially merged into one read or left in place*) -val build_context : Interp.defs Interp.tannot -> context +val build_context : Interp_ast.defs Interp.tannot -> context val initial_instruction_state : context -> string -> value -> instruction_state type interp_mode = <| eager_eval : bool |> |