rename Symantic.{Univariant => Typed}
[haskell/symantic-parser.git] / test / Golden / Machine / G4.expected.txt
index 046a9c5d72a671a87c9bd3fc191f0499d55e8da6..3eb12433407989d24a53907cb9ddc8cfe80b9480 100644 (file)
@@ -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))))
+| | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2))
 | | |   minReads=(Right 4)
-| | |   mayRaise=[]
-| | | pushValue cons
+| | |   mayRaise=[ExceptionFailure]
+| | | pushValue ((GHC.Types.:))
 | | |   minReads=(Right 4)
-| | |   mayRaise=[]
+| | |   mayRaise=[ExceptionFailure]
 | | | call <hidden>
 | | |   minReads=(Right 4)
-| | |   mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 0)
-| | |   mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 0)
-| | |   mayRaise=[]
+| | |   mayRaise=[ExceptionFailure]
 | | | call <hidden>
 | | |   minReads=(Right 0)
-| | |   mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 0)
 | | |   mayRaise=[]
-| | | popException "fail"
+| | | commit ExceptionFailure
 | | |   minReads=(Right 0)
 | | |   mayRaise=[]
 | | | ret
@@ -35,131 +35,133 @@ let <hidden>
 | | <ko>
 | | | pushInput
 | | |   minReads=(Right 0)
-| | |   mayRaise=["fail"]
-| | | lift2Value Term
+| | |   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=["fail"]
-| | | choicesBranch [(\u1 -> u1)]
+| | |   mayRaise=[ExceptionFailure]
+| | | choicesBranch [(\x_0 -> x_0)]
 | | |   minReads=(Right 0)
-| | |   mayRaise=["fail"]
+| | |   mayRaise=[ExceptionFailure]
 | | | | <branch>
-| | | | | pushValue (\u1 -> u1)
+| | | | | pushValue (\x_0 -> x_0)
 | | | | |   minReads=(Right 0)
 | | | | |   mayRaise=[]
 | | | | | ret
 | | | | |   minReads=(Right 0)
 | | | | |   mayRaise=[]
 | | | | <default>
-| | | | | raiseException "fail"
-| | | | |   minReads=(Left "fail")
-| | | | |   mayRaise=["fail"]
+| | | | | fail []
+| | | | |   minReads=(Left ExceptionFailure)
+| | | | |   mayRaise=[ExceptionFailure]
 let <hidden>
   minReads=(Right 4)
-  mayRaise=[]
-| catchException "fail"
+  mayRaise=[ExceptionFailure]
+| catch ExceptionFailure
 |   minReads=(Right 4)
-|   mayRaise=[]
+|   mayRaise=[ExceptionFailure]
 | | <ok>
-| | | pushValue cons
+| | | pushValue ((GHC.Types.:))
 | | |   minReads=(Right 4)
-| | |   mayRaise=["fail"]
-| | | pushValue (\u1 -> (\u2 -> u1))
+| | |   mayRaise=[ExceptionFailure]
+| | | pushValue (\x_0 -> \x_1 -> x_0)
 | | |   minReads=(Right 4)
-| | |   mayRaise=["fail"]
-| | | pushValue 'a'
+| | |   mayRaise=[ExceptionFailure]
+| | | pushValue ('a')
 | | |   minReads=(Right 4)
-| | |   mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 4)
-| | |   mayRaise=["fail"]
-| | | read ('a' ==)
+| | |   mayRaise=[ExceptionFailure]
+| | | read ((GHC.Classes.==) 'a')
 | | |   minReads=(Right 4)
-| | |   mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 3)
-| | |   mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 3)
-| | |   mayRaise=["fail"]
-| | | pushValue cons
+| | |   mayRaise=[ExceptionFailure]
+| | | pushValue ((GHC.Types.:))
 | | |   minReads=(Right 3)
-| | |   mayRaise=["fail"]
-| | | pushValue (\u1 -> (\u2 -> u1))
+| | |   mayRaise=[ExceptionFailure]
+| | | pushValue (\x_0 -> \x_1 -> x_0)
 | | |   minReads=(Right 3)
-| | |   mayRaise=["fail"]
-| | | pushValue 'b'
+| | |   mayRaise=[ExceptionFailure]
+| | | pushValue ('b')
 | | |   minReads=(Right 3)
-| | |   mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 3)
-| | |   mayRaise=["fail"]
-| | | read ('b' ==)
+| | |   mayRaise=[ExceptionFailure]
+| | | read ((GHC.Classes.==) 'b')
 | | |   minReads=(Right 3)
-| | |   mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 2)
-| | |   mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 2)
-| | |   mayRaise=["fail"]
-| | | pushValue cons
+| | |   mayRaise=[ExceptionFailure]
+| | | pushValue ((GHC.Types.:))
 | | |   minReads=(Right 2)
-| | |   mayRaise=["fail"]
-| | | pushValue (\u1 -> (\u2 -> u1))
+| | |   mayRaise=[ExceptionFailure]
+| | | pushValue (\x_0 -> \x_1 -> x_0)
 | | |   minReads=(Right 2)
-| | |   mayRaise=["fail"]
-| | | pushValue 'c'
+| | |   mayRaise=[ExceptionFailure]
+| | | pushValue ('c')
 | | |   minReads=(Right 2)
-| | |   mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 2)
-| | |   mayRaise=["fail"]
-| | | read ('c' ==)
+| | |   mayRaise=[ExceptionFailure]
+| | | read ((GHC.Classes.==) 'c')
 | | |   minReads=(Right 2)
-| | |   mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 1)
-| | |   mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 1)
-| | |   mayRaise=["fail"]
-| | | pushValue cons
+| | |   mayRaise=[ExceptionFailure]
+| | | pushValue ((GHC.Types.:))
 | | |   minReads=(Right 1)
-| | |   mayRaise=["fail"]
-| | | pushValue (\u1 -> (\u2 -> u1))
+| | |   mayRaise=[ExceptionFailure]
+| | | pushValue (\x_0 -> \x_1 -> x_0)
 | | |   minReads=(Right 1)
-| | |   mayRaise=["fail"]
-| | | pushValue 'd'
+| | |   mayRaise=[ExceptionFailure]
+| | | pushValue ('d')
 | | |   minReads=(Right 1)
-| | |   mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 1)
-| | |   mayRaise=["fail"]
-| | | read ('d' ==)
+| | |   mayRaise=[ExceptionFailure]
+| | | read ((GHC.Classes.==) 'd')
 | | |   minReads=(Right 1)
-| | |   mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | |   mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 0)
 | | |   mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 0)
 | | |   mayRaise=[]
-| | | pushValue Term
+| | | pushValue (GHC.Types.[])
 | | |   minReads=(Right 0)
 | | |   mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 0)
 | | |   mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 0)
 | | |   mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 0)
 | | |   mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 | | |   minReads=(Right 0)
 | | |   mayRaise=[]
-| | | popException "fail"
+| | | commit ExceptionFailure
 | | |   minReads=(Right 0)
 | | |   mayRaise=[]
 | | | ret
@@ -167,36 +169,36 @@ let <hidden>
 | | |   mayRaise=[]
 | | <ko>
 | | | loadInput
-| | |   minReads=(Left "fail")
-| | |   mayRaise=["fail"]
-| | | raiseException "fail"
-| | |   minReads=(Left "fail")
-| | |   mayRaise=["fail"]
-pushValue Term
+| | |   minReads=(Left ExceptionFailure)
+| | |   mayRaise=[ExceptionFailure]
+| | | fail []
+| | |   minReads=(Left ExceptionFailure)
+| | |   mayRaise=[ExceptionFailure]
+pushValue (GHC.Show.show)
   minReads=(Right 4)
-  mayRaise=[]
-pushValue cons
+  mayRaise=[ExceptionFailure]
+pushValue ((GHC.Types.:))
   minReads=(Right 4)
-  mayRaise=[]
+  mayRaise=[ExceptionFailure]
 call <hidden>
   minReads=(Right 4)
-  mayRaise=[]
-lift2Value (\u1 -> (\u2 -> u1 u2))
+  mayRaise=[ExceptionFailure]
+lift2Value (\x_0 -> \x_1 -> x_0 x_1)
   minReads=(Right 0)
-  mayRaise=[]
+  mayRaise=[ExceptionFailure]
 call <hidden>
   minReads=(Right 0)
-  mayRaise=[]
-pushValue Term
+  mayRaise=[ExceptionFailure]
+pushValue (GHC.Types.[])
   minReads=(Right 0)
   mayRaise=[]
-lift2Value (\u1 -> (\u2 -> u1 u2))
+lift2Value (\x_0 -> \x_1 -> x_0 x_1)
   minReads=(Right 0)
   mayRaise=[]
-lift2Value (\u1 -> (\u2 -> u1 u2))
+lift2Value (\x_0 -> \x_1 -> x_0 x_1)
   minReads=(Right 0)
   mayRaise=[]
-lift2Value (\u1 -> (\u2 -> u1 u2))
+lift2Value (\x_0 -> \x_1 -> x_0 x_1)
   minReads=(Right 0)
   mayRaise=[]
 ret