summaryrefslogtreecommitdiff
path: root/testsuite/tests/roles/should_compile/Roles1.stderr
blob: bb67a8cf26d3583b2decf1f56bbae3d159e5dd02 (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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
TYPE SIGNATURES
  Roles1.K1 :: forall a. a -> T1 a
  Roles1.K2 :: forall a. a -> T2 a
  Roles1.K3 :: forall k (a :: k). T3 a
  Roles1.K4 :: forall (a :: * -> *) b. a b -> T4 a b
  Roles1.K5 :: forall a. a -> T5 a
  Roles1.K6 :: forall {k} (a :: k). T6 a
  Roles1.K7 :: forall {k} (a :: k) b. b -> T7 a b
TYPE CONSTRUCTORS
  type role T1 nominal
  data T1 a = K1 a
  data T2 a = K2 a
  type role T3 phantom
  data T3 (a :: k) = K3
  type role T4 nominal nominal
  data T4 (a :: * -> *) b = K4 (a b)
  data T5 a = K5 a
  type role T6 phantom
  data T6 (a :: k) = K6
  type role T7 phantom representational
  data T7 (a :: k) b = K7 b
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
                     integer-gmp-1.0.0.1]

==================== Typechecker ====================
Roles1.$tcT7
  = GHC.Types.TyCon
      12795488517584970699##
      6852268802866176810##
      Roles1.$trModule
      (GHC.Types.TrNameS "T7"#)
Roles1.$tc'K7
  = GHC.Types.TyCon
      12022030613939361326##
      11727141136040515167##
      Roles1.$trModule
      (GHC.Types.TrNameS "'K7"#)
Roles1.$tcT6
  = GHC.Types.TyCon
      1052116432298682626##
      4782516991847719023##
      Roles1.$trModule
      (GHC.Types.TrNameS "T6"#)
Roles1.$tc'K6
  = GHC.Types.TyCon
      14383224451764499060##
      13586832700239872984##
      Roles1.$trModule
      (GHC.Types.TrNameS "'K6"#)
Roles1.$tcT5
  = GHC.Types.TyCon
      10855726709479635304##
      5574528370049939204##
      Roles1.$trModule
      (GHC.Types.TrNameS "T5"#)
Roles1.$tc'K5
  = GHC.Types.TyCon
      17986294396600628264##
      15784122741796850983##
      Roles1.$trModule
      (GHC.Types.TrNameS "'K5"#)
Roles1.$tcT4
  = GHC.Types.TyCon
      5809060867006837344##
      8795972313583150301##
      Roles1.$trModule
      (GHC.Types.TrNameS "T4"#)
Roles1.$tc'K4
  = GHC.Types.TyCon
      6498964159768283182##
      956453098475971212##
      Roles1.$trModule
      (GHC.Types.TrNameS "'K4"#)
Roles1.$tcT3
  = GHC.Types.TyCon
      17827258502042208248##
      10404219359416482652##
      Roles1.$trModule
      (GHC.Types.TrNameS "T3"#)
Roles1.$tc'K3
  = GHC.Types.TyCon
      18386915834109553575##
      773967725306507064##
      Roles1.$trModule
      (GHC.Types.TrNameS "'K3"#)
Roles1.$tcT2
  = GHC.Types.TyCon
      14324923875690440398##
      17626224477681351106##
      Roles1.$trModule
      (GHC.Types.TrNameS "T2"#)
Roles1.$tc'K2
  = GHC.Types.TyCon
      17795591238510508397##
      10155757471958311507##
      Roles1.$trModule
      (GHC.Types.TrNameS "'K2"#)
Roles1.$tcT1
  = GHC.Types.TyCon
      12633763300352597178##
      11103726621424210926##
      Roles1.$trModule
      (GHC.Types.TrNameS "T1"#)
Roles1.$tc'K1
  = GHC.Types.TyCon
      1949157551035372857##
      3576433963139282451##
      Roles1.$trModule
      (GHC.Types.TrNameS "'K1"#)
Roles1.$trModule
  = GHC.Types.Module
      (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles1"#)