summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail103.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_fail/tcfail103.hs')
-rw-r--r--testsuite/tests/ghc-regress/typecheck/should_fail/tcfail103.hs16
1 files changed, 0 insertions, 16 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail103.hs b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail103.hs
deleted file mode 100644
index 2ed6df2485..0000000000
--- a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail103.hs
+++ /dev/null
@@ -1,16 +0,0 @@
-
-
-module ShouldCompile where
-import GHC.ST
-import GHC.STRef
-import GHC.Arr
-
--- Another 'escape' example
-
-f:: ST t Int
-f = do
- v <- newSTRef 5
- let g :: ST s Int
- -- Implicitly forall s. ST s Int
- g = readSTRef v
- g