blob: 833609d48a053871425a4d1319c921e981bfcd7f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
{-# LANGUAGE RoleAnnotations, RankNTypes, ScopedTypeVariables #-}
import Data.Coerce (coerce, Coercible)
import Data.Ord (Down)
newtype Age = Age Int deriving Show
type role Map nominal _
data Map a b = Map a b deriving Show
foo1 = coerce $ one :: ()
foo2 :: forall m. Monad m => m Age
foo2 = coerce $ (return one :: m Int)
foo3 = coerce $ Map one () :: Map Age ()
foo4 = coerce $ one :: Down Int
newtype Void = Void Void
foo5 = coerce :: Void -> ()
------------------------------------
-- This next one generates an exponentally big type as it
-- tries to unwrap. See comment:15 in Trac #11518
-- Adding asserions that force the types can make us
-- run out of space.
newtype VoidBad a = VoidBad (VoidBad (a,a))
foo5' = coerce :: (VoidBad ()) -> ()
------------------------------------
-- This shoul fail with a context stack overflow
newtype Fix f = Fix (f (Fix f))
foo6 = coerce :: Fix (Either Int) -> Fix (Either Age)
foo7 = coerce :: Fix (Either Int) -> ()
one :: Int
one = 1
main = return ()
|
