Function definition in progress

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