add benchmarks

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

diff --git a/test/Golden/Machine/G12.expected.txt b/test/Golden/Machine/G12.expected.txt
index 3ab4d491c214f9d77a530cd78e93bf525847714e..2161cb42a837fe6f2b4dd0527f830fa18a6082c7 100644 (file)
--- a/test/Golden/Machine/G12.expected.txt
+++ b/test/Golden/Machine/G12.expected.txt
@@ -1,32 +1,32 @@
 let <hidden>
   minReads=(Right 0)
-  mayRaise=[]
-| catchException "fail"
+  mayRaise=[ExceptionFailure]
+| catch ExceptionFailure
 |   minReads=(Right 0)
-|   mayRaise=[]
+|   mayRaise=[ExceptionFailure]
 | | <ok>
 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 | | |   minReads=(Right 1)
-| | |   mayRaise=["fail"]
+| | |   mayRaise=[ExceptionFailure]
 | | | pushValue cons
 | | |   minReads=(Right 1)
-| | |   mayRaise=["fail"]
+| | |   mayRaise=[ExceptionFailure]
 | | | read Term
 | | |   minReads=(Right 1)
-| | |   mayRaise=["fail"]
+| | |   mayRaise=[ExceptionFailure]
 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 | | |   minReads=(Right 0)
-| | |   mayRaise=[]
+| | |   mayRaise=[ExceptionFailure]
 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 | | |   minReads=(Right 0)
-| | |   mayRaise=[]
+| | |   mayRaise=[ExceptionFailure]
 | | | call <hidden>
 | | |   minReads=(Right 0)
-| | |   mayRaise=[]
+| | |   mayRaise=[ExceptionFailure]
 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 | | |   minReads=(Right 0)
 | | |   mayRaise=[]
-| | | popException "fail"
+| | | commit ExceptionFailure
 | | |   minReads=(Right 0)
 | | |   mayRaise=[]
 | | | ret
@@ -35,13 +35,13 @@ let <hidden>
 | | <ko>
 | | | pushInput
 | | |   minReads=(Right 0)
-| | |   mayRaise=["fail"]
+| | |   mayRaise=[ExceptionFailure]
 | | | lift2Value Term
 | | |   minReads=(Right 0)
-| | |   mayRaise=["fail"]
+| | |   mayRaise=[ExceptionFailure]
 | | | choicesBranch [(\u1 -> u1)]
 | | |   minReads=(Right 0)
-| | |   mayRaise=["fail"]
+| | |   mayRaise=[ExceptionFailure]
 | | | | <branch>
 | | | | | pushValue (\u1 -> u1)
 | | | | |   minReads=(Right 0)
@@ -50,27 +50,27 @@ let <hidden>
 | | | | |   minReads=(Right 0)
 | | | | |   mayRaise=[]
 | | | | <default>
-| | | | | raiseException "fail"
-| | | | |   minReads=(Left "fail")
-| | | | |   mayRaise=["fail"]
+| | | | | fail []
+| | | | |   minReads=(Left ExceptionFailure)
+| | | | |   mayRaise=[ExceptionFailure]
 pushValue Term
   minReads=(Right 0)
-  mayRaise=[]
+  mayRaise=[ExceptionFailure]
 pushValue (\u1 -> (\u2 -> u1))
   minReads=(Right 0)
-  mayRaise=[]
+  mayRaise=[ExceptionFailure]
 call <hidden>
   minReads=(Right 0)
-  mayRaise=[]
+  mayRaise=[ExceptionFailure]
 pushValue Term
   minReads=(Right 0)
-  mayRaise=[]
+  mayRaise=[ExceptionFailure]
 lift2Value (\u1 -> (\u2 -> u1 u2))
   minReads=(Right 0)
-  mayRaise=[]
+  mayRaise=[ExceptionFailure]
 lift2Value (\u1 -> (\u2 -> u1 u2))
   minReads=(Right 0)
-  mayRaise=[]
+  mayRaise=[ExceptionFailure]
 join <hidden>
   minReads=(Right 0)
   mayRaise=[]
@@ -83,32 +83,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)
@@ -116,7 +116,7 @@ catchException "fail"
 | | | | pushValue Term
 | | | |   minReads=(Right 0)
 | | | |   mayRaise=[]
-| | | | popException "fail"
+| | | | commit ExceptionFailure
 | | | |   minReads=(Right 0)
 | | | |   mayRaise=[]
 | | | | refJoin <hidden>
@@ -124,19 +124,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]