summaryrefslogtreecommitdiff
path: root/testsuite/tests/boxy/boxy.hs
diff options
context:
space:
mode:
authorThomas Miedema <thomasmiedema@gmail.com>2016-06-18 22:44:19 +0200
committerThomas Miedema <thomasmiedema@gmail.com>2016-06-20 16:22:07 +0200
commit7e7094f166b6e475a49e20b98cbca851334aedaf (patch)
tree815891d80cc8b575dad86b7dff41115cf274bcc8 /testsuite/tests/boxy/boxy.hs
parent3dc1202546e63b50f828a34474717b1ddcbed5c7 (diff)
downloadhaskell-7e7094f166b6e475a49e20b98cbca851334aedaf.tar.gz
Testsuite: tabs -> spaces [skip ci]
Diffstat (limited to 'testsuite/tests/boxy/boxy.hs')
-rw-r--r--testsuite/tests/boxy/boxy.hs22
1 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/boxy/boxy.hs b/testsuite/tests/boxy/boxy.hs
index 4d2bd029b1..c4835b1c62 100644
--- a/testsuite/tests/boxy/boxy.hs
+++ b/testsuite/tests/boxy/boxy.hs
@@ -12,14 +12,14 @@ g :: Maybe (forall a. [a] -> a) -> (Int, Char)
g Nothing = (0, '0')
g (Just get) = (get [1,2], get ['a','b','c'])
-sing x = [x]
+sing x = [x]
id1 :: forall a. a -> a
id1 = id
{-
-ids :: [forall a. a -> a]
-ids = [id1,id1]
+ids :: [forall a. a -> a]
+ids = [id1,id1]
t1 :: [forall a. a -> a]
t1 = tail ids
@@ -41,7 +41,7 @@ qG choose id = choose id
qH :: (forall a. a -> a -> a) -> (forall a. a -> a) -> (forall b. b -> b) -> (forall b. b -> b)
qH choose id = choose id
-
+
choose :: forall a. a -> a -> a
choose x y = x
@@ -58,10 +58,10 @@ impred2 = id qF
--- all of these currently work in GHC with higher-rank types
self1 :: (forall a. a -> a) -> (forall a. a -> a)
-self1 f = f f
+self1 f = f f
self2 :: (forall a. a -> a) -> b -> b
-self2 f = f f
+self2 f = f f
gr1 = self1 id
@@ -109,8 +109,8 @@ fixMT :: (MapTree -> MapTree) -> MapTree
fixMT f = f (fixMT f)
mapTree' = fixMT (\ (mapTree :: MapTree) -> \f tree -> case tree of
- Branch a t -> Branch (f a) (mapTree (cross f) t)
- Leaf -> Leaf)
+ Branch a t -> Branch (f a) (mapTree (cross f) t)
+ Leaf -> Leaf)
-- polymorphic fix
fix :: (a -> a) -> a
@@ -119,6 +119,6 @@ fix f = f (fix f)
-- mapTree'' :: MapTree
mapTree'' = (fix :: (MapTree -> MapTree) -> MapTree)
- (\ mapTree -> \f tree -> case tree of
- Branch a t -> Branch (f a) (mapTree (cross f) t)
- Leaf -> Leaf)
+ (\ mapTree -> \f tree -> case tree of
+ Branch a t -> Branch (f a) (mapTree (cross f) t)
+ Leaf -> Leaf)