]> Git — Sourcephile - haskell/symantic-parser.git/blob - test/Golden/Machine/G6.expected.txt
machine: fix factorize out raiseException
[haskell/symantic-parser.git] / test / Golden / Machine / G6.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 | | pushValue cons
18 | | minReads=(Right 2)
19 | | mayRaise=[ExceptionFailure]
20 | | pushValue (\u1 -> (\u2 -> u1))
21 | | minReads=(Right 2)
22 | | mayRaise=[ExceptionFailure]
23 | | pushValue 'a'
24 | | minReads=(Right 2)
25 | | mayRaise=[ExceptionFailure]
26 | | lift2Value (\u1 -> (\u2 -> u1 u2))
27 | | minReads=(Right 2)
28 | | mayRaise=[ExceptionFailure]
29 | | read ('a' ==)
30 | | minReads=(Right 2)
31 | | mayRaise=[ExceptionFailure]
32 | | lift2Value (\u1 -> (\u2 -> u1 u2))
33 | | minReads=(Right 1)
34 | | mayRaise=[ExceptionFailure]
35 | | lift2Value (\u1 -> (\u2 -> u1 u2))
36 | | minReads=(Right 1)
37 | | mayRaise=[ExceptionFailure]
38 | | pushValue cons
39 | | minReads=(Right 1)
40 | | mayRaise=[ExceptionFailure]
41 | | pushValue (\u1 -> (\u2 -> u1))
42 | | minReads=(Right 1)
43 | | mayRaise=[ExceptionFailure]
44 | | pushValue 'a'
45 | | minReads=(Right 1)
46 | | mayRaise=[ExceptionFailure]
47 | | lift2Value (\u1 -> (\u2 -> u1 u2))
48 | | minReads=(Right 1)
49 | | mayRaise=[ExceptionFailure]
50 | | read ('a' ==)
51 | | minReads=(Right 1)
52 | | mayRaise=[ExceptionFailure]
53 | | lift2Value (\u1 -> (\u2 -> u1 u2))
54 | | minReads=(Right 0)
55 | | mayRaise=[]
56 | | lift2Value (\u1 -> (\u2 -> u1 u2))
57 | | minReads=(Right 0)
58 | | mayRaise=[]
59 | | pushValue Term
60 | | minReads=(Right 0)
61 | | mayRaise=[]
62 | | lift2Value (\u1 -> (\u2 -> u1 u2))
63 | | minReads=(Right 0)
64 | | mayRaise=[]
65 | | lift2Value (\u1 -> (\u2 -> u1 u2))
66 | | minReads=(Right 0)
67 | | mayRaise=[]
68 | | commit ExceptionFailure
69 | | minReads=(Right 0)
70 | | mayRaise=[]
71 | | refJoin <hidden>
72 | | minReads=(Right 0)
73 | | mayRaise=[]
74 | <ko>
75 | | pushInput
76 | | minReads=(Right 2)
77 | | mayRaise=[ExceptionFailure]
78 | | lift2Value Term
79 | | minReads=(Right 2)
80 | | mayRaise=[ExceptionFailure]
81 | | choicesBranch [(\u1 -> u1)]
82 | | minReads=(Right 2)
83 | | mayRaise=[ExceptionFailure]
84 | | | <branch>
85 | | | | pushValue cons
86 | | | | minReads=(Right 2)
87 | | | | mayRaise=[ExceptionFailure]
88 | | | | pushValue (\u1 -> (\u2 -> u1))
89 | | | | minReads=(Right 2)
90 | | | | mayRaise=[ExceptionFailure]
91 | | | | pushValue 'a'
92 | | | | minReads=(Right 2)
93 | | | | mayRaise=[ExceptionFailure]
94 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
95 | | | | minReads=(Right 2)
96 | | | | mayRaise=[ExceptionFailure]
97 | | | | read ('a' ==)
98 | | | | minReads=(Right 2)
99 | | | | mayRaise=[ExceptionFailure]
100 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
101 | | | | minReads=(Right 1)
102 | | | | mayRaise=[ExceptionFailure]
103 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
104 | | | | minReads=(Right 1)
105 | | | | mayRaise=[ExceptionFailure]
106 | | | | pushValue cons
107 | | | | minReads=(Right 1)
108 | | | | mayRaise=[ExceptionFailure]
109 | | | | pushValue (\u1 -> (\u2 -> u1))
110 | | | | minReads=(Right 1)
111 | | | | mayRaise=[ExceptionFailure]
112 | | | | pushValue 'b'
113 | | | | minReads=(Right 1)
114 | | | | mayRaise=[ExceptionFailure]
115 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
116 | | | | minReads=(Right 1)
117 | | | | mayRaise=[ExceptionFailure]
118 | | | | read ('b' ==)
119 | | | | minReads=(Right 1)
120 | | | | mayRaise=[ExceptionFailure]
121 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
122 | | | | minReads=(Right 0)
123 | | | | mayRaise=[]
124 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
125 | | | | minReads=(Right 0)
126 | | | | mayRaise=[]
127 | | | | pushValue Term
128 | | | | minReads=(Right 0)
129 | | | | mayRaise=[]
130 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
131 | | | | minReads=(Right 0)
132 | | | | mayRaise=[]
133 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
134 | | | | minReads=(Right 0)
135 | | | | mayRaise=[]
136 | | | | refJoin <hidden>
137 | | | | minReads=(Right 0)
138 | | | | mayRaise=[]
139 | | | <default>
140 | | | | fail fromList []
141 | | | | minReads=(Left ExceptionFailure)
142 | | | | mayRaise=[ExceptionFailure]