# HG changeset patch
# User haftmann
# Date 1244963639 -7200
# Node ID 40d77573384820c40e51a3f0f9ba2e4851791f4b
# Parent  bc2de379575670ea67d9ba532814249b08e23926# Parent  28699098b5f3254089d476d5bd02e34beae966e2
merged

diff -r bc2de3795756 -r 40d775733848 src/HOL/Tools/quickcheck_generators.ML
--- a/src/HOL/Tools/quickcheck_generators.ML	Sun Jun 14 09:11:51 2009 +0200
+++ b/src/HOL/Tools/quickcheck_generators.ML	Sun Jun 14 09:13:59 2009 +0200
@@ -370,13 +370,9 @@
       can (Sorts.mg_domain algebra tyco) @{sort random}) tycos;
   in if has_inst then thy
     else case perhaps_constrain thy (random_insts @ term_of_insts) raw_vs
-     of SOME constrain => (mk_random_datatype descr
+     of SOME constrain => mk_random_datatype descr
           (map constrain raw_vs) tycos (names, auxnames)
             ((pairself o map o map_atyps) (fn TFree v => TFree (constrain v)) raw_TUs) thy
-            (*FIXME ephemeral handles*)
-          handle e as TERM (msg, ts) => (tracing (cat_lines (msg :: map (Syntax.string_of_term_global thy) ts)); raise e)
-               | e as TYPE (msg, _, _) => (tracing msg; raise e)
-               | e as ERROR msg => (tracing msg; raise e))
       | NONE => thy
   end;