testsuite/tests/ado/T13242a.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE ApplicativeDo #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE GADTs #-}
module T13242a where

data T where A :: forall a . Eq a => a -> T

test :: IO Bool
test = do
  A x <- undefined
  _ <- return 'a'
  _ <- return 'b'
  return (x == x)