blob: 647e59ba51dd2dc50e079c8fdf49f95b6ac1c8b8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
==================== Tidy Core ====================
Result size of Tidy Core = {terms: 5, types: 9, coercions: 5}
a :: Roles13.Wrap Roles13.Age -> Roles13.Wrap Roles13.Age
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType]
a = \ (ds :: Roles13.Wrap Roles13.Age) -> ds
Roles13.convert :: Roles13.Wrap Roles13.Age -> GHC.Types.Int
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType]
Roles13.convert =
a
`cast` (<Roles13.Wrap Roles13.Age>_R
-> Roles13.NTCo:Wrap[0] Roles13.NTCo:Age[0]
:: (Roles13.Wrap Roles13.Age -> Roles13.Wrap Roles13.Age)
~#
(Roles13.Wrap Roles13.Age -> GHC.Types.Int))
|
