# HG changeset patch
# User wenzelm
# Date 1146522040 -7200
# Node ID 486dd4b07188312bc9da27142e1f982aadcf9f73
# Parent  690861f93d2b72c62423602b577d5f8870342b1c
tuned;

diff -r 690861f93d2b -r 486dd4b07188 src/Pure/type.ML
--- a/src/Pure/type.ML	Tue May 02 00:20:38 2006 +0200
+++ b/src/Pure/type.ML	Tue May 02 00:20:40 2006 +0200
@@ -212,8 +212,8 @@
 
 fun arity_sorts _ tsig a [] = replicate (arity_number tsig a) []
   | arity_sorts pp (TSig {classes, arities, ...}) a S =
-      Sorts.mg_domain (#2 classes, arities) a S handle Sorts.DOMAIN (a, c) =>
-        error ("No way to get " ^ Pretty.string_of_arity pp (a, [], [c]));
+      Sorts.mg_domain (#2 classes, arities) a S
+        handle Sorts.DOMAIN d => Sorts.domain_error pp d;