Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / mc22.hs
1 -- Checks that the types of the old binder and the binder
2 -- implicitly introduced by grouping are linked
3
4 {-# OPTIONS_GHC -XMonadComprehensions -XTransformListComp #-}
5
6 module ShouldFail where
7
8 foo = [ x + 1
9 | x <- ["Hello", "World"]
10 , then group using take 5
11 ]