summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail123.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_fail/tcfail123.hs')
-rw-r--r--testsuite/tests/ghc-regress/typecheck/should_fail/tcfail123.hs11
1 files changed, 0 insertions, 11 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail123.hs b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail123.hs
deleted file mode 100644
index 8e91bbe885..0000000000
--- a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail123.hs
+++ /dev/null
@@ -1,11 +0,0 @@
-{-# LANGUAGE MagicHash #-}
-
-module ShouldFail where
-
--- The danger here is getting a type like
--- f :: forall (a::??). a -> Bool
--- and hence allowing the bogus calls that follow
-
-f x = True
-
-h v = (f 3#, f 4.3#, f True)