src/Pure/sign.ML
changeset 963 7a78fda77104
parent 959 35c2e5e114c4
child 986 c978bb4e9a55
     1.1 --- a/src/Pure/sign.ML	Fri Mar 17 15:49:37 1995 +0100
     1.2 +++ b/src/Pure/sign.ML	Fri Mar 17 15:52:55 1995 +0100
     1.3 @@ -138,7 +138,7 @@
     1.4      fun pretty_default cls = Pretty.block
     1.5        [Pretty.str "default:", Pretty.brk 1, pretty_sort cls];
     1.6  
     1.7 -    fun pretty_arg (ty, n) = Pretty.str (ty ^ " " ^ string_of_int n);
     1.8 +    fun pretty_ty (ty, n) = Pretty.str (ty ^ " " ^ string_of_int n);
     1.9  
    1.10      fun pretty_abbr syn (ty, (vs, rhs)) = Pretty.block
    1.11        [prt_typ syn (Type (ty, map (fn v => TVar ((v, 0), [])) vs)),
    1.12 @@ -151,24 +151,26 @@
    1.13              Pretty.list "(" ")" (map pretty_sort srts),
    1.14              Pretty.brk 1, Pretty.str cl];
    1.15  
    1.16 -    fun pretty_coreg (ty, ars) = map (pretty_arity ty) ars;
    1.17 +    fun pretty_arities (ty, ars) = map (pretty_arity ty) ars;
    1.18  
    1.19      fun pretty_const syn (c, ty) = Pretty.block
    1.20        [Pretty.str (quote c ^ " ::"), Pretty.brk 1, prt_typ syn ty];
    1.21  
    1.22  
    1.23      val Sg {tsig, const_tab, syn, stamps} = sg;
    1.24 -    val {classes, subclass, default, args, abbrs, coreg} = rep_tsig tsig;
    1.25 +    val {classes, subclass, default, tycons, abbrs, arities} = rep_tsig tsig;
    1.26    in
    1.27      Pretty.writeln (Pretty.strs ("stamps:" :: stamp_names stamps));
    1.28      Pretty.writeln (Pretty.strs ("classes:" :: classes));
    1.29 -    Pretty.writeln (Pretty.big_list "subclass:" (map pretty_subclass subclass));
    1.30 +    Pretty.writeln (Pretty.big_list "subclass:"
    1.31 +                      (map pretty_subclass subclass));
    1.32      Pretty.writeln (pretty_default default);
    1.33 -    Pretty.writeln (Pretty.big_list "types:" (map pretty_arg args));
    1.34 +    Pretty.writeln (Pretty.big_list "types:" (map pretty_ty tycons));
    1.35      Pretty.writeln (Pretty.big_list "abbrs:" (map (pretty_abbr syn) abbrs));
    1.36 -    Pretty.writeln (Pretty.big_list "coreg:" (flat (map pretty_coreg coreg)));
    1.37 +    Pretty.writeln (Pretty.big_list "arities:"
    1.38 +                      (flat (map pretty_arities arities)));
    1.39      Pretty.writeln (Pretty.big_list "consts:"
    1.40 -      (map (pretty_const syn) (Symtab.dest const_tab)))
    1.41 +                      (map (pretty_const syn) (Symtab.dest const_tab)))
    1.42    end;
    1.43  
    1.44