doc: update the ReadMe and ChangeLog
[haskell/symantic-parser.git] / test / Golden / Grammar / brainfuck.opt.dump
index c54dde20ad75855694117c31f464f53da1eb1f82..e906a410829ecfb05275b3cb1a48e1e55d97edb4 100644 (file)
@@ -1,87 +1,58 @@
 <*>
 + <*>
-| + <*>
-| | + <*>
-| | | + 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 (\u1 -> (\u2 -> u2))
+| ` def name_1
+|   ` <*>
+|     + pure (\u1 -> Term)
+|     ` def name_2
+|       ` <|>
+|         + <*>
+|         | + <*>
+|         | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
+|         | | ` satisfy
+|         | ` rec name_2
+|         ` pure (\u1 -> u1)
+` def name_4
   ` <*>
-    + pure ((flip ($)) Haskell)
+    + pure (\u1 -> u1 Term)
     ` def name_3
       ` <|>
         + <*>
         | + <*>
         | | + <*>
-        | | | + <*>
-        | | | | + 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
+        | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
+        | | | ` conditional
+        | | |   + look
+        | | |   | ` satisfy
+        | | |   + bs
+        | | |   | + <*>
+        | | |   | | + pure (\u1 -> (\u2 -> cons Term))
+        | | |   | | ` satisfy
+        | | |   | + <*>
+        | | |   | | + pure (\u1 -> (\u2 -> cons Term))
+        | | |   | | ` satisfy
+        | | |   | + <*>
+        | | |   | | + pure (\u1 -> (\u2 -> cons Term))
+        | | |   | | ` satisfy
+        | | |   | + <*>
+        | | |   | | + pure (\u1 -> (\u2 -> cons Term))
+        | | |   | | ` satisfy
+        | | |   | + <*>
+        | | |   | | + pure (\u1 -> (\u2 -> cons Term))
+        | | |   | | ` satisfy
+        | | |   | + <*>
+        | | |   | | + pure (\u1 -> (\u2 -> cons Term))
+        | | |   | | ` satisfy
+        | | |   | ` <*>
+        | | |   |   + <*>
+        | | |   |   | + <*>
+        | | |   |   | | + <*>
+        | | |   |   | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> cons (Term u3))))))
+        | | |   |   | | | ` satisfy
+        | | |   |   | | ` ref name_1
+        | | |   |   | ` rec name_4
+        | | |   |   ` satisfy
+        | | |   ` empty
+        | | ` ref name_1
         | ` rec name_3
-        ` pure id
+        ` pure (\u1 -> u1)