]> Git — Sourcephile - haskell/symantic-parser.git/blob - test/Golden/Machine/G15.expected.txt
machine: fix factorize out raiseException
[haskell/symantic-parser.git] / test / Golden / Machine / G15.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=[ExceptionFailure]
10 | lift2Value (\u1 -> (\u2 -> u1 u2))
11 | minReads=(Right 1)
12 | mayRaise=[ExceptionFailure]
13 | pushValue (\u1 -> (\u2 -> u1))
14 | minReads=(Right 1)
15 | mayRaise=[ExceptionFailure]
16 | pushValue 'c'
17 | minReads=(Right 1)
18 | mayRaise=[ExceptionFailure]
19 | lift2Value (\u1 -> (\u2 -> u1 u2))
20 | minReads=(Right 1)
21 | mayRaise=[ExceptionFailure]
22 | read ('c' ==)
23 | minReads=(Right 1)
24 | mayRaise=[ExceptionFailure]
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 catch ExceptionFailure
38 minReads=(Right 1)
39 mayRaise=[]
40 | <ok>
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 | | commit ExceptionFailure
57 | | minReads=(Right 0)
58 | | mayRaise=[]
59 | | refJoin <hidden>
60 | | minReads=(Right 0)
61 | | mayRaise=[]
62 | <ko>
63 | | pushInput
64 | | minReads=(Right 1)
65 | | mayRaise=[ExceptionFailure]
66 | | lift2Value Term
67 | | minReads=(Right 1)
68 | | mayRaise=[ExceptionFailure]
69 | | choicesBranch [(\u1 -> u1)]
70 | | minReads=(Right 1)
71 | | mayRaise=[ExceptionFailure]
72 | | | <branch>
73 | | | | pushValue (\u1 -> (\u2 -> u1))
74 | | | | minReads=(Right 1)
75 | | | | mayRaise=[ExceptionFailure]
76 | | | | pushValue 'b'
77 | | | | minReads=(Right 1)
78 | | | | mayRaise=[ExceptionFailure]
79 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
80 | | | | minReads=(Right 1)
81 | | | | mayRaise=[ExceptionFailure]
82 | | | | read ('b' ==)
83 | | | | minReads=(Right 1)
84 | | | | mayRaise=[ExceptionFailure]
85 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
86 | | | | minReads=(Right 0)
87 | | | | mayRaise=[]
88 | | | | refJoin <hidden>
89 | | | | minReads=(Right 0)
90 | | | | mayRaise=[]
91 | | | <default>
92 | | | | fail fromList []
93 | | | | minReads=(Left ExceptionFailure)
94 | | | | mayRaise=[ExceptionFailure]