Fix #12472 by looking for noinline/lazy inside oversaturated applications.
[ghc.git] / testsuite / tests / simplCore / should_compile / noinline01.stderr
1
2 ==================== Pre unarise: ====================
3 Noinline01.f [InlPrag=INLINE (sat-args=1)]
4   :: forall t. t -> GHC.Types.Bool
5 [GblId, Arity=1, Caf=NoCafRefs, Str=<L,A>, Unf=OtherCon []] =
6     \r [eta] GHC.Types.True [];
7
8 Noinline01.g :: GHC.Types.Bool
9 [GblId] =
10     \u [] Noinline01.f GHC.Types.False;
11
12 Noinline01.$trModule2 :: GHC.Types.TrName
13 [GblId, Caf=NoCafRefs, Str=m1, Unf=OtherCon []] =
14     NO_CCS GHC.Types.TrNameS! ["main"#];
15
16 Noinline01.$trModule1 :: GHC.Types.TrName
17 [GblId, Caf=NoCafRefs, Str=m1, Unf=OtherCon []] =
18     NO_CCS GHC.Types.TrNameS! ["Noinline01"#];
19
20 Noinline01.$trModule :: GHC.Types.Module
21 [GblId, Caf=NoCafRefs, Str=m, Unf=OtherCon []] =
22     NO_CCS GHC.Types.Module! [Noinline01.$trModule2
23                               Noinline01.$trModule1];
24
25
26
27 ==================== STG syntax: ====================
28 Noinline01.f [InlPrag=INLINE (sat-args=1)]
29   :: forall t. t -> GHC.Types.Bool
30 [GblId, Arity=1, Caf=NoCafRefs, Str=<L,A>, Unf=OtherCon []] =
31     \r [eta] GHC.Types.True [];
32
33 Noinline01.g :: GHC.Types.Bool
34 [GblId] =
35     \u [] Noinline01.f GHC.Types.False;
36
37 Noinline01.$trModule2 :: GHC.Types.TrName
38 [GblId, Caf=NoCafRefs, Str=m1, Unf=OtherCon []] =
39     NO_CCS GHC.Types.TrNameS! ["main"#];
40
41 Noinline01.$trModule1 :: GHC.Types.TrName
42 [GblId, Caf=NoCafRefs, Str=m1, Unf=OtherCon []] =
43     NO_CCS GHC.Types.TrNameS! ["Noinline01"#];
44
45 Noinline01.$trModule :: GHC.Types.Module
46 [GblId, Caf=NoCafRefs, Str=m, Unf=OtherCon []] =
47     NO_CCS GHC.Types.Module! [Noinline01.$trModule2
48                               Noinline01.$trModule1];
49
50