changeset 18964 | 67f572e03236 |
parent 18939 | 18e2a2676d80 |
child 18996 | 1b11052ad601 |
--- a/src/Pure/type_infer.ML Tue Feb 07 08:47:43 2006 +0100 +++ b/src/Pure/type_infer.ML Tue Feb 07 19:56:45 2006 +0100 @@ -462,7 +462,7 @@ xi = xi' andalso Type.eq_sort tsig (S, S'); val env = gen_distinct eq (map (apsnd map_sort) raw_env); - val _ = (case gen_duplicates (eq_fst (op =)) env of [] => () + val _ = (case duplicates (eq_fst (op =)) env of [] => () | dups => error ("Inconsistent sort constraints for type variable(s) " ^ commas_quote (map (Syntax.string_of_vname' o fst) dups)));