copyright: comply with REUSE-3.0

[haskell/symantic-parser.git] / test / Golden / Grammar / OptimizeGrammar / G7.expected.txt

diff --git a/test/Golden/Grammar/OptimizeGrammar/G7.expected.txt b/test/Golden/Grammar/OptimizeGrammar/G7.expected.txt
index 0ed842c6b0f64f1623f5a7055febe28e3c0ceea3..46f5eec9fd4b38e521254eadee6016cb8e23050a 100644 (file)
--- a/test/Golden/Grammar/OptimizeGrammar/G7.expected.txt
+++ b/test/Golden/Grammar/OptimizeGrammar/G7.expected.txt
@@ -1,14 +1,16 @@
 lets
-` <|>
-  + try
-  | ` <*>
-  |   + <*>
-  |   | + pure (\u1 -> (\u2 -> 'a' : ('a' : Term)))
-  |   | ` satisfy
-  |   ` satisfy
-  ` try
-    ` <*>
-      + <*>
-      | + pure (\u1 -> (\u2 -> 'a' : ('b' : Term)))
-      | ` satisfy
-      ` satisfy
+` <*>
+  + pure GHC.Show.show
+  ` <|>
+    + try
+    | ` <*>
+    |   + <*>
+    |   | + pure (\x_0 -> \x_1 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'a' GHC.Types.[]))
+    |   | ` satisfy ((GHC.Classes.==) 'a')
+    |   ` satisfy ((GHC.Classes.==) 'a')
+    ` try
+      ` <*>
+        + <*>
+        | + pure (\x_0 -> \x_1 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' GHC.Types.[]))
+        | ` satisfy ((GHC.Classes.==) 'a')
+        ` satisfy ((GHC.Classes.==) 'b')