machine: improve comments

[haskell/symantic-parser.git] / test / Golden / Grammar / ViewGrammar / G4.expected.txt

diff --git a/test/Golden/Grammar/ViewGrammar/G4.expected.txt b/test/Golden/Grammar/ViewGrammar/G4.expected.txt
index abeef3c6a223b39ecc843531ebb261dc4cc77f1e..c430655a6f7b1f68f6ec92f44769af44e26ef314 100644 (file)
--- a/test/Golden/Grammar/ViewGrammar/G4.expected.txt
+++ b/test/Golden/Grammar/ViewGrammar/G4.expected.txt
@@ -1,15 +1,31 @@
-<*>
-+ <*>
-| + pure cons
-| ` def <hidden>
-|   ` try
+lets
++ let <hidden>
+| ` <|>
+|   + <*>
+|   | + <*>
+|   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
+|   | | ` <*>
+|   | |   + pure cons
+|   | |   ` ref <hidden>
+|   | ` rec <hidden>
+|   ` pure (\u1 -> u1)
++ let <hidden>
+| ` try
+|   ` <*>
+|     + <*>
+|     | + pure cons
+|     | ` <*>
+|     |   + <*>
+|     |   | + pure (\u1 -> (\u2 -> u1))
+|     |   | ` pure 'a'
+|     |   ` satisfy
 |     ` <*>
 |       + <*>
 |       | + pure cons
 |       | ` <*>
 |       |   + <*>
 |       |   | + pure (\u1 -> (\u2 -> u1))
-|       |   | ` pure 'a'
+|       |   | ` pure 'b'
 |       |   ` satisfy
 |       ` <*>
 |         + <*>
@@ -17,7 +33,7 @@
 |         | ` <*>
 |         |   + <*>
 |         |   | + pure (\u1 -> (\u2 -> u1))
-|         |   | ` pure 'b'
+|         |   | ` pure 'c'
 |         |   ` satisfy
 |         ` <*>
 |           + <*>
@@ -25,26 +41,15 @@
 |           | ` <*>
 |           |   + <*>
 |           |   | + pure (\u1 -> (\u2 -> u1))
-|           |   | ` pure 'c'
+|           |   | ` pure 'd'
 |           |   ` satisfy
-|           ` <*>
-|             + <*>
-|             | + pure cons
-|             | ` <*>
-|             |   + <*>
-|             |   | + pure (\u1 -> (\u2 -> u1))
-|             |   | ` pure 'd'
-|             |   ` satisfy
-|             ` pure Term
+|           ` pure Term
 ` <*>
-  + def <hidden>
-  | ` <|>
-  |   + <*>
-  |   | + <*>
-  |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
-  |   | | ` <*>
-  |   | |   + pure cons
-  |   | |   ` ref <hidden>
-  |   | ` rec <hidden>
-  |   ` pure (\u1 -> u1)
-  ` pure Term
+  + pure Term
+  ` <*>
+    + <*>
+    | + pure cons
+    | ` ref <hidden>
+    ` <*>
+      + ref <hidden>
+      ` pure Term