copyright: comply with REUSE-3.0

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

diff --git a/test/Golden/Grammar/OptimizeGrammar/G16.expected.txt b/test/Golden/Grammar/OptimizeGrammar/G16.expected.txt
index 8088504677d17cfc31cf62e400f5bc7f3c754392..adf590eaa3d3eaeb1dbf9e88ee26c5883c980933 100644 (file)
--- a/test/Golden/Grammar/OptimizeGrammar/G16.expected.txt
+++ b/test/Golden/Grammar/OptimizeGrammar/G16.expected.txt
@@ -1,22 +1,16 @@
-<*>
-+ <*>
-| + pure (\u1 -> (\u2 -> u1 : u2 Term))
-| ` def name_416
-|   ` try
-|     ` <*>
-|       + <*>
-|       | + <*>
-|       | | + <*>
-|       | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'a' : ('b' : ('c' : ('d' : Term)))))))
-|       | | | ` satisfy
-|       | | ` satisfy
-|       | ` satisfy
-|       ` satisfy
-` def name_415
-  ` <|>
-    + <*>
-    | + <*>
-    | | + pure (\u1 -> (\u2 -> (\u3 -> u1 : u2 u3)))
-    | | ` ref name_416
-    | ` rec name_415
-    ` pure (\u1 -> u1)
+lets
+` <*>
+  + <*>
+  | + pure (\x_0 -> \x_1 -> GHC.Show.show x_0)
+  | ` <|>
+  |   + <*>
+  |   | + pure (\x_0 -> 'a')
+  |   | ` satisfy ((GHC.Classes.==) 'a')
+  |   ` <|>
+  |     + <*>
+  |     | + pure (\x_0 -> 'b')
+  |     | ` satisfy ((GHC.Classes.==) 'b')
+  |     ` <*>
+  |       + pure (\x_0 -> 'c')
+  |       ` satisfy ((GHC.Classes.==) 'c')
+  ` satisfy ((GHC.Classes.==) 'd')