diff options
| author | Kathy Gray | 2014-10-28 15:07:07 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-10-28 15:07:19 +0000 |
| commit | 910474adc8c7d926cdd6778a4f58855d03473ded (patch) | |
| tree | 0a0ed5c283eb7a9ddb18622f652dfcff01a8ba54 /src | |
| parent | 44f23efcc3c2e991c9a415910b94030dcb98da33 (diff) | |
function in progress take 2
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_inter_imp.lem | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem index 98b1e447..6afe388e 100644 --- a/src/lem_interp/interp_inter_imp.lem +++ b/src/lem_interp/interp_inter_imp.lem @@ -251,7 +251,8 @@ let decode_to_istate top_level value = (fun _ -> Interp.resume (make_mode true false) (Interp.Thunk_frame - (E_aux (E_app (Id_aux (Id "supported_instructions") Interp_ast.Unknown) [arg]) (Interp_ast.Unknown, Nothing)) + (E_aux (E_app (Id_aux (Id "supported_instructions") Interp_ast.Unknown) [arg]) + (Interp_ast.Unknown, Nothing)) top_level Interp.eenv Interp.emem Interp.Top) Nothing) in match (instr_decoded,error) with | (Just instr,_) -> @@ -268,7 +269,8 @@ end let instruction_to_istate ((name, parms, _) as instr) = () (* let get_value (name,typ,v) = v in Instr instr - (Interp.Thunk_frame*) + (Interp.Thunk_frame + (E_aux (E_app (Id_aux (Id "execute") Interp_ast.Unknown)*) |