doc: update the ReadMe and ChangeLog

[haskell/symantic-parser.git] / test / Golden / Grammar / boom.dump

diff --git a/test/Golden/Grammar/boom.dump b/test/Golden/Grammar/boom.dump
index 66a6e93d69a5e8101e698c7eca5edd312beaefab..cbdc06aa132d4be968348f110fdaf52ef3fc06e4 100644 (file)
--- a/test/Golden/Grammar/boom.dump
+++ b/test/Golden/Grammar/boom.dump
@@ -1,36 +1,36 @@
 <*>
 + <*>
 | + <*>
-| | + pure (\x0 -> (\x1 -> x0))
-| | ` pure (\x0 -> x0)
+| | + pure (\u1 -> (\u2 -> u1))
+| | ` pure (\u1 -> u1)
 | ` <*>
 |   + <*>
-|   | + def name_3
+|   | + def name_2
 |   | | ` <*>
-|   | |   + pure (\x0 -> (\x1 -> x0))
-|   | |   ` pure (\x0 -> x0)
+|   | |   + pure (\u1 -> (\u2 -> u1))
+|   | |   ` pure (\u1 -> u1)
 |   | ` def name_5
 |   |   ` <*>
 |   |     + <*>
 |   |     | + def name_6
 |   |     | | ` <*>
-|   |     | |   + pure (\x0 -> (\x1 -> x0))
-|   |     | |   ` pure (\x0 -> x0)
+|   |     | |   + pure (\u1 -> (\u2 -> u1))
+|   |     | |   ` pure (\u1 -> u1)
 |   |     | ` def name_7
 |   |     |   ` <*>
 |   |     |     + <*>
 |   |     |     | + <*>
-|   |     |     | | + pure (\x0 -> (\x1 -> x0))
-|   |     |     | | ` pure (\x0 -> x0)
+|   |     |     | | + pure (\u1 -> (\u2 -> u1))
+|   |     |     | | ` pure (\u1 -> u1)
 |   |     |     | ` rec name_5
 |   |     |     ` rec name_7
 |   |     ` rec name_5
 |   ` def name_1
-|     ` pure ()
+|     ` pure Term
 ` <*>
   + <*>
-  | + ref name_3
-  | ` def name_2
+  | + ref name_2
+  | ` def name_3
   |   ` <*>
   |     + <*>
   |     | + ref name_6
@@ -38,9 +38,9 @@
   |     |   ` <*>
   |     |     + <*>
   |     |     | + <*>
-  |     |     | | + pure (\x0 -> (\x1 -> x0))
-  |     |     | | ` pure (\x0 -> x0)
-  |     |     | ` rec name_2
+  |     |     | | + pure (\u1 -> (\u2 -> u1))
+  |     |     | | ` pure (\u1 -> u1)
+  |     |     | ` rec name_3
   |     |     ` rec name_4
-  |     ` rec name_2
+  |     ` rec name_3
   ` ref name_1