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       ]