@@ -127,6 +127,12 @@ instance Eq Char where
127instance Eq String where
127instance Eq String where
128 (==) = boolOp prim__eqString
128 (==) = boolOp prim__eqString
130+instance Eq Bool where
132+ True == False = False
133+ False == True = False
134+ False == False = True
130instance (Eq a, Eq b) => Eq (a, b) where
136instance (Eq a, Eq b) => Eq (a, b) where
131 (==) (a, c) (b, d) = (a == b) && (c == d)
137 (==) (a, c) (b, d) = (a == b) && (c == d)