Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
improved equality check for modes in predicate compiler
authorbulwahn
Wed, 04 Apr 2012 10:17:08 +0200
changeset 47329 b9e115d4c5da
parent 47326 b4490e1a0732
child 47330 8fe04753a210
improved equality check for modes in predicate compiler
src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML	Tue Apr 03 23:49:24 2012 +0200
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML	Wed Apr 04 10:17:08 2012 +0200
@@ -1334,7 +1334,7 @@
       let
         val full_mode = fold_rev (curry Fun) (map (K Input) (binder_types T)) Bool
       in
-        if member (op =) (modes_of Pred ctxt predname) full_mode then
+        if member eq_mode  (modes_of Pred ctxt predname) full_mode then
           let
             val Ts = binder_types T
             val arg_names = Name.variant_list []
isabelle