Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / mc25.hs
1 -- Checks that using the "by" clause in a transform requires a function parameter
2
3 {-# OPTIONS_GHC -XMonadComprehensions -XTransformListComp #-}
4
5 module ShouldFail where
6
7 import Data.List(take)
8
9 z = [x | x <- [1..10], then group by x using take ]
10