diff options
Diffstat (limited to 'testsuite/tests/ado')
| -rw-r--r-- | testsuite/tests/ado/T13242.hs | 16 | ||||
| -rw-r--r-- | testsuite/tests/ado/all.T | 1 |
2 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/tests/ado/T13242.hs b/testsuite/tests/ado/T13242.hs new file mode 100644 index 0000000000..ccaa93c087 --- /dev/null +++ b/testsuite/tests/ado/T13242.hs @@ -0,0 +1,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 () diff --git a/testsuite/tests/ado/all.T b/testsuite/tests/ado/all.T index 67697b93e4..6a1b4ec612 100644 --- a/testsuite/tests/ado/all.T +++ b/testsuite/tests/ado/all.T @@ -8,3 +8,4 @@ test('ado007', normal, compile, ['']) test('T11607', normal, compile_and_run, ['']) test('ado-optimal', normal, compile_and_run, ['']) test('T12490', normal, compile, ['']) +test('T13242', normal, compile, ['']) |