src/Tools/Code/code_simp.ML
changeset 48072 ace701efe203
parent 47576 b32aae03e3d6
child 51717 9e7d1c139569
     1.1 --- a/src/Tools/Code/code_simp.ML	Mon Jun 04 12:55:54 2012 +0200
     1.2 +++ b/src/Tools/Code/code_simp.ML	Tue Jun 05 07:05:56 2012 +0200
     1.3 @@ -38,8 +38,8 @@
     1.4  fun add_stmt (Code_Thingol.Fun (_, ((_, eqs), some_cong))) ss =
     1.5        ss addsimps (map_filter (fst o snd)) eqs
     1.6        |> fold Simplifier.add_cong (the_list some_cong)
     1.7 -  | add_stmt (Code_Thingol.Classinst (_, (_, (classparam_instances, _)))) ss =
     1.8 -      ss addsimps (map (fst o snd) classparam_instances)
     1.9 +  | add_stmt (Code_Thingol.Classinst { inst_params, ... }) ss =
    1.10 +      ss addsimps (map (fst o snd) inst_params)
    1.11    | add_stmt _ ss = ss;
    1.12  
    1.13  val add_program = Graph.fold (add_stmt o fst o snd);