Testsuite: tabs -> spaces [skip ci]
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail201.hs
1 {-# LANGUAGE RankNTypes #-}
2
3
4 -- Claus reported by email that
5 -- GHCi, version 6.9.20080217 loops on this program
6 -- http://www.haskell.org/pipermail/cvs-ghc/2008-June/043173.html
7 -- So I'm adding it to the test suite so that we'll see it if it happens again
8
9 module Foo where
10
11 data HsDoc id
12 = DocEmpty
13 | DocParagraph (HsDoc id)
14
15 gfoldl' :: (forall a b . c (a -> b) -> a -> c b) -> (forall g . g -> c g) -> a -> c a
16 gfoldl' k z hsDoc = case hsDoc of
17 DocEmpty -> z DocEmpty
18 -- (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc
19
20
21
22
23