git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Fix some failing tests
ea60a04Phil Freeman
examples/passing/Do.purs−16
compare with golang
unifiedsplit
@@ -42,22 +42,6 @@ test8 = \_ -> do
42 Just (do
42 Just (do
43 Just 1)
43 Just 1)
44
44
45−(<$>) :: forall a b. (a -> b) -> Maybe a -> Maybe b
46−(<$>) f m = do
47− a <- m
48− ret (f a)
49−
50−(<*>) :: forall a b. (Maybe (a -> b)) -> Maybe a -> Maybe b
51−(<*>) f m = do
52− g <- f
53− a <- m
54− ret (g a)
55−
56−forever :: forall m a b. (Monad m) => m a -> m b
57−forever a = do
58− a
59− forever a
60−
61test9 = \_ -> (+) <$> Just 1 <*> Just 2
45test9 = \_ -> (+) <$> Just 1 <*> Just 2
62
46
63module Main where
47module Main where
examples/passing/Monad.purs+1−1
@@ -1,4 +1,4 @@
1−module Monad where
1+module MonadTest where
2
2
3 type Monad m = { ret :: forall a. a -> m a
3 type Monad m = { ret :: forall a. a -> m a
4 , bind :: forall a b. m a -> (a -> m b) -> m b }
4 , bind :: forall a b. m a -> (a -> m b) -> m b }