src/Pure/type.ML
changeset 19530 486dd4b07188
parent 19515 9f650083da65
child 19579 b802d1804b77
     1.1 --- a/src/Pure/type.ML	Tue May 02 00:20:38 2006 +0200
     1.2 +++ b/src/Pure/type.ML	Tue May 02 00:20:40 2006 +0200
     1.3 @@ -212,8 +212,8 @@
     1.4  
     1.5  fun arity_sorts _ tsig a [] = replicate (arity_number tsig a) []
     1.6    | arity_sorts pp (TSig {classes, arities, ...}) a S =
     1.7 -      Sorts.mg_domain (#2 classes, arities) a S handle Sorts.DOMAIN (a, c) =>
     1.8 -        error ("No way to get " ^ Pretty.string_of_arity pp (a, [], [c]));
     1.9 +      Sorts.mg_domain (#2 classes, arities) a S
    1.10 +        handle Sorts.DOMAIN d => Sorts.domain_error pp d;
    1.11  
    1.12  
    1.13