]> Git — Sourcephile - haskell/symantic-parser.git/blob - test/Golden/Machine/G10.expected.txt
machine: fix factorize out raiseException
[haskell/symantic-parser.git] / test / Golden / Machine / G10.expected.txt
1 pushValue Term
2 minReads=(Right 1)
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 1)
15 mayRaise=[]
16 | <ok>
17 | | pushValue (\u1 -> (\u2 -> u1))
18 | | minReads=(Right 1)
19 | | mayRaise=[ExceptionFailure]
20 | | pushValue 'a'
21 | | minReads=(Right 1)
22 | | mayRaise=[ExceptionFailure]
23 | | lift2Value (\u1 -> (\u2 -> u1 u2))
24 | | minReads=(Right 1)
25 | | mayRaise=[ExceptionFailure]
26 | | read ('a' ==)
27 | | minReads=(Right 1)
28 | | mayRaise=[ExceptionFailure]
29 | | lift2Value (\u1 -> (\u2 -> u1 u2))
30 | | minReads=(Right 0)
31 | | mayRaise=[]
32 | | commit ExceptionFailure
33 | | minReads=(Right 0)
34 | | mayRaise=[]
35 | | refJoin <hidden>
36 | | minReads=(Right 0)
37 | | mayRaise=[]
38 | <ko>
39 | | pushInput
40 | | minReads=(Right 1)
41 | | mayRaise=[ExceptionFailure]
42 | | lift2Value Term
43 | | minReads=(Right 1)
44 | | mayRaise=[ExceptionFailure]
45 | | choicesBranch [(\u1 -> u1)]
46 | | minReads=(Right 1)
47 | | mayRaise=[ExceptionFailure]
48 | | | <branch>
49 | | | | pushValue (\u1 -> (\u2 -> u1))
50 | | | | minReads=(Right 1)
51 | | | | mayRaise=[ExceptionFailure]
52 | | | | pushValue 'b'
53 | | | | minReads=(Right 1)
54 | | | | mayRaise=[ExceptionFailure]
55 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
56 | | | | minReads=(Right 1)
57 | | | | mayRaise=[ExceptionFailure]
58 | | | | read ('b' ==)
59 | | | | minReads=(Right 1)
60 | | | | mayRaise=[ExceptionFailure]
61 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
62 | | | | minReads=(Right 0)
63 | | | | mayRaise=[]
64 | | | | refJoin <hidden>
65 | | | | minReads=(Right 0)
66 | | | | mayRaise=[]
67 | | | <default>
68 | | | | fail fromList []
69 | | | | minReads=(Left ExceptionFailure)
70 | | | | mayRaise=[ExceptionFailure]