impl: fix machine error handling

[haskell/symantic-parser.git] / tests / Golden / Grammar / OptimizeGrammar / G13.expected.txt

diff --git a/tests/Golden/Grammar/OptimizeGrammar/G13.expected.txt b/tests/Golden/Grammar/OptimizeGrammar/G13.expected.txt
index dc8148cc7d19616814d4298bd95a7d145ecdbd5e..586ca19f26974cabd8459650c6b9a1b1fdadf6cc 100644 (file)
--- a/tests/Golden/Grammar/OptimizeGrammar/G13.expected.txt
+++ b/tests/Golden/Grammar/OptimizeGrammar/G13.expected.txt
@@ -1,54 +1,54 @@
 lets
 + let name
 | ` <*>
-|   + pure (\x_0 -> GHC.Tuple.())
+|   + pure (\u_0 -> GHC.Tuple.())
 |   ` chainPost
 |     + pure GHC.Tuple.()
 |     ` <*>
-|       + pure (\x_0 -> \x_1 -> x_1)
+|       + pure (\u_0 -> \u_1 -> u_1)
 |       ` satisfy (\c_0 -> GHC.Classes.not (('<' GHC.Classes.== c_0) GHC.Classes.|| (('>' GHC.Classes.== c_0) GHC.Classes.|| (('+' GHC.Classes.== c_0) GHC.Classes.|| (('-' GHC.Classes.== c_0) GHC.Classes.|| ((',' GHC.Classes.== c_0) GHC.Classes.|| (('.' GHC.Classes.== c_0) GHC.Classes.|| (('[' GHC.Classes.== c_0) GHC.Classes.|| ((']' GHC.Classes.== c_0) GHC.Classes.|| GHC.Types.False)))))))))
 + let name
 | ` chainPre
 |   + <*>
 |   | + <*>
-|   | | + pure (\x_0 -> \x_1 -> (GHC.Types.:) x_0)
+|   | | + pure (\u_0 -> \u_1 -> (GHC.Types.:) u_0)
 |   | | ` conditional
 |   | |   + condition
 |   | |   | ` look
-|   | |   |   ` satisfy (\x_0 -> GHC.Types.True)
+|   | |   |   ` satisfy (\u_0 -> GHC.Types.True)
 |   | |   + default
 |   | |   | ` failure
-|   | |   + branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '<' x_0)
+|   | |   + branch (\x_0 -> (GHC.Classes.==) '<' x_0)
 |   | |   | ` <*>
-|   | |   |   + pure (\x_0 -> Parsers.Brainfuck.Types.Backward)
-|   | |   |   ` satisfy (\x_0 -> GHC.Types.True)
-|   | |   + branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '>' x_0)
+|   | |   |   + pure (\u_0 -> Parsers.Brainfuck.Types.Backward)
+|   | |   |   ` satisfy (\u_0 -> GHC.Types.True)
+|   | |   + branch (\x_0 -> (GHC.Classes.==) '>' x_0)
 |   | |   | ` <*>
-|   | |   |   + pure (\x_0 -> Parsers.Brainfuck.Types.Forward)
-|   | |   |   ` satisfy (\x_0 -> GHC.Types.True)
-|   | |   + branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '+' x_0)
+|   | |   |   + pure (\u_0 -> Parsers.Brainfuck.Types.Forward)
+|   | |   |   ` satisfy (\u_0 -> GHC.Types.True)
+|   | |   + branch (\x_0 -> (GHC.Classes.==) '+' x_0)
 |   | |   | ` <*>
-|   | |   |   + pure (\x_0 -> Parsers.Brainfuck.Types.Increment)
-|   | |   |   ` satisfy (\x_0 -> GHC.Types.True)
-|   | |   + branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '-' x_0)
+|   | |   |   + pure (\u_0 -> Parsers.Brainfuck.Types.Increment)
+|   | |   |   ` satisfy (\u_0 -> GHC.Types.True)
+|   | |   + branch (\x_0 -> (GHC.Classes.==) '-' x_0)
 |   | |   | ` <*>
-|   | |   |   + pure (\x_0 -> Parsers.Brainfuck.Types.Decrement)
-|   | |   |   ` satisfy (\x_0 -> GHC.Types.True)
-|   | |   + branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) ',' x_0)
+|   | |   |   + pure (\u_0 -> Parsers.Brainfuck.Types.Decrement)
+|   | |   |   ` satisfy (\u_0 -> GHC.Types.True)
+|   | |   + branch (\x_0 -> (GHC.Classes.==) ',' x_0)
 |   | |   | ` <*>
-|   | |   |   + pure (\x_0 -> Parsers.Brainfuck.Types.Input)
-|   | |   |   ` satisfy (\x_0 -> GHC.Types.True)
-|   | |   + branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '.' x_0)
+|   | |   |   + pure (\u_0 -> Parsers.Brainfuck.Types.Input)
+|   | |   |   ` satisfy (\u_0 -> GHC.Types.True)
+|   | |   + branch (\x_0 -> (GHC.Classes.==) '.' x_0)
 |   | |   | ` <*>
-|   | |   |   + pure (\x_0 -> Parsers.Brainfuck.Types.Output)
-|   | |   |   ` satisfy (\x_0 -> GHC.Types.True)
-|   | |   ` branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '[' x_0)
+|   | |   |   + pure (\u_0 -> Parsers.Brainfuck.Types.Output)
+|   | |   |   ` satisfy (\u_0 -> GHC.Types.True)
+|   | |   ` branch (\x_0 -> (GHC.Classes.==) '[' x_0)
 |   | |     ` <*>
 |   | |       + <*>
 |   | |       | + <*>
 |   | |       | | + <*>
-|   | |       | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> Parsers.Brainfuck.Types.Loop x_2)
-|   | |       | | | ` satisfy (\x_0 -> GHC.Types.True)
+|   | |       | | | + pure (\u_0 -> \u_1 -> \u_2 -> \u_3 -> Parsers.Brainfuck.Types.Loop u_2)
+|   | |       | | | ` satisfy (\u_0 -> GHC.Types.True)
 |   | |       | | ` ref name
 |   | |       | ` rec name
 |   | |       ` satisfy ((GHC.Classes.==) ']')
@@ -56,6 +56,6 @@ lets
 |   ` pure GHC.Types.[]
 ` <*>
   + <*>
-  | + pure (\x_0 -> \x_1 -> GHC.Show.show x_1)
+  | + pure (\u_0 -> \u_1 -> GHC.Show.show u_1)
   | ` ref name
   ` ref name