doc: clarify the scope of HideName instances
[haskell/symantic-parser.git] / tests / Golden / Machine / G11.expected.txt
index 1aec04f3bc22f7376093afa7acc9dec957f998d4..a2e65f175265c53aacc9505eac4f0f54c5f098b6 100644 (file)
@@ -1,9 +1,9 @@
-pushValue (\x_0 -> \x_1 -> GHC.Show.show x_0)
+pushValue (\u_0 -> \u_1 -> GHC.Show.show u_0)
   minReads=1
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
   freeRegs=[]
-pushValue (\x_0 -> x_0)
+pushValue (\u_0 -> u_0)
   minReads=1
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
@@ -19,7 +19,7 @@ iter loop
   alwaysRaise=[]
   freeRegs=[reg]
 | <ok>
-| | pushValue (\x_0 -> (GHC.Types.:) 'a')
+| | pushValue (\u_0 -> (GHC.Types.:) 'a')
 | |   minReads=1
 | |   mayRaise=[ExceptionFailure]
 | |   alwaysRaise=[]
@@ -34,17 +34,17 @@ iter loop
 | |   mayRaise=[ExceptionFailure]
 | |   alwaysRaise=[]
 | |   freeRegs=[reg]
-| | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | |   minReads=0
 | |   mayRaise=[]
 | |   alwaysRaise=[]
 | |   freeRegs=[reg]
-| | pushValue (\x_0 -> \x_1 -> \x_2 -> x_1 (x_0 x_2))
+| | pushValue (\u_0 -> \u_1 -> \u_2 -> u_1 (u_0 u_2))
 | |   minReads=0
 | |   mayRaise=[]
 | |   alwaysRaise=[]
 | |   freeRegs=[reg]
-| | lift2Value (\x_0 -> \x_1 -> x_1 x_0)
+| | lift2Value (\u_0 -> \u_1 -> u_1 u_0)
 | |   minReads=0
 | |   mayRaise=[]
 | |   alwaysRaise=[]
@@ -54,7 +54,7 @@ iter loop
 | |   mayRaise=[]
 | |   alwaysRaise=[]
 | |   freeRegs=[reg]
-| | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | |   minReads=0
 | |   mayRaise=[]
 | |   alwaysRaise=[]
@@ -80,9 +80,7 @@ iter loop
 | |   mayRaise=[ExceptionFailure]
 | |   alwaysRaise=[]
 | |   freeRegs=[reg]
-| | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| |                                                                j_1
-| |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | |   minReads=1
 | |   mayRaise=[ExceptionFailure]
 | |   alwaysRaise=[]
@@ -92,7 +90,7 @@ iter loop
 | |   mayRaise=[ExceptionFailure]
 | |   alwaysRaise=[]
 | |   freeRegs=[reg]
-| | | <branch (\x_0 -> x_0)>
+| | | <branch (\u_0 -> u_0)>
 | | | | readRegister reg
 | | | |   minReads=1
 | | | |   mayRaise=[ExceptionFailure]
@@ -103,12 +101,12 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=1
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=1
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -123,7 +121,7 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=0
 | | | |   mayRaise=[]
 | | | |   alwaysRaise=[]