]> Git — Sourcephile - haskell/symantic-parser.git/blob - test/Golden/Machine/G16.expected.txt
rename Symantic.{Univariant => Typed}
[haskell/symantic-parser.git] / test / Golden / Machine / G16.expected.txt
1 pushValue (GHC.Show.show)
2 minReads=(Right 2)
3 mayRaise=[ExceptionFailure]
4 pushValue (\x_0 -> \x_1 -> x_0)
5 minReads=(Right 2)
6 mayRaise=[ExceptionFailure]
7 join <hidden>
8 minReads=(Right 1)
9 mayRaise=[ExceptionFailure]
10 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
11 | minReads=(Right 1)
12 | mayRaise=[ExceptionFailure]
13 | pushValue (\x_0 -> \x_1 -> x_0)
14 | minReads=(Right 1)
15 | mayRaise=[ExceptionFailure]
16 | pushValue ('d')
17 | minReads=(Right 1)
18 | mayRaise=[ExceptionFailure]
19 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
20 | minReads=(Right 1)
21 | mayRaise=[ExceptionFailure]
22 | read ((GHC.Classes.==) 'd')
23 | minReads=(Right 1)
24 | mayRaise=[ExceptionFailure]
25 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
26 | minReads=(Right 0)
27 | mayRaise=[]
28 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
29 | minReads=(Right 0)
30 | mayRaise=[]
31 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
32 | minReads=(Right 0)
33 | mayRaise=[]
34 | ret
35 | minReads=(Right 0)
36 | mayRaise=[]
37 catch ExceptionFailure
38 minReads=(Right 1)
39 mayRaise=[ExceptionFailure]
40 | <ok>
41 | | join <hidden>
42 | | minReads=(Right 1)
43 | | mayRaise=[ExceptionFailure]
44 | | | commit ExceptionFailure
45 | | | minReads=(Right 0)
46 | | | mayRaise=[]
47 | | | refJoin <hidden>
48 | | | minReads=(Right 0)
49 | | | mayRaise=[]
50 | | catch ExceptionFailure
51 | | minReads=(Right 1)
52 | | mayRaise=[ExceptionFailure]
53 | | | <ok>
54 | | | | pushValue (\x_0 -> \x_1 -> x_0)
55 | | | | minReads=(Right 1)
56 | | | | mayRaise=[ExceptionFailure]
57 | | | | pushValue ('a')
58 | | | | minReads=(Right 1)
59 | | | | mayRaise=[ExceptionFailure]
60 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
61 | | | | minReads=(Right 1)
62 | | | | mayRaise=[ExceptionFailure]
63 | | | | read ((GHC.Classes.==) 'a')
64 | | | | minReads=(Right 1)
65 | | | | mayRaise=[ExceptionFailure]
66 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
67 | | | | minReads=(Right 0)
68 | | | | mayRaise=[]
69 | | | | commit ExceptionFailure
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=[ExceptionFailure]
79 | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
80 | | | | j_1
81 | | | | _) -> i_0 GHC.Classes.== j_1)
82 | | | | minReads=(Right 1)
83 | | | | mayRaise=[ExceptionFailure]
84 | | | | choicesBranch [(\x_0 -> x_0)]
85 | | | | minReads=(Right 1)
86 | | | | mayRaise=[ExceptionFailure]
87 | | | | | <branch>
88 | | | | | | pushValue (\x_0 -> \x_1 -> x_0)
89 | | | | | | minReads=(Right 1)
90 | | | | | | mayRaise=[ExceptionFailure]
91 | | | | | | pushValue ('b')
92 | | | | | | minReads=(Right 1)
93 | | | | | | mayRaise=[ExceptionFailure]
94 | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
95 | | | | | | minReads=(Right 1)
96 | | | | | | mayRaise=[ExceptionFailure]
97 | | | | | | read ((GHC.Classes.==) 'b')
98 | | | | | | minReads=(Right 1)
99 | | | | | | mayRaise=[ExceptionFailure]
100 | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
101 | | | | | | minReads=(Right 0)
102 | | | | | | mayRaise=[]
103 | | | | | | refJoin <hidden>
104 | | | | | | minReads=(Right 0)
105 | | | | | | mayRaise=[]
106 | | | | | <default>
107 | | | | | | fail []
108 | | | | | | minReads=(Left ExceptionFailure)
109 | | | | | | mayRaise=[ExceptionFailure]
110 | <ko>
111 | | pushInput
112 | | minReads=(Right 1)
113 | | mayRaise=[ExceptionFailure]
114 | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
115 | | j_1
116 | | _) -> i_0 GHC.Classes.== j_1)
117 | | minReads=(Right 1)
118 | | mayRaise=[ExceptionFailure]
119 | | choicesBranch [(\x_0 -> x_0)]
120 | | minReads=(Right 1)
121 | | mayRaise=[ExceptionFailure]
122 | | | <branch>
123 | | | | pushValue (\x_0 -> \x_1 -> x_0)
124 | | | | minReads=(Right 1)
125 | | | | mayRaise=[ExceptionFailure]
126 | | | | pushValue ('c')
127 | | | | minReads=(Right 1)
128 | | | | mayRaise=[ExceptionFailure]
129 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
130 | | | | minReads=(Right 1)
131 | | | | mayRaise=[ExceptionFailure]
132 | | | | read ((GHC.Classes.==) 'c')
133 | | | | minReads=(Right 1)
134 | | | | mayRaise=[ExceptionFailure]
135 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
136 | | | | minReads=(Right 0)
137 | | | | mayRaise=[]
138 | | | | refJoin <hidden>
139 | | | | minReads=(Right 0)
140 | | | | mayRaise=[]
141 | | | <default>
142 | | | | fail []
143 | | | | minReads=(Left ExceptionFailure)
144 | | | | mayRaise=[ExceptionFailure]