Commit 537ce41c authored by Ben Gamari's avatar Ben Gamari 🐢

Typeable: Rename KindRep bindings to $krep...

parent fb06bee1
......@@ -379,7 +379,7 @@ mkTyConRepBinds stuff@(Stuff {..}) todo (TypeableTyCon {..})
= do -- Place a NOINLINE pragma on KindReps since they tend to be quite large
-- and bloat interface files.
kind_rep_id <- (`setInlinePragma` neverInlinePragma)
<$> newSysLocalId (fsLit "krep") (mkTyConTy kindRepTyCon)
<$> newSysLocalId (fsLit "$krep") (mkTyConTy kindRepTyCon)
kind_rep <- mkTyConKindRep stuff tycon tycon_kind
tycon_rep_rhs <- mkTyConRepTyConRHS stuff todo tycon kind_rep_id
......
......@@ -48,29 +48,29 @@ T2431.$trModule :: GHC.Types.Module
T2431.$trModule = GHC.Types.Module $trModule2 $trModule4
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
krep :: GHC.Types.KindRep
$krep :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
$krep = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
krep1 :: GHC.Types.KindRep
$krep1 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep1 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
$krep1 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
krep2 :: GHC.Types.KindRep
$krep2 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep2 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
$krep2 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
krep3 :: GHC.Types.KindRep
$krep3 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep3 = GHC.Types.KindRepFun krep1 krep2
$krep3 = GHC.Types.KindRepFun $krep1 $krep2
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
krep4 :: GHC.Types.KindRep
$krep4 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep4 = GHC.Types.KindRepFun krep krep3
$krep4 = GHC.Types.KindRepFun $krep $krep3
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc:~:1 :: GHC.Prim.Addr#
......@@ -92,34 +92,34 @@ T2431.$tc:~:
T2431.$trModule
$tc:~:2
0#
krep4
$krep4
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
krep5 :: GHC.Types.KindRep
$krep5 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep5 = GHC.Types.KindRepVar 0#
$krep5 = GHC.Types.KindRepVar 0#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
krep6 :: GHC.Types.KindRep
$krep6 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep6 = GHC.Types.KindRepVar 0#
$krep6 = GHC.Types.KindRepVar 0#
-- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
krep7 :: [GHC.Types.KindRep]
$krep7 :: [GHC.Types.KindRep]
[GblId, Caf=NoCafRefs]
krep7
$krep7
= GHC.Types.:
@ GHC.Types.KindRep krep6 (GHC.Types.[] @ GHC.Types.KindRep)
@ GHC.Types.KindRep $krep6 (GHC.Types.[] @ GHC.Types.KindRep)
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
krep8 :: [GHC.Types.KindRep]
$krep8 :: [GHC.Types.KindRep]
[GblId, Caf=NoCafRefs]
krep8 = GHC.Types.: @ GHC.Types.KindRep krep5 krep7
$krep8 = GHC.Types.: @ GHC.Types.KindRep $krep5 $krep7
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
krep9 :: GHC.Types.KindRep
$krep9 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep9 = GHC.Types.KindRepTyConApp T2431.$tc:~: krep8
$krep9 = GHC.Types.KindRepTyConApp T2431.$tc:~: $krep8
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'Refl1 :: GHC.Prim.Addr#
......@@ -141,7 +141,7 @@ T2431.$tc'Refl
T2431.$trModule
$tc'Refl2
1#
krep9
$krep9
......@@ -50,10 +50,10 @@
(0))))))
({ <no location info> }
(HsVar
({ <no location info> }{Var: (krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})})))))
({ <no location info> }{Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})})))))
(False))),
({ <no location info> }
(VarBind {Var: (krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})}
(VarBind {Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})}
({ <no location info> }
(HsApp
({ <no location info> }
......@@ -111,10 +111,10 @@
(0))))))
({ <no location info> }
(HsVar
({ <no location info> }{Var: (krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})})))))
({ <no location info> }{Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})})))))
(False))),
({ <no location info> }
(VarBind {Var: (krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})}
(VarBind {Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})}
({ <no location info> }
(HsApp
({ <no location info> }
......@@ -182,10 +182,10 @@
(0))))))
({ <no location info> }
(HsVar
({ <no location info> }{Var: (krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})})))))
({ <no location info> }{Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})})))))
(False))),
({ <no location info> }
(VarBind {Var: (krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})}
(VarBind {Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})}
({ <no location info> }
(HsApp
({ <no location info> }
......
......@@ -32,8 +32,8 @@ Roles1.$tcT7
Roles1.$trModule
(GHC.Types.TrNameS "T7"#)
1
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepVar 0)
(GHC.Types.KindRepFun
......@@ -46,8 +46,8 @@ Roles1.$tc'K7
Roles1.$trModule
(GHC.Types.TrNameS "'K7"#)
3
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepVar 2)
(GHC.Types.KindRepTyConApp
......@@ -62,8 +62,8 @@ Roles1.$tcT6
Roles1.$trModule
(GHC.Types.TrNameS "T6"#)
1
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepVar 0)
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
......@@ -74,8 +74,8 @@ Roles1.$tc'K6
Roles1.$trModule
(GHC.Types.TrNameS "'K6"#)
2
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepTyConApp
Roles1.$tcT6
((:) (GHC.Types.KindRepVar 0) ((:) (GHC.Types.KindRepVar 1) []))
......@@ -86,8 +86,8 @@ Roles1.$tcT5
Roles1.$trModule
(GHC.Types.TrNameS "T5"#)
0
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
......@@ -98,8 +98,8 @@ Roles1.$tc'K5
Roles1.$trModule
(GHC.Types.TrNameS "'K5"#)
1
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepVar 0)
(GHC.Types.KindRepTyConApp
......@@ -111,8 +111,8 @@ Roles1.$tcT4
Roles1.$trModule
(GHC.Types.TrNameS "T4"#)
0
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepFun
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
......@@ -127,8 +127,8 @@ Roles1.$tc'K4
Roles1.$trModule
(GHC.Types.TrNameS "'K4"#)
2
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepApp
(GHC.Types.KindRepVar 0) (GHC.Types.KindRepVar 1))
......@@ -142,8 +142,8 @@ Roles1.$tcT3
Roles1.$trModule
(GHC.Types.TrNameS "T3"#)
1
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepVar 0)
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
......@@ -154,8 +154,8 @@ Roles1.$tc'K3
Roles1.$trModule
(GHC.Types.TrNameS "'K3"#)
2
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepTyConApp
Roles1.$tcT3
((:) (GHC.Types.KindRepVar 0) ((:) (GHC.Types.KindRepVar 1) []))
......@@ -166,8 +166,8 @@ Roles1.$tcT2
Roles1.$trModule
(GHC.Types.TrNameS "T2"#)
0
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
......@@ -178,8 +178,8 @@ Roles1.$tc'K2
Roles1.$trModule
(GHC.Types.TrNameS "'K2"#)
1
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepVar 0)
(GHC.Types.KindRepTyConApp
......@@ -191,8 +191,8 @@ Roles1.$tcT1
Roles1.$trModule
(GHC.Types.TrNameS "T1"#)
0
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
......@@ -203,8 +203,8 @@ Roles1.$tc'K1
Roles1.$trModule
(GHC.Types.TrNameS "'K1"#)
1
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepVar 0)
(GHC.Types.KindRepTyConApp
......
......@@ -11,10 +11,10 @@ convert1 = \ (ds :: Wrap Age) -> ds
-- RHS size: {terms: 1, types: 0, coercions: 5, joins: 0/0}
convert :: Wrap Age -> Int
[GblId, Arity=1, Caf=NoCafRefs]
convert =
convert1
`cast` (<Wrap Age>_R -> Roles13.N:Wrap[0] Roles13.N:Age[0]
:: ((Wrap Age -> Wrap Age) :: *) ~R# ((Wrap Age -> Int) :: *))
convert
= convert1
`cast` (<Wrap Age>_R -> Roles13.N:Wrap[0] Roles13.N:Age[0]
:: ((Wrap Age -> Wrap Age) :: *) ~R# ((Wrap Age -> Int) :: *))
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule1 :: GHC.Prim.Addr#
......@@ -42,9 +42,9 @@ Roles13.$trModule :: GHC.Types.Module
Roles13.$trModule = GHC.Types.Module $trModule2 $trModule4
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
krep :: GHC.Types.KindRep
$krep :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
$krep = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tcAge1 :: GHC.Prim.Addr#
......@@ -59,33 +59,33 @@ $tcAge2 = GHC.Types.TrNameS $tcAge1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
Roles13.$tcAge :: GHC.Types.TyCon
[GblId, Caf=NoCafRefs]
Roles13.$tcAge =
GHC.Types.TyCon
3456257068627873222##
14056710845110756026##
Roles13.$trModule
$tcAge2
0#
krep
Roles13.$tcAge
= GHC.Types.TyCon
3456257068627873222##
14056710845110756026##
Roles13.$trModule
$tcAge2
0#
$krep
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
krep1 :: GHC.Types.KindRep
$krep1 :: GHC.Types.KindRep
[GblId]
krep1 =
GHC.Types.KindRepTyConApp
GHC.Types.$tcInt (GHC.Types.[] @ GHC.Types.KindRep)
$krep1
= GHC.Types.KindRepTyConApp
GHC.Types.$tcInt (GHC.Types.[] @ GHC.Types.KindRep)
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
krep2 :: GHC.Types.KindRep
$krep2 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep2 =
GHC.Types.KindRepTyConApp
Roles13.$tcAge (GHC.Types.[] @ GHC.Types.KindRep)
$krep2
= GHC.Types.KindRepTyConApp
Roles13.$tcAge (GHC.Types.[] @ GHC.Types.KindRep)
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
krep3 :: GHC.Types.KindRep
$krep3 :: GHC.Types.KindRep
[GblId]
krep3 = GHC.Types.KindRepFun krep1 krep2
$krep3 = GHC.Types.KindRepFun $krep1 $krep2
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'MkAge1 :: GHC.Prim.Addr#
......@@ -100,29 +100,29 @@ $tc'MkAge2 = GHC.Types.TrNameS $tc'MkAge1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
Roles13.$tc'MkAge :: GHC.Types.TyCon
[GblId]
Roles13.$tc'MkAge =
GHC.Types.TyCon
18264039750958872441##
1870189534242358050##
Roles13.$trModule
$tc'MkAge2
0#
krep3
Roles13.$tc'MkAge
= GHC.Types.TyCon
18264039750958872441##
1870189534242358050##
Roles13.$trModule
$tc'MkAge2
0#
$krep3
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
krep4 :: GHC.Types.KindRep
$krep4 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep4 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
$krep4 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
krep5 :: GHC.Types.KindRep
$krep5 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep5 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
$krep5 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
krep6 :: GHC.Types.KindRep
$krep6 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep6 = GHC.Types.KindRepFun krep4 krep5
$krep6 = GHC.Types.KindRepFun $krep4 $krep5
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tcWrap1 :: GHC.Prim.Addr#
......@@ -137,41 +137,41 @@ $tcWrap2 = GHC.Types.TrNameS $tcWrap1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
Roles13.$tcWrap :: GHC.Types.TyCon
[GblId, Caf=NoCafRefs]
Roles13.$tcWrap =
GHC.Types.TyCon
13773534096961634492##
15591525585626702988##
Roles13.$trModule
$tcWrap2
0#
krep6
Roles13.$tcWrap
= GHC.Types.TyCon
13773534096961634492##
15591525585626702988##
Roles13.$trModule
$tcWrap2
0#
$krep6
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
krep7 :: GHC.Types.KindRep
$krep7 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep7 = GHC.Types.KindRepVar 0#
$krep7 = GHC.Types.KindRepVar 0#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
krep8 :: GHC.Types.KindRep
$krep8 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep8 = GHC.Types.KindRepVar 0#
$krep8 = GHC.Types.KindRepVar 0#
-- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
krep9 :: [GHC.Types.KindRep]
$krep9 :: [GHC.Types.KindRep]
[GblId, Caf=NoCafRefs]
krep9 =
GHC.Types.:
@ GHC.Types.KindRep krep8 (GHC.Types.[] @ GHC.Types.KindRep)
$krep9
= GHC.Types.:
@ GHC.Types.KindRep $krep8 (GHC.Types.[] @ GHC.Types.KindRep)
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
krep10 :: GHC.Types.KindRep
$krep10 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep10 = GHC.Types.KindRepTyConApp Roles13.$tcWrap krep9
$krep10 = GHC.Types.KindRepTyConApp Roles13.$tcWrap $krep9
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
krep11 :: GHC.Types.KindRep
$krep11 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
krep11 = GHC.Types.KindRepFun krep7 krep10
$krep11 = GHC.Types.KindRepFun $krep7 $krep10
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'MkWrap1 :: GHC.Prim.Addr#
......@@ -186,14 +186,14 @@ $tc'MkWrap2 = GHC.Types.TrNameS $tc'MkWrap1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
Roles13.$tc'MkWrap :: GHC.Types.TyCon
[GblId, Caf=NoCafRefs]
Roles13.$tc'MkWrap =
GHC.Types.TyCon
15580677875333883466##
808508687714473149##
Roles13.$trModule
$tc'MkWrap2
1#
krep11
Roles13.$tc'MkWrap
= GHC.Types.TyCon
15580677875333883466##
808508687714473149##
Roles13.$trModule
$tc'MkWrap2
1#
$krep11
......@@ -19,8 +19,8 @@ Roles12.$tcC2
Roles12.$trModule
(GHC.Types.TrNameS "C2"#)
0
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
(GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint [])
......@@ -31,8 +31,8 @@ Roles12.$tc'C:C2
Roles12.$trModule
(GHC.Types.TrNameS "'C:C2"#)
1
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepFun
(GHC.Types.KindRepVar 0) (GHC.Types.KindRepVar 0))
......
......@@ -18,8 +18,8 @@ Roles2.$tcT2
Roles2.$trModule
(GHC.Types.TrNameS "T2"#)
0
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
......@@ -30,8 +30,8 @@ Roles2.$tc'K2
Roles2.$trModule
(GHC.Types.TrNameS "'K2"#)
1
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepTyConApp
GHC.Ptr.$tcFunPtr ((:) (GHC.Types.KindRepVar 0) []))
......@@ -44,8 +44,8 @@ Roles2.$tcT1
Roles2.$trModule
(GHC.Types.TrNameS "T1"#)
0
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
......@@ -56,8 +56,8 @@ Roles2.$tc'K1
Roles2.$trModule
(GHC.Types.TrNameS "'K1"#)
1
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepTyConApp
GHC.Types.$tcIO ((:) (GHC.Types.KindRepVar 0) []))
......
......@@ -40,8 +40,8 @@ Roles3.$tcC4
Roles3.$trModule
(GHC.Types.TrNameS "C4"#)
0
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
(GHC.Types.KindRepFun
......@@ -54,8 +54,8 @@ Roles3.$tcC3
Roles3.$trModule
(GHC.Types.TrNameS "C3"#)
0
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
(GHC.Types.KindRepFun
......@@ -68,8 +68,8 @@ Roles3.$tcC2
Roles3.$trModule
(GHC.Types.TrNameS "C2"#)
0
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
(GHC.Types.KindRepFun
......@@ -82,8 +82,8 @@ Roles3.$tc'C:C2
Roles3.$trModule
(GHC.Types.TrNameS "'C:C2"#)
2
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepFun
(GHC.Types.KindRepTyConApp
......@@ -103,8 +103,8 @@ Roles3.$tcC1
Roles3.$trModule
(GHC.Types.TrNameS "C1"#)
0
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
(GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint [])
......@@ -115,8 +115,8 @@ Roles3.$tc'C:C1
Roles3.$trModule
(GHC.Types.TrNameS "'C:C1"#)
1
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepFun
(GHC.Types.KindRepVar 0) (GHC.Types.KindRepVar 0))
......
......@@ -25,8 +25,8 @@ Roles4.$tcC3
Roles4.$trModule
(GHC.Types.TrNameS "C3"#)
0
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
(GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint [])
......@@ -37,8 +37,8 @@ Roles4.$tc'C:C3
Roles4.$trModule
(GHC.Types.TrNameS "'C:C3"#)
1
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepFun
(GHC.Types.KindRepVar 0)
......@@ -53,8 +53,8 @@ Roles4.$tcC1
Roles4.$trModule
(GHC.Types.TrNameS "C1"#)
0
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun
(GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
(GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint [])
......@@ -65,8 +65,8 @@ Roles4.$tc'C:C1
Roles4.$trModule
(GHC.Types.TrNameS "'C:C1"#)
1
krep
krep [InlPrag=[~]]
$krep
$krep [InlPrag=[~]]
= GHC.Types.KindRepFun