repaired order of variable node allocation
authorhaftmann
Mon Feb 23 21:34:14 2009 +0100 (2009-02-23)
changeset 30075ff5b4900d9a5
parent 30074 38ce654e1b05
child 30077 c5920259850c
repaired order of variable node allocation
src/Tools/code/code_wellsorted.ML
     1.1 --- a/src/Tools/code/code_wellsorted.ML	Mon Feb 23 10:42:31 2009 -0800
     1.2 +++ b/src/Tools/code/code_wellsorted.ML	Mon Feb 23 21:34:14 2009 +0100
     1.3 @@ -166,11 +166,13 @@
     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 (fn superclass => assert_inst thy arities eqngr (superclass, tyco)) superclasses
    1.11      |> fold (assert_fun thy arities eqngr) inst_params
    1.12      |> fold_index (fn (k, classes) =>
    1.13 -         apfst (Vargraph.new_node ((Inst (class, tyco), k), ([] ,[])))
    1.14 -         #> add_classes thy arities eqngr (Inst (class, tyco), k) classes
    1.15 +         add_classes thy arities eqngr (Inst (class, tyco), k) classes
    1.16           #> fold (fn superclass =>
    1.17               add_dep thy arities eqngr (Inst (superclass, tyco), k)
    1.18               (Inst (class, tyco), k)) superclasses