Fix some failing tests
commitea60a04d7706eb97b37084b02ea77f8c1b67301e
authorPhil Freeman <paf31@cantab.net>
dateWed 5 Feb 2014, 21:33 (13 years ago)
parentc0aa52c
examples/passing/Do.purs−16
@@ -42,22 +42,6 @@ test8 = \_ -> do
4242 Just (do
4343 Just 1)
4444
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−
6145test9 = \_ -> (+) <$> Just 1 <*> Just 2
6246
6347module Main where
examples/passing/Monad.purs+1−1
@@ -1,4 +1,4 @@
1−module Monad where
1+module MonadTest where
22
33 type Monad m = { ret :: forall a. a -> m a
44 , bind :: forall a b. m a -> (a -> m b) -> m b }