# HG changeset patch
# User bulwahn
# Date 1283853113 -7200
# Node ID f302ed18f42f9216dea419146fb997f38e88a16b
# Parent  edaf5a6ffa999576e730ae991c85c268750c2cb2
raising an exception instead of guessing some reasonable behaviour for this function

diff -r edaf5a6ffa99 -r f302ed18f42f src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML	Tue Sep 07 11:51:53 2010 +0200
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML	Tue Sep 07 11:51:53 2010 +0200
@@ -222,10 +222,11 @@
         fold_rev (fn m1 => fn m2 => map_product (curry Fun) m1 m2)
           (map all_modes_of_typ' S) [Bool]
       else
-        [Input, Output]
+        raise Fail "Invocation of all_modes_of_typ with a non-predicate type"
     end
   | all_modes_of_typ @{typ bool} = [Bool]
-  | all_modes_of_typ T = all_modes_of_typ' T
+  | all_modes_of_typ T =
+    raise Fail "Invocation of all_modes_of_typ with a non-predicate type"
 
 fun all_smodes_of_typ (T as Type ("fun", _)) =
   let