@@ -332,10 +332,10 @@ module Prelude where
332 (||) = boolOr
332 (||) = boolOr
333 not = boolNot
333 not = boolNot
335− infixr 5 ++
335+ infixr 5 <>
337 class Semigroup a where
337 class Semigroup a where
338− (++) :: a -> a -> a
338+ (<>) :: a -> a -> a
340 foreign import concatString
340 foreign import concatString
341 "function concatString(s1) {\
341 "function concatString(s1) {\
@@ -345,7 +345,12 @@ module Prelude where
345 \}" :: String -> String -> String
345 \}" :: String -> String -> String
347 instance semigroupString :: Semigroup String where
347 instance semigroupString :: Semigroup String where
348− (++) = concatString
348+ (<>) = concatString
352+ (++) :: forall s. (Semigroup s) => s -> s -> s
350module Data.Eq where
355module Data.Eq where