equal
deleted
inserted
replaced
149 |
149 |
150 |
150 |
151 |
151 |
152 (** print signature **) |
152 (** print signature **) |
153 |
153 |
154 val stamp_names = rev o map !; |
154 fun stamp_names stamps = rev (map ! stamps); |
155 |
155 |
156 fun print_sg sg = |
156 fun print_sg sg = |
157 let |
157 let |
158 fun prt_typ syn ty = Pretty.quote (Syntax.pretty_typ syn ty); |
158 fun prt_typ syn ty = Pretty.quote (Syntax.pretty_typ syn ty); |
159 |
159 |
422 rd_abbr syn1 tsig (Syntax.type_name t mx, vs, rhs); |
422 rd_abbr syn1 tsig (Syntax.type_name t mx, vs, rhs); |
423 in |
423 in |
424 (syn1, Type.ext_tsig_abbrs tsig (map decl_of abbrs), ctab) |
424 (syn1, Type.ext_tsig_abbrs tsig (map decl_of abbrs), ctab) |
425 end; |
425 end; |
426 |
426 |
427 val ext_tyabbrs_i = ext_abbrs (K (K I)); |
427 fun ext_tyabbrs_i arg = ext_abbrs (K (K I)) arg; |
428 val ext_tyabbrs = ext_abbrs read_abbr; |
428 fun ext_tyabbrs arg = ext_abbrs read_abbr arg; |
429 |
429 |
430 |
430 |
431 (* add type arities *) |
431 (* add type arities *) |
432 |
432 |
433 fun ext_arities (syn, tsig, ctab) arities = |
433 fun ext_arities (syn, tsig, ctab) arities = |