--- a/src/Pure/codegen.ML Thu May 14 09:16:36 2009 +0200
+++ b/src/Pure/codegen.ML Thu May 14 15:09:46 2009 +0200
@@ -329,7 +329,7 @@
end;
val assoc_const_i = gen_assoc_const (K I);
-val assoc_const = gen_assoc_const Code_Unit.read_bare_const;
+val assoc_const = gen_assoc_const Code.read_bare_const;
(**** associate types with target language types ****)
@@ -889,7 +889,7 @@
mk_let (map (fn ((s, T), s') =>
(mk_tuple [str s', str (s' ^ "_t")],
Pretty.block [mk_gen gr "Generated" false [] "" T, Pretty.brk 1,
- str "(i + 1)"])) frees')
+ str "i"])) frees')
(Pretty.block [str "if ",
mk_app false (str "testf") (map (str o snd) frees'),
Pretty.brk 1, str "then NONE",