4d43092a44dde33806c450bb37b6e7a6b24cad00
[ghc.git] / testsuite / tests / typecheck / should_compile / tc240.hs
1 -- Checks that the types of the old binder and the binder implicitly introduced by grouping are linked
2
3 {-# OPTIONS_GHC -XTransformListComp #-}
4
5 module ShouldCompile where
6
7 import Data.List(inits)
8
9 foo :: [[[Int]]]
10 foo = [ x
11 | x <- [1..10]
12 , then group using inits
13 , then group using inits
14 ]