diff options
Diffstat (limited to 'src/lem_interp/interp_inter_imp.lem')
| -rw-r--r-- | src/lem_interp/interp_inter_imp.lem | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem index fa1c0ae0..773de556 100644 --- a/src/lem_interp/interp_inter_imp.lem +++ b/src/lem_interp/interp_inter_imp.lem @@ -265,6 +265,13 @@ let decode_to_istate top_level value = | (Nothing, Just err) -> Decode_error err end +let instruction_to_istate ((name, parms, _) as instr) = () +(* let get_value (name,typ,v) = v in + Instr instr + (Interp.Thunk_frame*) + + + let rec interp_to_outcome mode thunk = match thunk () with | Interp.Value _ -> Done |