testsuite/tests/typecheck/should_fail/mc19.hs


1
2
3
4
5
6
7
8
9
10
11

-- Checks that the correct type is used checking the using clause of the transform

{-# LANGUAGE MonadComprehensions, TransformListComp #-}

module ShouldFail where

import Data.List(inits)

z :: [Int]
z = [x | x <- [3, 2, 1], then inits]