Fix tests that shouldn't import prelude
commit1fceac3c7239c13d017423157f44d20c56026b1d
authorGary Burgess <gary.burgess@gmail.com>
dateTue 18 Mar 2014, 00:14 (13 years ago)
parent45592b4
examples/manual/passing/Import.purs+3
@@ -1,5 +1,7 @@
11module M1 where
22
3+ import Prelude ()
4+
35 id :: forall a. a -> a
46 id = \x -> x
57
@@ -7,6 +9,7 @@ module M1 where
79
810module M2 where
911
12+ import Prelude ()
1013 import M1
1114
1215 main = \_ -> foo 42
examples/manual/passing/RedefinedFixity.purs+6
@@ -1,15 +1,21 @@
11module M1 where
22
3+import Prelude ()
4+
35($) f a = f a
46
57infixr 1000 $
68
79module M2 where
810
11+import Prelude ()
12+
913import M1
1014
1115module M3 where
1216
17+import Prelude ()
18+
1319import M1
1420import M2
1521
examples/passing/Church.purs+2
@@ -1,5 +1,7 @@
11module Main where
22
3+ import Prelude ()
4+
35 type List a = forall r. r -> (a -> r -> r) -> r
46
57 empty :: forall a. List a
examples/passing/Conditional.purs+2
@@ -1,5 +1,7 @@
11module Main where
22
3+ import Prelude ()
4+
35 fns = \f -> if f true then f else \x -> x
46
57 not = \x -> if x then false else true
examples/passing/Dollar.purs+2
@@ -1,5 +1,7 @@
11module Main where
22
3+import Prelude ()
4+
35($) :: forall a b. (a -> b) -> a -> b
46($) f x = f x
57
examples/passing/Monad.purs+2
@@ -1,5 +1,7 @@
11module Main where
22
3+ import Prelude ()
4+
35 type Monad m = { return :: forall a. a -> m a
46 , bind :: forall a b. m a -> (a -> m b) -> m b }
57