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