]> Git — Sourcephile - haskell/symantic-parser.git/blob - test/Golden/Machine/G15.expected.txt
rename Symantic.{Univariant => Typed}
[haskell/symantic-parser.git] / test / Golden / Machine / G15.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 ('c')
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.==) 'c')
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 | | pushValue (\x_0 -> \x_1 -> x_0)
42 | | minReads=(Right 1)
43 | | mayRaise=[ExceptionFailure]
44 | | pushValue ('a')
45 | | minReads=(Right 1)
46 | | mayRaise=[ExceptionFailure]
47 | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
48 | | minReads=(Right 1)
49 | | mayRaise=[ExceptionFailure]
50 | | read ((GHC.Classes.==) 'a')
51 | | minReads=(Right 1)
52 | | mayRaise=[ExceptionFailure]
53 | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
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 (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
67 | | j_1
68 | | _) -> i_0 GHC.Classes.== j_1)
69 | | minReads=(Right 1)
70 | | mayRaise=[ExceptionFailure]
71 | | choicesBranch [(\x_0 -> x_0)]
72 | | minReads=(Right 1)
73 | | mayRaise=[ExceptionFailure]
74 | | | <branch>
75 | | | | pushValue (\x_0 -> \x_1 -> x_0)
76 | | | | minReads=(Right 1)
77 | | | | mayRaise=[ExceptionFailure]
78 | | | | pushValue ('b')
79 | | | | minReads=(Right 1)
80 | | | | mayRaise=[ExceptionFailure]
81 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
82 | | | | minReads=(Right 1)
83 | | | | mayRaise=[ExceptionFailure]
84 | | | | read ((GHC.Classes.==) 'b')
85 | | | | minReads=(Right 1)
86 | | | | mayRaise=[ExceptionFailure]
87 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
88 | | | | minReads=(Right 0)
89 | | | | mayRaise=[]
90 | | | | refJoin <hidden>
91 | | | | minReads=(Right 0)
92 | | | | mayRaise=[]
93 | | | <default>
94 | | | | fail []
95 | | | | minReads=(Left ExceptionFailure)
96 | | | | mayRaise=[ExceptionFailure]