--- a/src/Tools/Code/code_simp.ML Mon Jun 04 12:55:54 2012 +0200
+++ b/src/Tools/Code/code_simp.ML Tue Jun 05 07:05:56 2012 +0200
@@ -38,8 +38,8 @@
fun add_stmt (Code_Thingol.Fun (_, ((_, eqs), some_cong))) ss =
ss addsimps (map_filter (fst o snd)) eqs
|> fold Simplifier.add_cong (the_list some_cong)
- | add_stmt (Code_Thingol.Classinst (_, (_, (classparam_instances, _)))) ss =
- ss addsimps (map (fst o snd) classparam_instances)
+ | add_stmt (Code_Thingol.Classinst { inst_params, ... }) ss =
+ ss addsimps (map (fst o snd) inst_params)
| add_stmt _ ss = ss;
val add_program = Graph.fold (add_stmt o fst o snd);