A test for the $ bug, can now apply $ to a constrained function type.
commit24679fbce1fa5c9ecd5f2490d26a46f500cf2812
authorPhil Freeman <paf31@cantab.net>
dateThu 30 Jan 2014, 16:49 (13 years ago)
parent310378e
examples/passing/TypeClasses.purs+4
@@ -1,5 +1,7 @@
11module TypeClasses where
22
3+import Prelude (($))
4+
35class Show a where
46 show :: a -> String
57
@@ -16,6 +18,8 @@ test2 = \ -> f "testing"
1618test7 :: forall a. (Show a) => a -> String
1719test7 = show
1820
21+test8 = \ -> show $ "testing"
22+
1923data Data a = Data a
2024
2125instance (TypeClasses.Show a) => TypeClasses.Show (Data a) where
libraries/prelude/tests/Eff.purs+1−1
@@ -42,7 +42,7 @@ test7 = \ -> do
4242 r <- newSTRef 0
4343 modifySTRef r $ \n -> n + 1
4444 readSTRef r
45− print n
45+ print $ n
4646
4747module Main where
4848