tuned;
authorwenzelm
Tue May 02 00:20:40 2006 +0200 (2006-05-02 ago)
changeset 19530486dd4b07188
parent 19529 690861f93d2b
child 19531 89970e06351f
tuned;
src/Pure/type.ML
     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