# HG changeset patch
# User berghofe
# Date 1059383798 -7200
# Node ID f8a25218b423dd5fea2923bba3c936c2f8f90875
# Parent  0fdf5708c7a8041ada982ea3da52b2d7712dfcb6
test_term now handles Match exception raised in generated code.

diff -r 0fdf5708c7a8 -r f8a25218b423 src/Pure/codegen.ML
--- a/src/Pure/codegen.ML	Fri Jul 25 17:21:22 2003 +0200
+++ b/src/Pure/codegen.ML	Mon Jul 28 11:16:38 2003 +0200
@@ -581,7 +581,9 @@
       "\n\nend;\n";
     val _ = use_text Context.ml_output false s;
     fun iter f k = if k > i then None
-      else (case f () of None => iter f (k+1) | Some x => Some x);
+      else (case (f () handle Match =>
+          (warning "Exception Match raised in generated code"; None)) of
+        None => iter f (k+1) | Some x => Some x);
     fun test k = if k > sz then None
       else (priority ("Test data size: " ^ string_of_int k);
         case iter (fn () => !test_fn k) 1 of