ccc9bd97910201dd6e47ee60e1ec3b342df0e6d1
[ghc.git] / testsuite / tests / simplCore / should_compile / T14186.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core
4   = {terms: 52, types: 99, coercions: 0, joins: 0/0}
5
6 -- RHS size: {terms: 18, types: 29, coercions: 0, joins: 0/0}
7 foo
8   :: forall t1 b t2.
9      (t1 -> b) -> (t2 -> t1) -> (t2, [t2]) -> (b, [b])
10 [GblId, Arity=3]
11 foo
12   = \ (@ t_aUk)
13       (@ b_aUs)
14       (@ t1_aUo)
15       (f_apH :: t_aUk -> b_aUs)
16       (g_apI :: t1_aUo -> t_aUk)
17       (ds_dVH :: (t1_aUo, [t1_aUo])) ->
18       case ds_dVH of { (x_apJ, xs_apK) ->
19       (f_apH (g_apI x_apJ),
20        map
21          @ t1_aUo @ b_aUs (. @ t_aUk @ b_aUs @ t1_aUo f_apH g_apI) xs_apK)
22       }
23
24 -- RHS size: {terms: 18, types: 29, coercions: 0, joins: 0/0}
25 bar
26   :: forall t1 b t2.
27      (t1 -> b) -> (t2 -> t1) -> (t2, [t2]) -> (b, [b])
28 [GblId, Arity=3]
29 bar = foo
30
31 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
32 $trModule1_rVy :: GHC.Prim.Addr#
33 [GblId, Caf=NoCafRefs]
34 $trModule1_rVy = "main"#
35
36 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
37 $trModule2_rVX :: GHC.Types.TrName
38 [GblId, Caf=NoCafRefs]
39 $trModule2_rVX = GHC.Types.TrNameS $trModule1_rVy
40
41 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
42 $trModule3_rVY :: GHC.Prim.Addr#
43 [GblId, Caf=NoCafRefs]
44 $trModule3_rVY = "T14186"#
45
46 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
47 $trModule4_rVZ :: GHC.Types.TrName
48 [GblId, Caf=NoCafRefs]
49 $trModule4_rVZ = GHC.Types.TrNameS $trModule3_rVY
50
51 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
52 T14186.$trModule :: GHC.Types.Module
53 [GblId, Caf=NoCafRefs]
54 T14186.$trModule = GHC.Types.Module $trModule2_rVX $trModule4_rVZ
55
56
57