rename {Label => LetName}

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

diff --git a/test/Golden/Grammar/brainfuck.opt.dump b/test/Golden/Grammar/brainfuck.opt.dump
index 403410d2b18bc457e6037e46c3098e0e4ceed2cd..c54dde20ad75855694117c31f464f53da1eb1f82 100644 (file)
--- a/test/Golden/Grammar/brainfuck.opt.dump
+++ b/test/Golden/Grammar/brainfuck.opt.dump
@@ -1,17 +1,22 @@
 <*>
 + <*>
-| + pure (const id)
-| ` def name_1
-|   ` <*>
-|     + pure ((flip ($)) () . (const id . (flip ($)) ()))
-|     ` def name_4
-|       ` <|>
-|         + <*>
-|         | + <*>
-|         | | + pure ((.) . ((.) ((flip ($)) id) . const) id)
-|         | | ` satisfy
-|         | ` rec name_4
-|         ` pure id
+| + <*>
+| | + <*>
+| | | + pure ((.) ((.) (const id)) . ((.) (const id) . flip ($)))
+| | | ` def name_4
+| | |   ` pure ()
+| | ` def name_6
+| |   ` <|>
+| |     + <*>
+| |     | + <*>
+| |     | | + <*>
+| |     | | | + pure ((.) (.))
+| |     | | | ` def name_7
+| |     | | |   ` pure (flip const)
+| |     | | ` satisfy
+| |     | ` rec name_6
+| |     ` pure id
+| ` ref name_4
 ` def name_2
   ` <*>
     + pure ((flip ($)) Haskell)
@@ -19,38 +24,64 @@
       ` <|>
         + <*>
         | + <*>
-        | | + conditional
-        | | | + bs
-        | | | | + <*>
-        | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
-        | | | | | ` satisfy
-        | | | | + <*>
-        | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
-        | | | | | ` satisfy
-        | | | | + <*>
-        | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
-        | | | | | ` satisfy
-        | | | | + <*>
-        | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
-        | | | | | ` satisfy
-        | | | | + <*>
-        | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
-        | | | | | ` satisfy
-        | | | | + <*>
-        | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
-        | | | | | ` satisfy
-        | | | | ` <*>
-        | | | |   + <*>
-        | | | |   | + <*>
-        | | | |   | | + <*>
-        | | | |   | | | + pure ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) cons))) . ((.) ((.) ((.) const)) . ((.) ((.) ((flip ($)) (const Haskell))) . ((.) ((.) (.)) . ((.) ((.) const) . ((.) ((flip ($)) Haskell) . ((.) (.) . ((.) (const id) . const)))))))))
-        | | | |   | | | ` satisfy
-        | | | |   | | ` ref name_1
-        | | | |   | ` rec name_2
-        | | | |   ` satisfy
-        | | | + look
-        | | | | ` satisfy
-        | | | ` empty
-        | | ` ref name_1
+        | | + <*>
+        | | | + <*>
+        | | | | + conditional
+        | | | | | + bs
+        | | | | | | + <*>
+        | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
+        | | | | | | | ` satisfy
+        | | | | | | + <*>
+        | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
+        | | | | | | | ` satisfy
+        | | | | | | + <*>
+        | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
+        | | | | | | | ` satisfy
+        | | | | | | + <*>
+        | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
+        | | | | | | | ` satisfy
+        | | | | | | + <*>
+        | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
+        | | | | | | | ` satisfy
+        | | | | | | + <*>
+        | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
+        | | | | | | | ` satisfy
+        | | | | | | ` <*>
+        | | | | | |   + <*>
+        | | | | | |   | + <*>
+        | | | | | |   | | + <*>
+        | | | | | |   | | | + <*>
+        | | | | | |   | | | | + <*>
+        | | | | | |   | | | | | + pure ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) (.)))))))) . ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) cons))))))) . ((.) ((.) ((.) ((.) ((.) ((flip ($)) ((.) (const id) . flip ($))))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) const)))) . ((.) ((.) ((.) ((.) ((flip ($)) (const Haskell))))) . ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) const))) . ((.) ((.) ((.) ((flip ($)) Haskell))) . ((.) ((.) ((.) (.))) . ((.) ((.) ((.) (const id))) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const)))))))))))))))))
+        | | | | | |   | | | | | ` satisfy
+        | | | | | |   | | | | ` ref name_4
+        | | | | | |   | | | ` def name_1
+        | | | | | |   | | |   ` <|>
+        | | | | | |   | | |     + <*>
+        | | | | | |   | | |     | + <*>
+        | | | | | |   | | |     | | + <*>
+        | | | | | |   | | |     | | | + pure ((.) (.))
+        | | | | | |   | | |     | | | ` ref name_7
+        | | | | | |   | | |     | | ` satisfy
+        | | | | | |   | | |     | ` rec name_1
+        | | | | | |   | | |     ` pure id
+        | | | | | |   | | ` ref name_4
+        | | | | | |   | ` rec name_2
+        | | | | | |   ` satisfy
+        | | | | | + look
+        | | | | | | ` satisfy
+        | | | | | ` empty
+        | | | | ` ref name_4
+        | | | ` def name_5
+        | | |   ` <|>
+        | | |     + <*>
+        | | |     | + <*>
+        | | |     | | + <*>
+        | | |     | | | + pure ((.) (.))
+        | | |     | | | ` ref name_7
+        | | |     | | ` satisfy
+        | | |     | ` rec name_5
+        | | |     ` pure id
+        | | ` ref name_4
         | ` rec name_3
         ` pure id