summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail')
-rw-r--r--testsuite/tests/typecheck/should_fail/T14884.stderr2
-rw-r--r--testsuite/tests/typecheck/should_fail/T5570.hs7
-rw-r--r--testsuite/tests/typecheck/should_fail/T5570.stderr6
-rw-r--r--testsuite/tests/typecheck/should_fail/all.T1
4 files changed, 1 insertions, 15 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T14884.stderr b/testsuite/tests/typecheck/should_fail/T14884.stderr
index 5ce38cdecb..1451df6d79 100644
--- a/testsuite/tests/typecheck/should_fail/T14884.stderr
+++ b/testsuite/tests/typecheck/should_fail/T14884.stderr
@@ -23,7 +23,7 @@ T14884.hs:4:5: error: [GHC-88464]
(imported from ‘Prelude’ at T14884.hs:1:8-13
(and originally defined in ‘GHC.Base’))
($) :: forall a b. (a -> b) -> a -> b
- with ($) @GHC.Types.LiftedRep @String @(IO ())
+ with ($) @GHC.Types.LiftedRep @GHC.Types.LiftedRep @String @(IO ())
(imported from ‘Prelude’ at T14884.hs:1:8-13
(and originally defined in ‘GHC.Base’))
($!) :: forall a b. (a -> b) -> a -> b
diff --git a/testsuite/tests/typecheck/should_fail/T5570.hs b/testsuite/tests/typecheck/should_fail/T5570.hs
deleted file mode 100644
index 3dcc4d8be4..0000000000
--- a/testsuite/tests/typecheck/should_fail/T5570.hs
+++ /dev/null
@@ -1,7 +0,0 @@
-{-# LANGUAGE MagicHash #-}
-module T5570 where
-
-import GHC.Exts
-
-main :: IO ()
-main = print $ D# $ 3.0##
diff --git a/testsuite/tests/typecheck/should_fail/T5570.stderr b/testsuite/tests/typecheck/should_fail/T5570.stderr
deleted file mode 100644
index bce53fe394..0000000000
--- a/testsuite/tests/typecheck/should_fail/T5570.stderr
+++ /dev/null
@@ -1,6 +0,0 @@
-
-T5570.hs:7:16: error: [GHC-83865]
- • Expected a lifted type, but ‘Double#’ is a DoubleRep type
- • In the first argument of ‘($)’, namely ‘D#’
- In the second argument of ‘($)’, namely ‘D# $ 3.0##’
- In the expression: print $ D# $ 3.0##
diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T
index 2afc480451..07bfcd8436 100644
--- a/testsuite/tests/typecheck/should_fail/all.T
+++ b/testsuite/tests/typecheck/should_fail/all.T
@@ -265,7 +265,6 @@ test('AssocTyDef07', normal, compile_fail, [''])
test('AssocTyDef08', normal, compile_fail, [''])
test('AssocTyDef09', normal, compile_fail, [''])
test('T3592', normal, compile_fail, [''])
-test('T5570', normal, compile_fail, [''])
test('T5691', normal, compile_fail, [''])
test('T5689', normal, compile_fail, [''])
test('T5684', normal, compile_fail, [''])