testsuite/tests/typecheck/should_fail/mc22.hs


1
2
3
4
5
6
7
8
9
10
11

-- Checks that the types of the old binder and the binder 
-- implicitly introduced by grouping are linked

{-# OPTIONS_GHC -XMonadComprehensions -XTransformListComp #-}

module ShouldFail where

foo = [ x + 1
      | x <- ["Hello", "World"]
      , then group using take 5
      ]