copyright: comply with REUSE-3.0
[haskell/symantic-parser.git] / test / Golden / Grammar / OptimizeGrammar / G15.expected.txt
index 24505536ab4bef0daaea74e2ec764c73cdc96476..79b24c9c162e9b946b0d017f35b8113b85b4e10c 100644 (file)
@@ -1,10 +1,12 @@
-<*>
-+ pure (\u1 -> u1 Term)
-` def name_401
-  ` <|>
-    + <*>
-    | + <*>
-    | | + pure (\u1 -> (\u2 -> (\u3 -> 'a' : u2 u3)))
-    | | ` satisfy
-    | ` rec name_401
-    ` 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')
+  ` satisfy ((GHC.Classes.==) 'c')