summaryrefslogtreecommitdiff
path: root/testsuite/tests/codeGen/should_fail
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/codeGen/should_fail')
-rw-r--r--testsuite/tests/codeGen/should_fail/T13233.hs2
-rw-r--r--testsuite/tests/codeGen/should_fail/T13233.stderr4
2 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/codeGen/should_fail/T13233.hs b/testsuite/tests/codeGen/should_fail/T13233.hs
index fa5a37b046..1facb77914 100644
--- a/testsuite/tests/codeGen/should_fail/T13233.hs
+++ b/testsuite/tests/codeGen/should_fail/T13233.hs
@@ -1,5 +1,5 @@
{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TypeInType #-}
+{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE UnboxedTuples #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE MagicHash #-}
diff --git a/testsuite/tests/codeGen/should_fail/T13233.stderr b/testsuite/tests/codeGen/should_fail/T13233.stderr
index c1cbb97d21..c3683138f8 100644
--- a/testsuite/tests/codeGen/should_fail/T13233.stderr
+++ b/testsuite/tests/codeGen/should_fail/T13233.stderr
@@ -8,7 +8,9 @@ T13233.hs:14:11: error:
T13233.hs:22:16: error:
Cannot use primitive with levity-polymorphic arguments:
- GHC.Prim.(#,#) :: forall (a :: TYPE rep1) (b :: TYPE rep2).
+ GHC.Prim.(#,#) :: forall (rep1 :: RuntimeRep) (rep2 :: RuntimeRep) (a :: TYPE
+ rep1) (b :: TYPE
+ rep2).
a -> b -> (# a, b #)
Levity-polymorphic arguments:
a :: TYPE rep1