--- a/src/Tools/nbe.ML Thu Jun 17 10:45:10 2010 +0200
+++ b/src/Tools/nbe.ML Thu Jun 17 10:51:38 2010 +0200
@@ -417,7 +417,7 @@
[]
| eqns_of_stmt (_, Code_Thingol.Classparam _) =
[]
- | eqns_of_stmt (inst, Code_Thingol.Classinst ((class, (_, arity_args)), ((super_instances, _), classparam_instances))) =
+ | eqns_of_stmt (inst, Code_Thingol.Classinst ((class, (_, arity_args)), (super_instances, classparam_instances))) =
[(inst, (arity_args, [([], IConst (class, (([], []), [])) `$$
map (fn (_, (_, (inst, dss))) => IConst (inst, (([], dss), []))) super_instances
@ map (IConst o snd o fst) classparam_instances)]))];