merged
authorhaftmann
Wed Feb 25 07:42:20 2009 +0100 (2009-02-25)
changeset 30084776de457f214
parent 30082 43c5b7bfc791
parent 30083 41a20af1fb77
child 30085 3d6aab74a184
child 30086 2023fb9fbf31
merged
     1.1 --- a/src/Tools/code/code_wellsorted.ML	Tue Feb 24 11:12:58 2009 -0800
     1.2 +++ b/src/Tools/code/code_wellsorted.ML	Wed Feb 25 07:42:20 2009 +0100
     1.3 @@ -166,9 +166,8 @@
     1.4    in
     1.5      vardeps_data
     1.6      |> (apsnd o apsnd) (insert (op =) inst)
     1.7 -    |> fold_index (fn (k, classes) =>
     1.8 -         apfst (Vargraph.new_node ((Inst (class, tyco), k), ([] ,[])))
     1.9 -         ) classess
    1.10 +    |> fold_index (fn (k, _) =>
    1.11 +         apfst (Vargraph.new_node ((Inst (class, tyco), k), ([] ,[])))) classess
    1.12      |> fold (fn superclass => assert_inst thy arities eqngr (superclass, tyco)) superclasses
    1.13      |> fold (assert_fun thy arities eqngr) inst_params
    1.14      |> fold_index (fn (k, classes) =>
    1.15 @@ -203,9 +202,10 @@
    1.16    in
    1.17      vardeps_data
    1.18      |> (apsnd o apfst) (Symtab.update_new (c, (lhs, eqns)))
    1.19 +    |> fold_index (fn (k, _) =>
    1.20 +         apfst (Vargraph.new_node ((Fun c, k), ([] ,[])))) lhs
    1.21      |> fold_index (fn (k, (_, sort)) =>
    1.22 -         apfst (Vargraph.new_node ((Fun c, k), ([] ,[])))
    1.23 -         #> add_classes thy arities eqngr (Fun c, k) (complete_proper_sort thy sort)) lhs
    1.24 +         add_classes thy arities eqngr (Fun c, k) (complete_proper_sort thy sort)) lhs
    1.25      |> fold (assert_rhs thy arities eqngr) rhss'
    1.26    end;
    1.27