copyright: comply with REUSE-3.0
[haskell/symantic-parser.git] / test / Golden / Grammar / ViewGrammar / G6.expected.txt
index 277a90df9da5046c4912b097c36dc580c2370702..3f393342a574da10e2c86c403d4c98d0440f5a84 100644 (file)
@@ -1,35 +1,38 @@
-<|>
-+ <*>
-| + <*>
-| | + pure cons
-| | ` <*>
-| |   + <*>
-| |   | + pure (\u1 -> (\u2 -> u1))
-| |   | ` pure 'a'
-| |   ` satisfy
-| ` <*>
-|   + <*>
-|   | + pure cons
-|   | ` <*>
-|   |   + <*>
-|   |   | + pure (\u1 -> (\u2 -> u1))
-|   |   | ` pure 'a'
-|   |   ` satisfy
-|   ` pure Term
+lets
 ` <*>
-  + <*>
-  | + pure cons
-  | ` <*>
-  |   + <*>
-  |   | + pure (\u1 -> (\u2 -> u1))
-  |   | ` pure 'a'
-  |   ` satisfy
-  ` <*>
+  + pure GHC.Show.show
+  ` <|>
     + <*>
-    | + pure cons
+    | + <*>
+    | | + pure (GHC.Types.:)
+    | | ` <*>
+    | |   + <*>
+    | |   | + pure (\x_0 -> \x_1 -> x_0)
+    | |   | ` pure 'a'
+    | |   ` satisfy ((GHC.Classes.==) 'a')
     | ` <*>
     |   + <*>
-    |   | + pure (\u1 -> (\u2 -> u1))
-    |   | ` pure 'b'
-    |   ` satisfy
-    ` pure Term
+    |   | + pure (GHC.Types.:)
+    |   | ` <*>
+    |   |   + <*>
+    |   |   | + pure (\x_0 -> \x_1 -> x_0)
+    |   |   | ` pure 'a'
+    |   |   ` satisfy ((GHC.Classes.==) 'a')
+    |   ` pure GHC.Types.[]
+    ` <*>
+      + <*>
+      | + pure (GHC.Types.:)
+      | ` <*>
+      |   + <*>
+      |   | + pure (\x_0 -> \x_1 -> x_0)
+      |   | ` pure 'a'
+      |   ` satisfy ((GHC.Classes.==) 'a')
+      ` <*>
+        + <*>
+        | + pure (GHC.Types.:)
+        | ` <*>
+        |   + <*>
+        |   | + pure (\x_0 -> \x_1 -> x_0)
+        |   | ` pure 'b'
+        |   ` satisfy ((GHC.Classes.==) 'b')
+        ` pure GHC.Types.[]