From 16edc195ebbc11e1419f01f35c777743bdb1ff53 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Sun, 23 Nov 2014 01:10:45 +0000
Subject: wib (comment out to typecheck the rest...)

---
 src/lem_interp/interp_inter_imp.lem | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem
index 4cce629c..6c941200 100644
--- a/src/lem_interp/interp_inter_imp.lem
+++ b/src/lem_interp/interp_inter_imp.lem
@@ -417,7 +417,8 @@ let decode_to_instruction (top_level:context) (value:opcode) : instruction_or_de
   | Decode_error de -> IDE_decode_error de
   end
 
-
+val instruction_to_istate : context -> instruction -> instruction_state 
+(*
 let instruction_to_istate (top_level:context) (((name, parms, _) as instr):instruction) : instruction_state  = 
   let mode = make_mode true false in
   let get_value (name,typ,v) = 
@@ -430,6 +431,7 @@ let instruction_to_istate (top_level:context) (((name, parms, _) as instr):instr
 		        (Interp_ast.Unknown,Interp.ctor_annot (T_id "ast")) (*This type shouldn't be hard-coded*))])
 	      (Interp_ast.Unknown,Nothing))
        top_level Interp.eenv Interp.emem Interp.Top) (*)*)
+*)
 
 let rec interp_to_outcome mode thunk = 
   match thunk () with
-- 
cgit v1.2.3