Testsuite error message changes
[ghc.git] / testsuite / tests / simplCore / should_compile / spec-inline.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 162, types: 61, coercions: 0}
4
5 Roman.foo3 :: Int
6 [GblId, Str=DmdType b]
7 Roman.foo3 =
8   Control.Exception.Base.patError
9     @ Int "spec-inline.hs:(19,5)-(29,25)|function go"#
10
11 Rec {
12 Roman.foo_$s$wgo [Occ=LoopBreaker]
13   :: GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int#
14 [GblId, Arity=2, Caf=NoCafRefs, Str=DmdType <L,U><L,U>]
15 Roman.foo_$s$wgo =
16   \ (sc :: GHC.Prim.Int#) (sc1 :: GHC.Prim.Int#) ->
17     let {
18       a :: GHC.Prim.Int#
19       [LclId, Str=DmdType]
20       a =
21         GHC.Prim.+#
22           (GHC.Prim.+#
23              (GHC.Prim.+#
24                 (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.+# sc1 sc1) sc1) sc1) sc1)
25              sc1)
26           sc1 } in
27     case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<=# sc 0)
28     of _ [Occ=Dead] {
29       False ->
30         case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# sc 100)
31         of _ [Occ=Dead] {
32           False ->
33             case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# sc 500)
34             of _ [Occ=Dead] {
35               False -> Roman.foo_$s$wgo (GHC.Prim.-# sc 1) (GHC.Prim.+# a a);
36               True -> Roman.foo_$s$wgo (GHC.Prim.-# sc 3) a
37             };
38           True -> Roman.foo_$s$wgo (GHC.Prim.-# sc 2) sc1
39         };
40       True -> 0
41     }
42 end Rec }
43
44 Roman.$wgo [InlPrag=[0]] :: Maybe Int -> Maybe Int -> GHC.Prim.Int#
45 [GblId,
46  Arity=2,
47  Str=DmdType <S,1*U><S,1*U>,
48  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
49          WorkFree=True, Expandable=True, Guidance=IF_ARGS [60 30] 256 0}]
50 Roman.$wgo =
51   \ (w :: Maybe Int) (w1 :: Maybe Int) ->
52     case w1 of _ [Occ=Dead] {
53       Nothing -> case Roman.foo3 of wild1 { };
54       Just x ->
55         case x of _ [Occ=Dead] { GHC.Types.I# ipv ->
56         let {
57           a :: GHC.Prim.Int#
58           [LclId, Str=DmdType]
59           a =
60             GHC.Prim.+#
61               (GHC.Prim.+#
62                  (GHC.Prim.+#
63                     (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.+# ipv ipv) ipv) ipv) ipv)
64                  ipv)
65               ipv } in
66         case w of _ [Occ=Dead] {
67           Nothing -> Roman.foo_$s$wgo 10 a;
68           Just n ->
69             case n of _ [Occ=Dead] { GHC.Types.I# x2 ->
70             case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<=# x2 0)
71             of _ [Occ=Dead] {
72               False ->
73                 case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# x2 100)
74                 of _ [Occ=Dead] {
75                   False ->
76                     case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# x2 500)
77                     of _ [Occ=Dead] {
78                       False -> Roman.foo_$s$wgo (GHC.Prim.-# x2 1) (GHC.Prim.+# a a);
79                       True -> Roman.foo_$s$wgo (GHC.Prim.-# x2 3) a
80                     };
81                   True -> Roman.foo_$s$wgo (GHC.Prim.-# x2 2) ipv
82                 };
83               True -> 0
84             }
85             }
86         }
87         }
88     }
89
90 Roman.foo_go [InlPrag=INLINE[0]] :: Maybe Int -> Maybe Int -> Int
91 [GblId,
92  Arity=2,
93  Str=DmdType <S,1*U><S,1*U>m,
94  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
95          WorkFree=True, Expandable=True,
96          Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=False)
97          Tmpl= \ (w [Occ=Once] :: Maybe Int) (w1 [Occ=Once] :: Maybe Int) ->
98                  case Roman.$wgo w w1 of ww { __DEFAULT -> GHC.Types.I# ww }}]
99 Roman.foo_go =
100   \ (w :: Maybe Int) (w1 :: Maybe Int) ->
101     case Roman.$wgo w w1 of ww { __DEFAULT -> GHC.Types.I# ww }
102
103 Roman.foo2 :: Int
104 [GblId,
105  Caf=NoCafRefs,
106  Str=DmdType m,
107  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
108          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
109 Roman.foo2 = GHC.Types.I# 6
110
111 Roman.foo1 :: Maybe Int
112 [GblId,
113  Caf=NoCafRefs,
114  Str=DmdType m2,
115  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
116          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
117 Roman.foo1 = GHC.Base.Just @ Int Roman.foo2
118
119 foo :: Int -> Int
120 [GblId,
121  Arity=1,
122  Caf=NoCafRefs,
123  Str=DmdType <S,1*U>m,
124  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
125          WorkFree=True, Expandable=True,
126          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
127          Tmpl= \ (n [Occ=Once!] :: Int) ->
128                  case n of n1 { GHC.Types.I# _ [Occ=Dead] ->
129                  Roman.foo_go (GHC.Base.Just @ Int n1) Roman.foo1
130                  }}]
131 foo =
132   \ (n :: Int) ->
133     case n of _ [Occ=Dead] { GHC.Types.I# ipv ->
134     case Roman.foo_$s$wgo ipv 6 of ww { __DEFAULT -> GHC.Types.I# ww }
135     }
136
137
138 ------ Local rules for imported ids --------
139 "SC:$wgo0" [0]
140     forall (sc :: GHC.Prim.Int#) (sc1 :: GHC.Prim.Int#).
141       Roman.$wgo (GHC.Base.Just @ Int (GHC.Types.I# sc))
142                  (GHC.Base.Just @ Int (GHC.Types.I# sc1))
143       = Roman.foo_$s$wgo sc sc1
144
145