# HG changeset patch
# User wenzelm
# Date 876155994 -7200
# Node ID 37fb4f64eb9deb778962bc4c0376dcb3dcdbda45
# Parent  c1b4be0e77cba6d3749edb2a83d7c9efc70e33ce
now uses Syntax.simple_str_of_sort;

diff -r c1b4be0e77cb -r 37fb4f64eb9d src/Pure/sorts.ML
--- a/src/Pure/sorts.ML	Mon Oct 06 18:39:25 1997 +0200
+++ b/src/Pure/sorts.ML	Mon Oct 06 18:39:54 1997 +0200
@@ -65,11 +65,8 @@
 
 (* print sorts and arities *)
 
-fun str_of_classrel (c1, c2) = c1 ^ " < " ^ c2;
-
-fun str_of_sort [c] = c
-  | str_of_sort cs = enclose "{" "}" (commas cs);
-
+val str_of_sort = Syntax.simple_str_of_sort;
+fun str_of_classrel (c1, c2) = str_of_sort [c1] ^ " < " ^ str_of_sort [c2];
 fun str_of_dom Ss = enclose "(" ")" (commas (map str_of_sort Ss));
 
 fun str_of_arity (t, [], S) = t ^ " :: " ^ str_of_sort S
@@ -141,7 +138,7 @@
 
 fun mg_dom arities a c =
   (case assoc2 (arities, (a, c)) of
-    None => raise_type ("No way to get " ^ a ^ "::" ^ c ^ ".") [] []
+    None => raise TYPE ("No way to get " ^ a ^ "::" ^ c ^ ".", [], [])
   | Some Ss => Ss);
 
 fun mg_domain _ _ _ [] = sys_error "mg_domain"  (*don't know number of args!*)