diff options
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/tests/codeGen/should_fail/T13233.hs | 7 | ||||
-rw-r--r-- | testsuite/tests/codeGen/should_fail/T13233.stderr | 4 |
2 files changed, 5 insertions, 6 deletions
diff --git a/testsuite/tests/codeGen/should_fail/T13233.hs b/testsuite/tests/codeGen/should_fail/T13233.hs index 42a30522f2..f24fc03bfb 100644 --- a/testsuite/tests/codeGen/should_fail/T13233.hs +++ b/testsuite/tests/codeGen/should_fail/T13233.hs @@ -3,20 +3,19 @@ {-# LANGUAGE UnboxedTuples #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE MagicHash #-} -{-# LANGUAGE LinearTypes #-} module Bug where import GHC.Exts (TYPE, RuntimeRep, Weak#, State#, RealWorld, mkWeak# ) class Foo (a :: TYPE rep) where - bar :: forall rep2 (b :: TYPE rep2). (a #-> a #-> b) -> a #-> a #-> b + bar :: forall rep2 (b :: TYPE rep2). (a -> a -> b) -> a -> a -> b -baz :: forall rep (a :: TYPE rep). Foo a => a #-> a #-> (# a, a #) +baz :: forall rep (a :: TYPE rep). Foo a => a -> a -> (# a, a #) baz = bar (#,#) obscure :: (forall (rep1 :: RuntimeRep) (rep2 :: RuntimeRep) (a :: TYPE rep1) (b :: TYPE rep2). - a #-> b #-> (# a, b #)) -> () + a -> b -> (# a, b #)) -> () obscure _ = () quux :: () diff --git a/testsuite/tests/codeGen/should_fail/T13233.stderr b/testsuite/tests/codeGen/should_fail/T13233.stderr index 1bbe161967..6f1636e544 100644 --- a/testsuite/tests/codeGen/should_fail/T13233.stderr +++ b/testsuite/tests/codeGen/should_fail/T13233.stderr @@ -1,11 +1,11 @@ -T13233.hs:23:16: error: +T13233.hs:22:16: error: A levity-polymorphic type is not allowed here: Type: a Kind: TYPE rep1 When trying to create a variable of type: a -T13233.hs:28:10: error: +T13233.hs:27:10: error: Cannot use function with levity-polymorphic arguments: mkWeak# :: a -> b |