]> Git — Sourcephile - haskell/symantic-parser.git/blob - tests/Golden/Machine/G16.expected.txt
iface: remove `satisfyOrFail`
[haskell/symantic-parser.git] / tests / Golden / Machine / G16.expected.txt
1 pushValue (\u_0 -> \u_1 -> GHC.Show.show u_0)
2 minReads=2
3 mayRaise=[ExceptionFailure]
4 alwaysRaise=[]
5 freeRegs=[]
6 join join
7 minReads=1
8 mayRaise=[ExceptionFailure]
9 alwaysRaise=[]
10 freeRegs=[]
11 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
12 | minReads=1
13 | mayRaise=[ExceptionFailure]
14 | alwaysRaise=[]
15 | freeRegs=[]
16 | comment "satisfy ((GHC.Classes.==) 'd')"
17 | minReads=1
18 | mayRaise=[ExceptionFailure]
19 | alwaysRaise=[]
20 | freeRegs=[]
21 | read ((GHC.Classes.==) 'd')
22 | minReads=1
23 | mayRaise=[ExceptionFailure]
24 | alwaysRaise=[]
25 | freeRegs=[]
26 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
27 | minReads=0
28 | mayRaise=[]
29 | alwaysRaise=[]
30 | freeRegs=[]
31 | ret
32 | minReads=0
33 | mayRaise=[]
34 | alwaysRaise=[]
35 | freeRegs=[]
36 catch ExceptionFailure
37 minReads=2
38 mayRaise=[ExceptionFailure]
39 alwaysRaise=[]
40 freeRegs=[]
41 | <catchScope>
42 | | pushValue (\u_0 -> 'a')
43 | | minReads=2
44 | | mayRaise=[ExceptionFailure]
45 | | alwaysRaise=[]
46 | | freeRegs=[]
47 | | comment "satisfy ((GHC.Classes.==) 'a')"
48 | | minReads=2
49 | | mayRaise=[ExceptionFailure]
50 | | alwaysRaise=[]
51 | | freeRegs=[]
52 | | read ((GHC.Classes.==) 'a')
53 | | minReads=2
54 | | mayRaise=[ExceptionFailure]
55 | | alwaysRaise=[]
56 | | freeRegs=[]
57 | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
58 | | minReads=1
59 | | mayRaise=[ExceptionFailure]
60 | | alwaysRaise=[]
61 | | freeRegs=[]
62 | | commit ExceptionFailure
63 | | minReads=1
64 | | mayRaise=[ExceptionFailure]
65 | | alwaysRaise=[]
66 | | freeRegs=[]
67 | | refJoin join
68 | | minReads=1
69 | | mayRaise=[ExceptionFailure]
70 | | alwaysRaise=[]
71 | | freeRegs=[]
72 | <onException ExceptionFailure>
73 | | comment "raiseAgainIfConsumed"
74 | | minReads=2
75 | | mayRaise=[ExceptionFailure]
76 | | alwaysRaise=[]
77 | | freeRegs=[]
78 | | saveInput
79 | | minReads=2
80 | | mayRaise=[ExceptionFailure]
81 | | alwaysRaise=[]
82 | | freeRegs=[]
83 | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
84 | | minReads=2
85 | | mayRaise=[ExceptionFailure]
86 | | alwaysRaise=[]
87 | | freeRegs=[]
88 | | choicesBranch
89 | | minReads=2
90 | | mayRaise=[ExceptionFailure]
91 | | alwaysRaise=[]
92 | | freeRegs=[]
93 | | | <branch (\u_0 -> u_0)>
94 | | | | catch ExceptionFailure
95 | | | | minReads=2
96 | | | | mayRaise=[ExceptionFailure]
97 | | | | alwaysRaise=[]
98 | | | | freeRegs=[]
99 | | | | | <catchScope>
100 | | | | | | pushValue (\u_0 -> 'b')
101 | | | | | | minReads=2
102 | | | | | | mayRaise=[ExceptionFailure]
103 | | | | | | alwaysRaise=[]
104 | | | | | | freeRegs=[]
105 | | | | | | comment "satisfy ((GHC.Classes.==) 'b')"
106 | | | | | | minReads=2
107 | | | | | | mayRaise=[ExceptionFailure]
108 | | | | | | alwaysRaise=[]
109 | | | | | | freeRegs=[]
110 | | | | | | read ((GHC.Classes.==) 'b')
111 | | | | | | minReads=2
112 | | | | | | mayRaise=[ExceptionFailure]
113 | | | | | | alwaysRaise=[]
114 | | | | | | freeRegs=[]
115 | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
116 | | | | | | minReads=1
117 | | | | | | mayRaise=[ExceptionFailure]
118 | | | | | | alwaysRaise=[]
119 | | | | | | freeRegs=[]
120 | | | | | | commit ExceptionFailure
121 | | | | | | minReads=1
122 | | | | | | mayRaise=[ExceptionFailure]
123 | | | | | | alwaysRaise=[]
124 | | | | | | freeRegs=[]
125 | | | | | | refJoin join
126 | | | | | | minReads=1
127 | | | | | | mayRaise=[ExceptionFailure]
128 | | | | | | alwaysRaise=[]
129 | | | | | | freeRegs=[]
130 | | | | | <onException ExceptionFailure>
131 | | | | | | comment "raiseAgainIfConsumed"
132 | | | | | | minReads=2
133 | | | | | | mayRaise=[ExceptionFailure]
134 | | | | | | alwaysRaise=[]
135 | | | | | | freeRegs=[]
136 | | | | | | saveInput
137 | | | | | | minReads=2
138 | | | | | | mayRaise=[ExceptionFailure]
139 | | | | | | alwaysRaise=[]
140 | | | | | | freeRegs=[]
141 | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
142 | | | | | | minReads=2
143 | | | | | | mayRaise=[ExceptionFailure]
144 | | | | | | alwaysRaise=[]
145 | | | | | | freeRegs=[]
146 | | | | | | choicesBranch
147 | | | | | | minReads=2
148 | | | | | | mayRaise=[ExceptionFailure]
149 | | | | | | alwaysRaise=[]
150 | | | | | | freeRegs=[]
151 | | | | | | | <branch (\u_0 -> u_0)>
152 | | | | | | | | pushValue (\u_0 -> 'c')
153 | | | | | | | | minReads=2
154 | | | | | | | | mayRaise=[ExceptionFailure]
155 | | | | | | | | alwaysRaise=[]
156 | | | | | | | | freeRegs=[]
157 | | | | | | | | comment "satisfy ((GHC.Classes.==) 'c')"
158 | | | | | | | | minReads=2
159 | | | | | | | | mayRaise=[ExceptionFailure]
160 | | | | | | | | alwaysRaise=[]
161 | | | | | | | | freeRegs=[]
162 | | | | | | | | read ((GHC.Classes.==) 'c')
163 | | | | | | | | minReads=2
164 | | | | | | | | mayRaise=[ExceptionFailure]
165 | | | | | | | | alwaysRaise=[]
166 | | | | | | | | freeRegs=[]
167 | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
168 | | | | | | | | minReads=1
169 | | | | | | | | mayRaise=[ExceptionFailure]
170 | | | | | | | | alwaysRaise=[]
171 | | | | | | | | freeRegs=[]
172 | | | | | | | | refJoin join
173 | | | | | | | | minReads=1
174 | | | | | | | | mayRaise=[ExceptionFailure]
175 | | | | | | | | alwaysRaise=[]
176 | | | | | | | | freeRegs=[]
177 | | | | | | | <default>
178 | | | | | | | | fail []
179 | | | | | | | | minReads=0
180 | | | | | | | | mayRaise=[ExceptionFailure]
181 | | | | | | | | alwaysRaise=[ExceptionFailure]
182 | | | | | | | | freeRegs=[]
183 | | | <default>
184 | | | | fail []
185 | | | | minReads=0
186 | | | | mayRaise=[ExceptionFailure]
187 | | | | alwaysRaise=[ExceptionFailure]
188 | | | | freeRegs=[]