machine: add another joinNext optimization when Jump is next
[haskell/symantic-parser.git] / test / Golden / Machine / G8.expected.txt
index 499c6669990fd1b87805a04ee9443791113cabe0..039f78cd8a90b4f4be631229b81165cbf0f9cb8c 100644 (file)
-pushValue (\u1 -> (\u2 -> u1 Term))
-<hidden>:
-| catchException "fail"
-|   <try>
-|   | pushValue (\u1 -> (\u2 -> (\u3 -> 'r' : u2 u3)))
-|   | read ('r' ==)
-|   | lift2Value (\u1 -> (\u2 -> u1 u2))
-|   | call <hidden>
-|   | lift2Value (\u1 -> (\u2 -> u1 u2))
-|   | popException "fail"
-|   | ret
-|   <handler>
-|     pushInput
-|     lift2Value Term
-|     choicesBranch [(\u1 -> u1)]
-|       <branch>
-|       | pushValue (\u1 -> u1)
-|       | ret
-|       <default>
-|         raiseException "fail"
+let <hidden>
+  minReads=(Right 0)
+  mayRaise=[ExceptionFailure]
+| catch ExceptionFailure
+|   minReads=(Right 0)
+|   mayRaise=[ExceptionFailure]
+| | <ok>
+| | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2))
+| | |   minReads=(Right 1)
+| | |   mayRaise=[ExceptionFailure]
+| | | pushValue ((GHC.Types.:))
+| | |   minReads=(Right 1)
+| | |   mayRaise=[ExceptionFailure]
+| | | pushValue (\x_0 -> \x_1 -> x_0)
+| | |   minReads=(Right 1)
+| | |   mayRaise=[ExceptionFailure]
+| | | pushValue ('r')
+| | |   minReads=(Right 1)
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | |   minReads=(Right 1)
+| | |   mayRaise=[ExceptionFailure]
+| | | read ((GHC.Classes.==) 'r')
+| | |   minReads=(Right 1)
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | |   minReads=(Right 0)
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | |   minReads=(Right 0)
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | |   minReads=(Right 0)
+| | |   mayRaise=[ExceptionFailure]
+| | | call <hidden>
+| | |   minReads=(Right 0)
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | |   minReads=(Right 0)
+| | |   mayRaise=[]
+| | | commit ExceptionFailure
+| | |   minReads=(Right 0)
+| | |   mayRaise=[]
+| | | ret
+| | |   minReads=(Right 0)
+| | |   mayRaise=[]
+| | <ko>
+| | | pushInput
+| | |   minReads=(Right 0)
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
+| | |                                                               j_1
+| | |                                                               _) -> i_0 GHC.Classes.== j_1)
+| | |   minReads=(Right 0)
+| | |   mayRaise=[ExceptionFailure]
+| | | choicesBranch [(\x_0 -> x_0)]
+| | |   minReads=(Right 0)
+| | |   mayRaise=[ExceptionFailure]
+| | | | <branch>
+| | | | | pushValue (\x_0 -> x_0)
+| | | | |   minReads=(Right 0)
+| | | | |   mayRaise=[]
+| | | | | ret
+| | | | |   minReads=(Right 0)
+| | | | |   mayRaise=[]
+| | | | <default>
+| | | | | fail []
+| | | | |   minReads=(Left ExceptionFailure)
+| | | | |   mayRaise=[ExceptionFailure]
+pushValue (GHC.Show.show)
+  minReads=(Right 0)
+  mayRaise=[ExceptionFailure]
+pushValue (\x_0 -> \x_1 -> x_0)
+  minReads=(Right 0)
+  mayRaise=[ExceptionFailure]
 call <hidden>
-lift2Value (\u1 -> (\u2 -> u1 u2))
-<hidden>:
-| lift2Value (\u1 -> (\u2 -> u1 u2))
+  minReads=(Right 0)
+  mayRaise=[ExceptionFailure]
+pushValue (GHC.Types.[])
+  minReads=(Right 0)
+  mayRaise=[ExceptionFailure]
+lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+  minReads=(Right 0)
+  mayRaise=[ExceptionFailure]
+lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+  minReads=(Right 0)
+  mayRaise=[ExceptionFailure]
+join <hidden>
+  minReads=(Right 0)
+  mayRaise=[]
+| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+|   minReads=(Right 0)
+|   mayRaise=[]
+| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+|   minReads=(Right 0)
+|   mayRaise=[]
 | ret
-catchException "fail"
-  <try>
-  | catchException "fail"
-  |   <try>
-  |   | pushInput
-  |   | read (\u1 -> Term)
-  |   | popValue
-  |   | popException "fail"
-  |   | loadInput
-  |   | raiseException "fail"
-  |   <handler>
-  |     loadInput
-  |     pushValue Term
-  |     popException "fail"
-  |     refJoin <hidden>
-  <handler>
-    pushInput
-    lift2Value Term
-    choicesBranch [(\u1 -> u1)]
-      <branch>
-      | raiseException "fail"
-      <default>
-        raiseException "fail"
+|   minReads=(Right 0)
+|   mayRaise=[]
+catch ExceptionFailure
+  minReads=(Right 0)
+  mayRaise=[ExceptionFailure]
+| <ok>
+| | catch ExceptionFailure
+| |   minReads=(Right 0)
+| |   mayRaise=[]
+| | | <ok>
+| | | | pushInput
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]
+| | | | read (\x_0 -> GHC.Types.True)
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]
+| | | | popValue
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]
+| | | | commit ExceptionFailure
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]
+| | | | loadInput
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]
+| | | | fail []
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]
+| | | <ko>
+| | | | loadInput
+| | | |   minReads=(Right 0)
+| | | |   mayRaise=[]
+| | | | pushValue (GHC.Tuple.())
+| | | |   minReads=(Right 0)
+| | | |   mayRaise=[]
+| | | | commit ExceptionFailure
+| | | |   minReads=(Right 0)
+| | | |   mayRaise=[]
+| | | | refJoin <hidden>
+| | | |   minReads=(Right 0)
+| | | |   mayRaise=[]
+| <ko>
+| | pushInput
+| |   minReads=(Left ExceptionFailure)
+| |   mayRaise=[ExceptionFailure]
+| | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
+| |                                                               j_1
+| |                                                               _) -> i_0 GHC.Classes.== j_1)
+| |   minReads=(Left ExceptionFailure)
+| |   mayRaise=[ExceptionFailure]
+| | choicesBranch [(\x_0 -> x_0)]
+| |   minReads=(Left ExceptionFailure)
+| |   mayRaise=[ExceptionFailure]
+| | | <branch>
+| | | | fail [FailureEnd]
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]
+| | | <default>
+| | | | fail []
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]