]> Git — Sourcephile - haskell/symantic-parser.git/blob - test/Golden/Machine/G7.expected.txt
machine: fix factorize out raiseException
[haskell/symantic-parser.git] / test / Golden / Machine / G7.expected.txt
1 pushValue Term
2 minReads=(Right 2)
3 mayRaise=[]
4 join <hidden>
5 minReads=(Right 0)
6 mayRaise=[]
7 | lift2Value (\u1 -> (\u2 -> u1 u2))
8 | minReads=(Right 0)
9 | mayRaise=[]
10 | ret
11 | minReads=(Right 0)
12 | mayRaise=[]
13 catch ExceptionFailure
14 minReads=(Right 2)
15 mayRaise=[]
16 | <ok>
17 | | catch ExceptionFailure
18 | | minReads=(Right 2)
19 | | mayRaise=[]
20 | | | <ok>
21 | | | | pushValue cons
22 | | | | minReads=(Right 2)
23 | | | | mayRaise=[ExceptionFailure]
24 | | | | pushValue (\u1 -> (\u2 -> u1))
25 | | | | minReads=(Right 2)
26 | | | | mayRaise=[ExceptionFailure]
27 | | | | pushValue 'a'
28 | | | | minReads=(Right 2)
29 | | | | mayRaise=[ExceptionFailure]
30 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
31 | | | | minReads=(Right 2)
32 | | | | mayRaise=[ExceptionFailure]
33 | | | | read ('a' ==)
34 | | | | minReads=(Right 2)
35 | | | | mayRaise=[ExceptionFailure]
36 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
37 | | | | minReads=(Right 1)
38 | | | | mayRaise=[ExceptionFailure]
39 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
40 | | | | minReads=(Right 1)
41 | | | | mayRaise=[ExceptionFailure]
42 | | | | pushValue cons
43 | | | | minReads=(Right 1)
44 | | | | mayRaise=[ExceptionFailure]
45 | | | | pushValue (\u1 -> (\u2 -> u1))
46 | | | | minReads=(Right 1)
47 | | | | mayRaise=[ExceptionFailure]
48 | | | | pushValue 'a'
49 | | | | minReads=(Right 1)
50 | | | | mayRaise=[ExceptionFailure]
51 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
52 | | | | minReads=(Right 1)
53 | | | | mayRaise=[ExceptionFailure]
54 | | | | read ('a' ==)
55 | | | | minReads=(Right 1)
56 | | | | mayRaise=[ExceptionFailure]
57 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
58 | | | | minReads=(Right 0)
59 | | | | mayRaise=[]
60 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
61 | | | | minReads=(Right 0)
62 | | | | mayRaise=[]
63 | | | | pushValue Term
64 | | | | minReads=(Right 0)
65 | | | | mayRaise=[]
66 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
67 | | | | minReads=(Right 0)
68 | | | | mayRaise=[]
69 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
70 | | | | minReads=(Right 0)
71 | | | | mayRaise=[]
72 | | | | commit ExceptionFailure
73 | | | | minReads=(Right 0)
74 | | | | mayRaise=[]
75 | | | | commit ExceptionFailure
76 | | | | minReads=(Right 0)
77 | | | | mayRaise=[]
78 | | | | refJoin <hidden>
79 | | | | minReads=(Right 0)
80 | | | | mayRaise=[]
81 | | | <ko>
82 | | | | loadInput
83 | | | | minReads=(Left ExceptionFailure)
84 | | | | mayRaise=[ExceptionFailure]
85 | | | | fail fromList []
86 | | | | minReads=(Left ExceptionFailure)
87 | | | | mayRaise=[ExceptionFailure]
88 | <ko>
89 | | pushInput
90 | | minReads=(Right 2)
91 | | mayRaise=[ExceptionFailure]
92 | | lift2Value Term
93 | | minReads=(Right 2)
94 | | mayRaise=[ExceptionFailure]
95 | | choicesBranch [(\u1 -> u1)]
96 | | minReads=(Right 2)
97 | | mayRaise=[ExceptionFailure]
98 | | | <branch>
99 | | | | catch ExceptionFailure
100 | | | | minReads=(Right 2)
101 | | | | mayRaise=[]
102 | | | | | <ok>
103 | | | | | | pushValue cons
104 | | | | | | minReads=(Right 2)
105 | | | | | | mayRaise=[ExceptionFailure]
106 | | | | | | pushValue (\u1 -> (\u2 -> u1))
107 | | | | | | minReads=(Right 2)
108 | | | | | | mayRaise=[ExceptionFailure]
109 | | | | | | pushValue 'a'
110 | | | | | | minReads=(Right 2)
111 | | | | | | mayRaise=[ExceptionFailure]
112 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
113 | | | | | | minReads=(Right 2)
114 | | | | | | mayRaise=[ExceptionFailure]
115 | | | | | | read ('a' ==)
116 | | | | | | minReads=(Right 2)
117 | | | | | | mayRaise=[ExceptionFailure]
118 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
119 | | | | | | minReads=(Right 1)
120 | | | | | | mayRaise=[ExceptionFailure]
121 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
122 | | | | | | minReads=(Right 1)
123 | | | | | | mayRaise=[ExceptionFailure]
124 | | | | | | pushValue cons
125 | | | | | | minReads=(Right 1)
126 | | | | | | mayRaise=[ExceptionFailure]
127 | | | | | | pushValue (\u1 -> (\u2 -> u1))
128 | | | | | | minReads=(Right 1)
129 | | | | | | mayRaise=[ExceptionFailure]
130 | | | | | | pushValue 'b'
131 | | | | | | minReads=(Right 1)
132 | | | | | | mayRaise=[ExceptionFailure]
133 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
134 | | | | | | minReads=(Right 1)
135 | | | | | | mayRaise=[ExceptionFailure]
136 | | | | | | read ('b' ==)
137 | | | | | | minReads=(Right 1)
138 | | | | | | mayRaise=[ExceptionFailure]
139 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
140 | | | | | | minReads=(Right 0)
141 | | | | | | mayRaise=[]
142 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
143 | | | | | | minReads=(Right 0)
144 | | | | | | mayRaise=[]
145 | | | | | | pushValue Term
146 | | | | | | minReads=(Right 0)
147 | | | | | | mayRaise=[]
148 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
149 | | | | | | minReads=(Right 0)
150 | | | | | | mayRaise=[]
151 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
152 | | | | | | minReads=(Right 0)
153 | | | | | | mayRaise=[]
154 | | | | | | commit ExceptionFailure
155 | | | | | | minReads=(Right 0)
156 | | | | | | mayRaise=[]
157 | | | | | | refJoin <hidden>
158 | | | | | | minReads=(Right 0)
159 | | | | | | mayRaise=[]
160 | | | | | <ko>
161 | | | | | | loadInput
162 | | | | | | minReads=(Left ExceptionFailure)
163 | | | | | | mayRaise=[ExceptionFailure]
164 | | | | | | fail fromList []
165 | | | | | | minReads=(Left ExceptionFailure)
166 | | | | | | mayRaise=[ExceptionFailure]
167 | | | <default>
168 | | | | fail fromList []
169 | | | | minReads=(Left ExceptionFailure)
170 | | | | mayRaise=[ExceptionFailure]