blob: ccaa93c087024c69647d8c1d08d0826dc33d4318 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
-- Panic.hs
{-# LANGUAGE ApplicativeDo #-}
{-# LANGUAGE ExistentialQuantification #-}
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 ()
|