testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / mc18.hs
1 -- Checks that the types of the old binder and the binder implicitly introduced by grouping are linked
2
3 {-# OPTIONS_GHC -XMonadComprehensions -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 ]