@@ -127,6 +127,12 @@ instance Eq Char where
127127instance Eq String where
128128 (==) = boolOp prim__eqString
129129
130+instance Eq Bool where
131+ True == True = True
132+ True == False = False
133+ False == True = False
134+ False == False = True
135+
130136instance (Eq a, Eq b) => Eq (a, b) where
131137 (==) (a, c) (b, d) = (a == b) && (c == d)
132138