machine: fix recursion ending

[haskell/symantic-parser.git] / test / Golden / Machine / G2.expected.txt

diff --git a/test/Golden/Machine/G2.expected.txt b/test/Golden/Machine/G2.expected.txt
index 28a0ccc83453eeaa01c497f8784843f465d15409..ae7e89a36500b8657777f25d188208170bde2049 100644 (file)
--- a/test/Golden/Machine/G2.expected.txt
+++ b/test/Golden/Machine/G2.expected.txt
@@ -1,14 +1,44 @@
-catchException "fail"
-  <try>
-  | pushValue (\u1 -> (\u2 -> (\u3 -> 'a' : ('b' : ('c' : Term)))))
-  | read ('a' ==)
-  | lift2Value (\u1 -> (\u2 -> u1 u2))
-  | read ('b' ==)
-  | lift2Value (\u1 -> (\u2 -> u1 u2))
-  | read ('c' ==)
-  | lift2Value (\u1 -> (\u2 -> u1 u2))
-  | popException "fail"
-  | ret
-  <handler>
-    loadInput
-    raiseException "fail"
+pushValue GHC.Show.show
+  minReads=(Right 3)
+  mayRaise=[ExceptionFailure]
+catch ExceptionFailure
+  minReads=(Right 3)
+  mayRaise=[ExceptionFailure]
+| <ok>
+| | pushValue (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' GHC.Types.[])))
+| |   minReads=(Right 3)
+| |   mayRaise=[ExceptionFailure]
+| | read ((GHC.Classes.==) 'a')
+| |   minReads=(Right 3)
+| |   mayRaise=[ExceptionFailure]
+| | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| |   minReads=(Right 2)
+| |   mayRaise=[ExceptionFailure]
+| | read ((GHC.Classes.==) 'b')
+| |   minReads=(Right 2)
+| |   mayRaise=[ExceptionFailure]
+| | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| |   minReads=(Right 1)
+| |   mayRaise=[ExceptionFailure]
+| | read ((GHC.Classes.==) 'c')
+| |   minReads=(Right 1)
+| |   mayRaise=[ExceptionFailure]
+| | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| |   minReads=(Right 0)
+| |   mayRaise=[]
+| | commit ExceptionFailure
+| |   minReads=(Right 0)
+| |   mayRaise=[]
+| | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| |   minReads=(Right 0)
+| |   mayRaise=[]
+| | ret
+| |   minReads=(Right 0)
+| |   mayRaise=[]
+| <ko>
+| | loadInput
+| |   minReads=(Left ExceptionFailure)
+| |   mayRaise=[ExceptionFailure]
+| | fail []
+| |   minReads=(Left ExceptionFailure)
+| |   mayRaise=[ExceptionFailure]