# HG changeset patch
# User haftmann
# Date 1301557416 -7200
# Node ID b992c8e6394b9fa807f726879743eb8dd666fee1
# Parent  5cb4a2f4f2a40fa15598a2f58c2138996b3778bf
corrected infix precedence for boolean operators in Haskell

diff -r 5cb4a2f4f2a4 -r b992c8e6394b src/HOL/HOL.thy
--- a/src/HOL/HOL.thy	Thu Mar 31 08:28:03 2011 +0200
+++ b/src/HOL/HOL.thy	Thu Mar 31 09:43:36 2011 +0200
@@ -1923,7 +1923,7 @@
     and infixl 3 "&&" and infixl 2 "||"
     and "!(if (_)/ then (_)/ else (_))")
   (Haskell "True" and "False" and "not"
-    and infixl 3 "&&" and infixl 2 "||"
+    and infixr 3 "&&" and infixr 2 "||"
     and "!(if (_)/ then (_)/ else (_))")
   (Scala "true" and "false" and "'! _"
     and infixl 3 "&&" and infixl 1 "||"