summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T10709b.hs
blob: 33f2121ca8bdb8f837ee2c0fab8d6d1d4a2c5eb9 (plain)
1
2
3
4
5
6
7
8
9
10
module T10709b where

import GHC.IO
import Control.Monad

x4 = (replicateM 2 . mask) (\_ -> return ())
x5 = (replicateM 2 . mask) (\x -> undefined x)
x6 = (replicateM 2 . mask) (id (\_ -> undefined))
x7 = (replicateM 2 . mask) (const undefined)
x8 = (replicateM 2 . mask) ((\x -> undefined x) :: a -> b)