git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
A test for the $ bug, can now apply $ to a constrained function type.
24679fbPhil Freeman
examples/passing/TypeClasses.purs+4
compare with golang
unifiedsplit
@@ -1,5 +1,7 @@
1module TypeClasses where
1module TypeClasses where
2
2
3+import Prelude (($))
4+
3class Show a where
5class Show a where
4 show :: a -> String
6 show :: a -> String
5
7
@@ -16,6 +18,8 @@ test2 = \ -> f "testing"
16test7 :: forall a. (Show a) => a -> String
18test7 :: forall a. (Show a) => a -> String
17test7 = show
19test7 = show
18
20
21+test8 = \ -> show $ "testing"
22+
19data Data a = Data a
23data Data a = Data a
20
24
21instance (TypeClasses.Show a) => TypeClasses.Show (Data a) where
25instance (TypeClasses.Show a) => TypeClasses.Show (Data a) where
libraries/prelude/tests/Eff.purs+1−1
@@ -42,7 +42,7 @@ test7 = \ -> do
42 r <- newSTRef 0
42 r <- newSTRef 0
43 modifySTRef r $ \n -> n + 1
43 modifySTRef r $ \n -> n + 1
44 readSTRef r
44 readSTRef r
45− print n
45+ print $ n
46
46
47module Main where
47module Main where
48
48