diff options
author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-18 22:44:19 +0200 |
---|---|---|
committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-20 16:22:07 +0200 |
commit | 7e7094f166b6e475a49e20b98cbca851334aedaf (patch) | |
tree | 815891d80cc8b575dad86b7dff41115cf274bcc8 /testsuite/tests/boxy/boxy.hs | |
parent | 3dc1202546e63b50f828a34474717b1ddcbed5c7 (diff) | |
download | haskell-7e7094f166b6e475a49e20b98cbca851334aedaf.tar.gz |
Testsuite: tabs -> spaces [skip ci]
Diffstat (limited to 'testsuite/tests/boxy/boxy.hs')
-rw-r--r-- | testsuite/tests/boxy/boxy.hs | 22 |
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) |