# HG changeset patch
# User haftmann
# Date 1259947171 -3600
# Node ID febc68c02b6397b769dfe11d8cf937e28e576cb2
# Parent  cb136b5f6050cfd3809925214431becdccde93bf
avoid misleading name "superarities"

diff -r cb136b5f6050 -r febc68c02b63 src/Tools/Code/code_thingol.ML
--- a/src/Tools/Code/code_thingol.ML	Fri Dec 04 18:19:31 2009 +0100
+++ b/src/Tools/Code/code_thingol.ML	Fri Dec 04 18:19:31 2009 +0100
@@ -488,9 +488,9 @@
   | map_terms_stmt f (stmt as Class _) = stmt
   | map_terms_stmt f (stmt as Classrel _) = stmt
   | map_terms_stmt f (stmt as Classparam _) = stmt
-  | map_terms_stmt f (Classinst (arity, (superarities, classparms))) =
-      Classinst (arity, (superarities, (map o apfst o apsnd) (fn const =>
-        case f (IConst const) of IConst const' => const') classparms));
+  | map_terms_stmt f (Classinst (arity, (superinsts, classparams))) =
+      Classinst (arity, (superinsts, (map o apfst o apsnd) (fn const =>
+        case f (IConst const) of IConst const' => const') classparams));
 
 fun is_cons program name = case Graph.get_node program name
  of Datatypecons _ => true
@@ -677,8 +677,8 @@
       ##>> fold_map (translate_tyvar_sort thy algbr eqngr) vs
       ##>> fold_map translate_superarity superclasses
       ##>> fold_map translate_classparam_inst classparams
-      #>> (fn ((((class, tyco), arity), superarities), classparams) =>
-             Classinst ((class, (tyco, arity)), (superarities, classparams)));
+      #>> (fn ((((class, tyco), arity), superinsts), classparams) =>
+             Classinst ((class, (tyco, arity)), (superinsts, classparams)));
   in ensure_stmt lookup_instance (declare_instance thy) stmt_inst (class, tyco) end
 and translate_typ thy algbr eqngr (TFree (v, _)) =
       pair (ITyVar (unprefix "'" v))