src/Pure/sign.ML
changeset 2228 f381c1a98209
parent 2211 0487add593b5
child 2252 d54af138f7b2
     1.1 --- a/src/Pure/sign.ML	Tue Nov 26 16:15:50 1996 +0100
     1.2 +++ b/src/Pure/sign.ML	Tue Nov 26 16:18:42 1996 +0100
     1.3 @@ -151,7 +151,7 @@
     1.4  
     1.5  (** print signature **)
     1.6  
     1.7 -val stamp_names = rev o map !;
     1.8 +fun stamp_names stamps = rev (map ! stamps);
     1.9  
    1.10  fun print_sg sg =
    1.11    let
    1.12 @@ -424,8 +424,8 @@
    1.13      (syn1, Type.ext_tsig_abbrs tsig (map decl_of abbrs), ctab)
    1.14    end;
    1.15  
    1.16 -val ext_tyabbrs_i = ext_abbrs (K (K I));
    1.17 -val ext_tyabbrs = ext_abbrs read_abbr;
    1.18 +fun ext_tyabbrs_i arg = ext_abbrs (K (K I)) arg;
    1.19 +fun ext_tyabbrs   arg = ext_abbrs read_abbr arg;
    1.20  
    1.21  
    1.22  (* add type arities *)