impl: move `liftTypedString` to `Language.Haskell.TH.Show`

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

diff --git a/tests/Golden/Grammar/ViewGrammar/G13.expected.txt b/tests/Golden/Grammar/ViewGrammar/G13.expected.txt
index daa27e29674f725e28bdb7e2835353b68814cab0..7e78eede3a58fc99279743adfa19aa37b0e7fe03 100644 (file)
--- a/tests/Golden/Grammar/ViewGrammar/G13.expected.txt
+++ b/tests/Golden/Grammar/ViewGrammar/G13.expected.txt
@@ -3,14 +3,14 @@ lets
 | ` <*>
 |   + <*>
 |   | + <*>
-|   | | + pure (\x_0 -> \x_1 -> x_0)
-|   | | ` pure (\x_0 -> x_0)
+|   | | + pure (\u_0 -> \u_1 -> u_0)
+|   | | ` pure (\u_0 -> u_0)
 |   | ` chainPost
 |   |   + pure GHC.Tuple.()
 |   |   ` <*>
 |   |     + <*>
-|   |     | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1)
-|   |     | ` pure (\x_0 -> \x_1 -> x_0)
+|   |     | + pure (\u_0 -> \u_1 -> \u_2 -> u_0 u_2 u_1)
+|   |     | ` pure (\u_0 -> \u_1 -> u_0)
 |   |     ` 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)))))))))
 |   ` pure GHC.Tuple.()
 + let name
@@ -19,69 +19,69 @@ lets
 |   | + pure (GHC.Types.:)
 |   | ` <*>
 |   |   + <*>
-|   |   | + pure (\x_0 -> \x_1 -> x_0)
+|   |   | + pure (\u_0 -> \u_1 -> 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 -> \x_1 -> x_0)
+|   |   |   |   | + pure (\u_0 -> \u_1 -> u_0)
 |   |   |   |   | ` pure 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)
+|   |   |   |   ` satisfy (\u_0 -> GHC.Types.True)
+|   |   |   + branch (\x_0 -> (GHC.Classes.==) '>' x_0)
 |   |   |   | ` <*>
 |   |   |   |   + <*>
-|   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
+|   |   |   |   | + pure (\u_0 -> \u_1 -> u_0)
 |   |   |   |   | ` pure 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)
+|   |   |   |   ` satisfy (\u_0 -> GHC.Types.True)
+|   |   |   + branch (\x_0 -> (GHC.Classes.==) '+' x_0)
 |   |   |   | ` <*>
 |   |   |   |   + <*>
-|   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
+|   |   |   |   | + pure (\u_0 -> \u_1 -> u_0)
 |   |   |   |   | ` pure 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)
+|   |   |   |   ` satisfy (\u_0 -> GHC.Types.True)
+|   |   |   + branch (\x_0 -> (GHC.Classes.==) '-' x_0)
 |   |   |   | ` <*>
 |   |   |   |   + <*>
-|   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
+|   |   |   |   | + pure (\u_0 -> \u_1 -> u_0)
 |   |   |   |   | ` pure 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)
+|   |   |   |   ` satisfy (\u_0 -> GHC.Types.True)
+|   |   |   + branch (\x_0 -> (GHC.Classes.==) ',' x_0)
 |   |   |   | ` <*>
 |   |   |   |   + <*>
-|   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
+|   |   |   |   | + pure (\u_0 -> \u_1 -> u_0)
 |   |   |   |   | ` pure 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)
+|   |   |   |   ` satisfy (\u_0 -> GHC.Types.True)
+|   |   |   + branch (\x_0 -> (GHC.Classes.==) '.' x_0)
 |   |   |   | ` <*>
 |   |   |   |   + <*>
-|   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
+|   |   |   |   | + pure (\u_0 -> \u_1 -> u_0)
 |   |   |   |   | ` pure 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)
+|   |   |   |   ` satisfy (\u_0 -> GHC.Types.True)
+|   |   |   ` branch (\x_0 -> (GHC.Classes.==) '[' x_0)
 |   |   |     ` <*>
 |   |   |       + <*>
-|   |   |       | + pure (\x_0 -> \x_1 -> x_0)
+|   |   |       | + pure (\u_0 -> \u_1 -> u_0)
 |   |   |       | ` <*>
 |   |   |       |   + <*>
 |   |   |       |   | + <*>
-|   |   |       |   | | + pure (\x_0 -> \x_1 -> x_0)
-|   |   |       |   | | ` pure (\x_0 -> x_0)
+|   |   |       |   | | + pure (\u_0 -> \u_1 -> u_0)
+|   |   |       |   | | ` pure (\u_0 -> u_0)
 |   |   |       |   | ` <*>
 |   |   |       |   |   + <*>
-|   |   |       |   |   | + pure (\x_0 -> \x_1 -> x_0)
-|   |   |       |   |   | ` satisfy (\x_0 -> GHC.Types.True)
+|   |   |       |   |   | + pure (\u_0 -> \u_1 -> u_0)
+|   |   |       |   |   | ` satisfy (\u_0 -> GHC.Types.True)
 |   |   |       |   |   ` ref name
 |   |   |       |   ` <*>
 |   |   |       |     + pure Parsers.Brainfuck.Types.Loop
 |   |   |       |     ` rec name
 |   |   |       ` <*>
 |   |   |         + <*>
-|   |   |         | + pure (\x_0 -> \x_1 -> x_0)
+|   |   |         | + pure (\u_0 -> \u_1 -> u_0)
 |   |   |         | ` pure ']'
 |   |   |         ` satisfy ((GHC.Classes.==) ']')
 |   |   ` ref name
@@ -91,7 +91,7 @@ lets
   ` <*>
     + <*>
     | + <*>
-    | | + pure (\x_0 -> \x_1 -> x_0)
-    | | ` pure (\x_0 -> x_0)
+    | | + pure (\u_0 -> \u_1 -> u_0)
+    | | ` pure (\u_0 -> u_0)
     | ` ref name
     ` ref name