dc03073428d02c9a6b60ccced75a2ceef5f609aa
[ghc.git] / testsuite / tests / roles / should_compile / Roles13.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 5, types: 9, coercions: 5}
4
5 a :: Wrap Age -> Wrap Age
6 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType]
7 a = \ (ds :: Wrap Age) -> ds
8
9 convert :: Wrap Age -> Int
10 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType]
11 convert =
12   a
13   `cast` (<Wrap Age>_R -> Roles13.NTCo:Wrap[0] Roles13.NTCo:Age[0]
14           :: (Wrap Age -> Wrap Age) ~R# (Wrap Age -> Int))
15
16
17