testsuite/tests/ado/T13242.hs


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

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

import Data.STRef
import Control.Monad.ST

data A = forall a. A a

st :: ST s ()
st = do
      A _ <- pure $ A True
      ref <- newSTRef 1
      readSTRef ref
      pure ()