3 mayRaise=[ExceptionFailure]
5 | catch ExceptionFailure
7 | mayRaise=[ExceptionFailure]
10 | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' ((GHC.Types.:) 'd' GHC.Types.[]))))
11 | | | minReads=(Right 4)
12 | | | mayRaise=[ExceptionFailure]
14 | | | read ((GHC.Classes.==) 'a')
15 | | | minReads=(Right 4)
16 | | | mayRaise=[ExceptionFailure]
18 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
19 | | | minReads=(Right 3)
20 | | | mayRaise=[ExceptionFailure]
22 | | | read ((GHC.Classes.==) 'b')
23 | | | minReads=(Right 3)
24 | | | mayRaise=[ExceptionFailure]
26 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
27 | | | minReads=(Right 2)
28 | | | mayRaise=[ExceptionFailure]
30 | | | read ((GHC.Classes.==) 'c')
31 | | | minReads=(Right 2)
32 | | | mayRaise=[ExceptionFailure]
34 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
35 | | | minReads=(Right 1)
36 | | | mayRaise=[ExceptionFailure]
38 | | | read ((GHC.Classes.==) 'd')
39 | | | minReads=(Right 1)
40 | | | mayRaise=[ExceptionFailure]
42 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
43 | | | minReads=(Right 0)
46 | | | commit ExceptionFailure
47 | | | minReads=(Right 0)
51 | | | minReads=(Right 0)
56 | | | minReads=(Left ExceptionFailure)
57 | | | mayRaise=[ExceptionFailure]
60 | | | minReads=(Left ExceptionFailure)
61 | | | mayRaise=[ExceptionFailure]
63 pushValue (\x_0 -> \x_1 -> \x_2 -> GHC.Show.show ((GHC.Types.:) x_0 x_1))
65 mayRaise=[ExceptionFailure]
69 mayRaise=[ExceptionFailure]
71 lift2Value (\x_0 -> \x_1 -> x_0 x_1)
73 mayRaise=[ExceptionFailure]
75 pushValue (\x_0 -> x_0)
77 mayRaise=[ExceptionFailure]
81 mayRaise=[ExceptionFailure]
85 mayRaise=[ExceptionFailure]
88 | | pushValue (GHC.Types.:)
89 | | minReads=(Right 4)
90 | | mayRaise=[ExceptionFailure]
93 | | minReads=(Right 4)
94 | | mayRaise=[ExceptionFailure]
96 | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
97 | | minReads=(Right 0)
100 | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_1 (x_0 x_2))
101 | | minReads=(Right 0)
104 | | lift2Value (\x_0 -> \x_1 -> x_1 x_0)
105 | | minReads=(Right 0)
109 | | minReads=(Right 0)
112 | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
113 | | minReads=(Right 0)
116 | | writeRegister reg
117 | | minReads=(Right 0)
121 | | minReads=(Right 0)
126 | | minReads=(Right 0)
127 | | mayRaise=[ExceptionFailure]
129 | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
131 | | _) -> i_0 GHC.Classes.== j_1)
132 | | minReads=(Right 0)
133 | | mayRaise=[ExceptionFailure]
136 | | minReads=(Right 0)
137 | | mayRaise=[ExceptionFailure]
139 | | | <branch (\x_0 -> x_0)>
140 | | | | readRegister reg
141 | | | | minReads=(Right 0)
142 | | | | mayRaise=[ExceptionFailure]
143 | | | | freeRegs=[reg]
144 | | | | pushValue GHC.Types.[]
145 | | | | minReads=(Right 0)
146 | | | | mayRaise=[ExceptionFailure]
148 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
149 | | | | minReads=(Right 0)
150 | | | | mayRaise=[ExceptionFailure]
152 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
153 | | | | minReads=(Right 0)
154 | | | | mayRaise=[ExceptionFailure]
157 | | | | minReads=(Right 0)
160 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
161 | | | | | minReads=(Right 0)
162 | | | | | mayRaise=[]
163 | | | | | freeRegs=[]
165 | | | | | minReads=(Right 0)
166 | | | | | mayRaise=[]
167 | | | | | freeRegs=[]
168 | | | | catch ExceptionFailure
169 | | | | minReads=(Right 0)
170 | | | | mayRaise=[ExceptionFailure]
173 | | | | | | catch ExceptionFailure
174 | | | | | | minReads=(Right 0)
175 | | | | | | mayRaise=[]
176 | | | | | | freeRegs=[]
178 | | | | | | | | pushInput
179 | | | | | | | | minReads=(Left ExceptionFailure)
180 | | | | | | | | mayRaise=[ExceptionFailure]
181 | | | | | | | | freeRegs=[]
182 | | | | | | | | read (\x_0 -> GHC.Types.True)
183 | | | | | | | | minReads=(Left ExceptionFailure)
184 | | | | | | | | mayRaise=[ExceptionFailure]
185 | | | | | | | | freeRegs=[]
186 | | | | | | | | popValue
187 | | | | | | | | minReads=(Left ExceptionFailure)
188 | | | | | | | | mayRaise=[ExceptionFailure]
189 | | | | | | | | freeRegs=[]
190 | | | | | | | | commit ExceptionFailure
191 | | | | | | | | minReads=(Left ExceptionFailure)
192 | | | | | | | | mayRaise=[ExceptionFailure]
193 | | | | | | | | freeRegs=[]
194 | | | | | | | | loadInput
195 | | | | | | | | minReads=(Left ExceptionFailure)
196 | | | | | | | | mayRaise=[ExceptionFailure]
197 | | | | | | | | freeRegs=[]
198 | | | | | | | | fail []
199 | | | | | | | | minReads=(Left ExceptionFailure)
200 | | | | | | | | mayRaise=[ExceptionFailure]
201 | | | | | | | | freeRegs=[]
203 | | | | | | | | loadInput
204 | | | | | | | | minReads=(Right 0)
205 | | | | | | | | mayRaise=[]
206 | | | | | | | | freeRegs=[]
207 | | | | | | | | pushValue GHC.Tuple.()
208 | | | | | | | | minReads=(Right 0)
209 | | | | | | | | mayRaise=[]
210 | | | | | | | | freeRegs=[]
211 | | | | | | | | commit ExceptionFailure
212 | | | | | | | | minReads=(Right 0)
213 | | | | | | | | mayRaise=[]
214 | | | | | | | | freeRegs=[]
215 | | | | | | | | refJoin join
216 | | | | | | | | minReads=(Right 0)
217 | | | | | | | | mayRaise=[]
218 | | | | | | | | freeRegs=[]
220 | | | | | | pushInput
221 | | | | | | minReads=(Left ExceptionFailure)
222 | | | | | | mayRaise=[ExceptionFailure]
223 | | | | | | freeRegs=[]
224 | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
226 | | | | | | _) -> i_0 GHC.Classes.== j_1)
227 | | | | | | minReads=(Left ExceptionFailure)
228 | | | | | | mayRaise=[ExceptionFailure]
229 | | | | | | freeRegs=[]
230 | | | | | | choicesBranch
231 | | | | | | minReads=(Left ExceptionFailure)
232 | | | | | | mayRaise=[ExceptionFailure]
233 | | | | | | freeRegs=[]
234 | | | | | | | <branch (\x_0 -> x_0)>
235 | | | | | | | | fail [FailureEnd]
236 | | | | | | | | minReads=(Left ExceptionFailure)
237 | | | | | | | | mayRaise=[ExceptionFailure]
238 | | | | | | | | freeRegs=[]
239 | | | | | | | <default>
240 | | | | | | | | fail []
241 | | | | | | | | minReads=(Left ExceptionFailure)
242 | | | | | | | | mayRaise=[ExceptionFailure]
243 | | | | | | | | freeRegs=[]
246 | | | | minReads=(Left ExceptionFailure)
247 | | | | mayRaise=[ExceptionFailure]