avoid misleading name "superarities"
authorhaftmann
Fri Dec 04 18:19:31 2009 +0100 (2009-12-04)
changeset 33990febc68c02b63
parent 33989 cb136b5f6050
child 33991 45d94947426a
avoid misleading name "superarities"
src/Tools/Code/code_thingol.ML
     1.1 --- a/src/Tools/Code/code_thingol.ML	Fri Dec 04 18:19:31 2009 +0100
     1.2 +++ b/src/Tools/Code/code_thingol.ML	Fri Dec 04 18:19:31 2009 +0100
     1.3 @@ -488,9 +488,9 @@
     1.4    | map_terms_stmt f (stmt as Class _) = stmt
     1.5    | map_terms_stmt f (stmt as Classrel _) = stmt
     1.6    | map_terms_stmt f (stmt as Classparam _) = stmt
     1.7 -  | map_terms_stmt f (Classinst (arity, (superarities, classparms))) =
     1.8 -      Classinst (arity, (superarities, (map o apfst o apsnd) (fn const =>
     1.9 -        case f (IConst const) of IConst const' => const') classparms));
    1.10 +  | map_terms_stmt f (Classinst (arity, (superinsts, classparams))) =
    1.11 +      Classinst (arity, (superinsts, (map o apfst o apsnd) (fn const =>
    1.12 +        case f (IConst const) of IConst const' => const') classparams));
    1.13  
    1.14  fun is_cons program name = case Graph.get_node program name
    1.15   of Datatypecons _ => true
    1.16 @@ -677,8 +677,8 @@
    1.17        ##>> fold_map (translate_tyvar_sort thy algbr eqngr) vs
    1.18        ##>> fold_map translate_superarity superclasses
    1.19        ##>> fold_map translate_classparam_inst classparams
    1.20 -      #>> (fn ((((class, tyco), arity), superarities), classparams) =>
    1.21 -             Classinst ((class, (tyco, arity)), (superarities, classparams)));
    1.22 +      #>> (fn ((((class, tyco), arity), superinsts), classparams) =>
    1.23 +             Classinst ((class, (tyco, arity)), (superinsts, classparams)));
    1.24    in ensure_stmt lookup_instance (declare_instance thy) stmt_inst (class, tyco) end
    1.25  and translate_typ thy algbr eqngr (TFree (v, _)) =
    1.26        pair (ITyVar (unprefix "'" v))