Testsuite error message changes
[ghc.git] / testsuite / tests / simplCore / should_compile / T4908.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 54, types: 38, coercions: 0}
4
5 Rec {
6 T4908.f_$s$wf [Occ=LoopBreaker] :: Int# -> Int -> Int# -> Bool
7 [GblId, Arity=3, Caf=NoCafRefs, Str=DmdType <S,1*U><L,A><L,U>]
8 T4908.f_$s$wf =
9   \ (sc :: Int#) (sc1 :: Int) (sc2 :: Int#) ->
10     case sc of ds {
11       __DEFAULT ->
12         case sc2 of ds1 {
13           __DEFAULT -> T4908.f_$s$wf (-# ds 1) sc1 ds1;
14           0 -> GHC.Types.True
15         };
16       0 -> GHC.Types.True
17     }
18 end Rec }
19
20 T4908.$wf [InlPrag=[0]] :: Int# -> (Int, Int) -> Bool
21 [GblId,
22  Arity=2,
23  Caf=NoCafRefs,
24  Str=DmdType <S,1*U><L,1*U(A,U(U))>,
25  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
26          WorkFree=True, Expandable=True, Guidance=IF_ARGS [30 20] 101 20}]
27 T4908.$wf =
28   \ (ww :: Int#) (w :: (Int, Int)) ->
29     case ww of ds {
30       __DEFAULT ->
31         case w of _ [Occ=Dead] { (a, b) ->
32         case b of _ [Occ=Dead] { I# ds1 ->
33         case ds1 of ds2 {
34           __DEFAULT -> T4908.f_$s$wf (-# ds 1) a ds2;
35           0 -> GHC.Types.True
36         }
37         }
38         };
39       0 -> GHC.Types.True
40     }
41
42 f [InlPrag=INLINE[0]] :: Int -> (Int, Int) -> Bool
43 [GblId,
44  Arity=2,
45  Caf=NoCafRefs,
46  Str=DmdType <S(S),1*U(1*U)><L,1*U(A,U(U))>,
47  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
48          WorkFree=True, Expandable=True,
49          Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=False)
50          Tmpl= \ (w [Occ=Once!] :: Int) (w1 [Occ=Once] :: (Int, Int)) ->
51                  case w of _ [Occ=Dead] { I# ww1 [Occ=Once] -> T4908.$wf ww1 w1 }}]
52 f =
53   \ (w :: Int) (w1 :: (Int, Int)) ->
54     case w of _ [Occ=Dead] { I# ww1 -> T4908.$wf ww1 w1 }
55
56
57 ------ Local rules for imported ids --------
58 "SC:$wf0" [0]
59     forall (sc :: Int#) (sc1 :: Int) (sc2 :: Int#).
60       T4908.$wf sc (sc1, GHC.Types.I# sc2)
61       = T4908.f_$s$wf sc sc1 sc2
62
63