summaryrefslogtreecommitdiff
path: root/testsuite/tests/roles/should_compile/Roles1.stderr
blob: 839d04d692c7734a789e3a41e91929febeddb7f9 (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
TYPE SIGNATURES
TYPE CONSTRUCTORS
  type role T1 nominal
  data T1 a = K1 a
    Promotable
  data T2 a = K2 a
    Promotable
  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
    Promotable
  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.9.0.0, ghc-prim-0.5.0.0,
                     integer-gmp-1.0.0.0]

==================== Typechecker ====================
Roles1.$tcT7
  = TyCon
      12795488517584970699##
      6852268802866176810##
      Roles1.$trModule
      (TrNameS "T7"#)
Roles1.$tcT6
  = TyCon
      1052116432298682626##
      4782516991847719023##
      Roles1.$trModule
      (TrNameS "T6"#)
Roles1.$tcT5
  = TyCon
      10855726709479635304##
      5574528370049939204##
      Roles1.$trModule
      (TrNameS "T5"#)
Roles1.$tc'K5
  = TyCon
      17986294396600628264##
      15784122741796850983##
      Roles1.$trModule
      (TrNameS "'K5"#)
Roles1.$tcT4
  = TyCon
      5809060867006837344##
      8795972313583150301##
      Roles1.$trModule
      (TrNameS "T4"#)
Roles1.$tcT3
  = TyCon
      17827258502042208248##
      10404219359416482652##
      Roles1.$trModule
      (TrNameS "T3"#)
Roles1.$tcT2
  = TyCon
      14324923875690440398##
      17626224477681351106##
      Roles1.$trModule
      (TrNameS "T2"#)
Roles1.$tc'K2
  = TyCon
      17795591238510508397##
      10155757471958311507##
      Roles1.$trModule
      (TrNameS "'K2"#)
Roles1.$tcT1
  = TyCon
      12633763300352597178##
      11103726621424210926##
      Roles1.$trModule
      (TrNameS "T1"#)
Roles1.$tc'K1
  = TyCon
      1949157551035372857##
      3576433963139282451##
      Roles1.$trModule
      (TrNameS "'K1"#)
Roles1.$trModule = Module (TrNameS "main"#) (TrNameS "Roles1"#)