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