add benchmarks
[haskell/symantic-parser.git] / test / Golden / Machine / G9.expected.txt
index e321a20cb64e5ceaa02498f948ebfc472814c09a..fbf05fc13c9e4600a47ea1f7e0f6024e725a74c0 100644 (file)
@@ -1,6 +1,6 @@
 pushValue Term
   minReads=(Right 0)
-  mayRaise=[]
+  mayRaise=[ExceptionFailure]
 join <hidden>
   minReads=(Right 0)
   mayRaise=[]
@@ -10,32 +10,32 @@ join <hidden>
 | ret
 |   minReads=(Right 0)
 |   mayRaise=[]
-catchException "fail"
+catch ExceptionFailure
   minReads=(Right 0)
-  mayRaise=[]
+  mayRaise=[ExceptionFailure]
 | <ok>
-| | catchException "fail"
+| | catch ExceptionFailure
 | |   minReads=(Right 0)
 | |   mayRaise=[]
 | | | <ok>
 | | | | pushInput
-| | | |   minReads=(Left "fail")
-| | | |   mayRaise=["fail"]
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]
 | | | | read (\u1 -> Term)
-| | | |   minReads=(Left "fail")
-| | | |   mayRaise=["fail"]
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]
 | | | | popValue
-| | | |   minReads=(Left "fail")
-| | | |   mayRaise=["fail"]
-| | | | popException "fail"
-| | | |   minReads=(Left "fail")
-| | | |   mayRaise=["fail"]
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]
+| | | | commit ExceptionFailure
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]
 | | | | loadInput
-| | | |   minReads=(Left "fail")
-| | | |   mayRaise=["fail"]
-| | | | raiseException "fail"
-| | | |   minReads=(Left "fail")
-| | | |   mayRaise=["fail"]
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]
+| | | | fail []
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]
 | | | <ko>
 | | | | loadInput
 | | | |   minReads=(Right 0)
@@ -43,7 +43,7 @@ catchException "fail"
 | | | | pushValue Term
 | | | |   minReads=(Right 0)
 | | | |   mayRaise=[]
-| | | | popException "fail"
+| | | | commit ExceptionFailure
 | | | |   minReads=(Right 0)
 | | | |   mayRaise=[]
 | | | | refJoin <hidden>
@@ -51,19 +51,19 @@ catchException "fail"
 | | | |   mayRaise=[]
 | <ko>
 | | pushInput
-| |   minReads=(Left "fail")
-| |   mayRaise=["fail"]
+| |   minReads=(Left ExceptionFailure)
+| |   mayRaise=[ExceptionFailure]
 | | lift2Value Term
-| |   minReads=(Left "fail")
-| |   mayRaise=["fail"]
+| |   minReads=(Left ExceptionFailure)
+| |   mayRaise=[ExceptionFailure]
 | | choicesBranch [(\u1 -> u1)]
-| |   minReads=(Left "fail")
-| |   mayRaise=["fail"]
+| |   minReads=(Left ExceptionFailure)
+| |   mayRaise=[ExceptionFailure]
 | | | <branch>
-| | | | raiseException "fail"
-| | | |   minReads=(Left "fail")
-| | | |   mayRaise=["fail"]
+| | | | fail [FailureEnd]
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]
 | | | <default>
-| | | | raiseException "fail"
-| | | |   minReads=(Left "fail")
-| | | |   mayRaise=["fail"]
+| | | | fail []
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]