sourcephile / git / haskell / symantic-parser.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
machine: fix recursion ending
[haskell/symantic-parser.git] / test / Golden / Machine / G4.expected.txt
diff --git a/test/Golden/Machine/G4.expected.txt b/test/Golden/Machine/G4.expected.txt
index b868bd6fe6f89ef0f5c5d0c325be9822619dec3b..4f46da465426529251aa9c88d1eee26bffde931f 100644 (file)
--- a/test/Golden/Machine/G4.expected.txt
+++ b/test/Golden/Machine/G4.expected.txt
@@ -1,58 +1,3 @@
-let <hidden>
-  minReads=(Right 0)
-  mayRaise=[ExceptionFailure]
-| catch ExceptionFailure
-|   minReads=(Right 0)
-|   mayRaise=[ExceptionFailure]
-| | <ok>
-| | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
-| | |   minReads=(Right 4)
-| | |   mayRaise=[ExceptionFailure]
-| | | pushValue cons
-| | |   minReads=(Right 4)
-| | |   mayRaise=[ExceptionFailure]
-| | | call <hidden>
-| | |   minReads=(Right 4)
-| | |   mayRaise=[ExceptionFailure]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | |   minReads=(Right 0)
-| | |   mayRaise=[ExceptionFailure]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | |   minReads=(Right 0)
-| | |   mayRaise=[ExceptionFailure]
-| | | call <hidden>
-| | |   minReads=(Right 0)
-| | |   mayRaise=[ExceptionFailure]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | |   minReads=(Right 0)
-| | |   mayRaise=[]
-| | | commit ExceptionFailure
-| | |   minReads=(Right 0)
-| | |   mayRaise=[]
-| | | ret
-| | |   minReads=(Right 0)
-| | |   mayRaise=[]
-| | <ko>
-| | | pushInput
-| | |   minReads=(Right 0)
-| | |   mayRaise=[ExceptionFailure]
-| | | lift2Value Term
-| | |   minReads=(Right 0)
-| | |   mayRaise=[ExceptionFailure]
-| | | choicesBranch [(\u1 -> u1)]
-| | |   minReads=(Right 0)
-| | |   mayRaise=[ExceptionFailure]
-| | | | <branch>
-| | | | | pushValue (\u1 -> u1)
-| | | | |   minReads=(Right 0)
-| | | | |   mayRaise=[]
-| | | | | ret
-| | | | |   minReads=(Right 0)
-| | | | |   mayRaise=[]
-| | | | <default>
-| | | | | fail []
-| | | | |   minReads=(Left ExceptionFailure)
-| | | | |   mayRaise=[ExceptionFailure]
 let <hidden>
   minReads=(Right 4)
   mayRaise=[ExceptionFailure]
@@ -60,103 +5,31 @@ let <hidden>
 |   minReads=(Right 4)
 |   mayRaise=[ExceptionFailure]
 | | <ok>
-| | | pushValue cons
-| | |   minReads=(Right 4)
-| | |   mayRaise=[ExceptionFailure]
-| | | pushValue (\u1 -> (\u2 -> u1))
-| | |   minReads=(Right 4)
-| | |   mayRaise=[ExceptionFailure]
-| | | pushValue 'a'
+| | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' ((GHC.Types.:) 'd' GHC.Types.[]))))
 | | |   minReads=(Right 4)
 | | |   mayRaise=[ExceptionFailure]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | read ((GHC.Classes.==) 'a')
 | | |   minReads=(Right 4)
 | | |   mayRaise=[ExceptionFailure]
-| | | read ('a' ==)
-| | |   minReads=(Right 4)
-| | |   mayRaise=[ExceptionFailure]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | |   minReads=(Right 3)
-| | |   mayRaise=[ExceptionFailure]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | |   minReads=(Right 3)
-| | |   mayRaise=[ExceptionFailure]
-| | | pushValue cons
-| | |   minReads=(Right 3)
-| | |   mayRaise=[ExceptionFailure]
-| | | pushValue (\u1 -> (\u2 -> u1))
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 3)
 | | |   mayRaise=[ExceptionFailure]
-| | | pushValue 'b'
+| | | read ((GHC.Classes.==) 'b')
 | | |   minReads=(Right 3)
 | | |   mayRaise=[ExceptionFailure]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | |   minReads=(Right 3)
-| | |   mayRaise=[ExceptionFailure]
-| | | read ('b' ==)
-| | |   minReads=(Right 3)
-| | |   mayRaise=[ExceptionFailure]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | |   minReads=(Right 2)
-| | |   mayRaise=[ExceptionFailure]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | |   minReads=(Right 2)
-| | |   mayRaise=[ExceptionFailure]
-| | | pushValue cons
-| | |   minReads=(Right 2)
-| | |   mayRaise=[ExceptionFailure]
-| | | pushValue (\u1 -> (\u2 -> u1))
-| | |   minReads=(Right 2)
-| | |   mayRaise=[ExceptionFailure]
-| | | pushValue 'c'
-| | |   minReads=(Right 2)
-| | |   mayRaise=[ExceptionFailure]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 2)
 | | |   mayRaise=[ExceptionFailure]
-| | | read ('c' ==)
+| | | read ((GHC.Classes.==) 'c')
 | | |   minReads=(Right 2)
 | | |   mayRaise=[ExceptionFailure]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | |   minReads=(Right 1)
-| | |   mayRaise=[ExceptionFailure]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | |   minReads=(Right 1)
-| | |   mayRaise=[ExceptionFailure]
-| | | pushValue cons
-| | |   minReads=(Right 1)
-| | |   mayRaise=[ExceptionFailure]
-| | | pushValue (\u1 -> (\u2 -> u1))
-| | |   minReads=(Right 1)
-| | |   mayRaise=[ExceptionFailure]
-| | | pushValue 'd'
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 1)
 | | |   mayRaise=[ExceptionFailure]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | read ((GHC.Classes.==) 'd')
 | | |   minReads=(Right 1)
 | | |   mayRaise=[ExceptionFailure]
-| | | read ('d' ==)
-| | |   minReads=(Right 1)
-| | |   mayRaise=[ExceptionFailure]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | |   minReads=(Right 0)
-| | |   mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | |   minReads=(Right 0)
-| | |   mayRaise=[]
-| | | pushValue Term
-| | |   minReads=(Right 0)
-| | |   mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | |   minReads=(Right 0)
-| | |   mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | |   minReads=(Right 0)
-| | |   mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
-| | |   minReads=(Right 0)
-| | |   mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 0)
 | | |   mayRaise=[]
 | | | commit ExceptionFailure
@@ -172,33 +45,81 @@ let <hidden>
 | | | fail []
 | | |   minReads=(Left ExceptionFailure)
 | | |   mayRaise=[ExceptionFailure]
-pushValue Term
-  minReads=(Right 4)
-  mayRaise=[ExceptionFailure]
-pushValue cons
+pushValue (\x_0 -> \x_1 -> GHC.Show.show ((GHC.Types.:) x_0 x_1))
   minReads=(Right 4)
   mayRaise=[ExceptionFailure]
 call <hidden>
   minReads=(Right 4)
   mayRaise=[ExceptionFailure]
-lift2Value (\u1 -> (\u2 -> u1 u2))
+lift2Value (\x_0 -> \x_1 -> x_0 x_1)
   minReads=(Right 0)
   mayRaise=[ExceptionFailure]
-call <hidden>
+pushValue (\x_0 -> x_0)
   minReads=(Right 0)
   mayRaise=[ExceptionFailure]
-pushValue Term
+newRegister <hidden>
   minReads=(Right 0)
-  mayRaise=[]
-lift2Value (\u1 -> (\u2 -> u1 u2))
-  minReads=(Right 0)
-  mayRaise=[]
-lift2Value (\u1 -> (\u2 -> u1 u2))
-  minReads=(Right 0)
-  mayRaise=[]
-lift2Value (\u1 -> (\u2 -> u1 u2))
-  minReads=(Right 0)
-  mayRaise=[]
-ret
+  mayRaise=[ExceptionFailure]
+iter <hidden>
   minReads=(Right 0)
-  mayRaise=[]
+  mayRaise=[ExceptionFailure]
+| <ok>
+| | pushValue (GHC.Types.:)
+| |   minReads=(Right 0)
+| |   mayRaise=[]
+| | call <hidden>
+| |   minReads=(Right 0)
+| |   mayRaise=[]
+| | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| |   minReads=(Right 8)
+| |   mayRaise=[ExceptionFailure]
+| | pushValue ((\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> \x_5 -> x_3 (x_4 x_5)))
+| |   minReads=(Right 8)
+| |   mayRaise=[ExceptionFailure]
+| | lift2Value ((\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4))
+| |   minReads=(Right 8)
+| |   mayRaise=[ExceptionFailure]
+| | readRegister <hidden>
+| |   minReads=(Right 8)
+| |   mayRaise=[ExceptionFailure]
+| | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| |   minReads=(Right 8)
+| |   mayRaise=[ExceptionFailure]
+| | writeRegister <hidden>
+| |   minReads=(Right 8)
+| |   mayRaise=[ExceptionFailure]
+| | jump <hidden>
+| |   minReads=(Right 8)
+| |   mayRaise=[ExceptionFailure]
+| <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
+| |   minReads=(Right 0)
+| |   mayRaise=[ExceptionFailure]
+| | | <branch (\x_0 -> x_0)>
+| | | | readRegister <hidden>
+| | | |   minReads=(Right 0)
+| | | |   mayRaise=[]
+| | | | pushValue GHC.Types.[]
+| | | |   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
+| | | |   minReads=(Right 0)
+| | | |   mayRaise=[]
+| | | <default>
+| | | | fail []
+| | | |   minReads=(Left ExceptionFailure)
+| | | |   mayRaise=[ExceptionFailure]
Library for parsing