blob: 82ee05e6f7f2df977a788b3d36db8e188750ee35 (
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 -XMonadComprehensions -XTransformListComp #-}
module ShouldCompile where
import Data.List(inits)
foo :: [[[Int]]]
foo = [ x
| x <- [1..10]
, then group using inits
, then group using inits
]
|
