parsers: commit missing file

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

diff --git a/test/Golden/Grammar/ViewGrammar/G14.expected.txt b/test/Golden/Grammar/ViewGrammar/G14.expected.txt
index a3ade90e95ae3fefcb2b36822fa0ee7fc54e1b0b..b33f5de0fb452318aa182dbab81ba9e91497a942 100644 (file)
--- a/test/Golden/Grammar/ViewGrammar/G14.expected.txt
+++ b/test/Golden/Grammar/ViewGrammar/G14.expected.txt
@@ -14,9 +14,9 @@ lets
 |     | ` <*>
 |     |   + <*>
 |     |   | + pure ((\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4))
-|     |   | ` pure (GHC.Tuple.())
+|     |   | ` pure GHC.Tuple.()
 |     |   ` ref <hidden>
-|     ` pure (GHC.Tuple.())
+|     ` pure GHC.Tuple.()
 + let <hidden>
 | ` <*>
 |   + <*>
@@ -50,7 +50,7 @@ lets
 |   |   |   | ` <*>
 |   |   |   |   + <*>
 |   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
-|   |   |   |   | ` pure ('[')
+|   |   |   |   | ` pure '['
 |   |   |   |   ` satisfy
 |   |   |   ` ref <hidden>
 |   |   ` <*>
@@ -67,16 +67,16 @@ lets
 |   |       | ` <*>
 |   |       |   + <*>
 |   |       |   | + pure ((\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4))
-|   |       |   | ` pure (GHC.Tuple.())
+|   |       |   | ` pure GHC.Tuple.()
 |   |       |   ` ref <hidden>
-|   |       ` pure (GHC.Tuple.())
+|   |       ` pure GHC.Tuple.()
 |   ` <*>
 |     + <*>
 |     | + pure (\x_0 -> \x_1 -> x_0)
 |     | ` <*>
 |     |   + <*>
 |     |   | + pure (\x_0 -> \x_1 -> x_0)
-|     |   | ` pure (']')
+|     |   | ` pure ']'
 |     |   ` satisfy
 |     ` ref <hidden>
 + let <hidden>
@@ -94,7 +94,7 @@ lets
 |   |   |   | ` <*>
 |   |   |   |   + <*>
 |   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
-|   |   |   |   | ` pure ('{')
+|   |   |   |   | ` pure '{'
 |   |   |   |   ` satisfy
 |   |   |   ` ref <hidden>
 |   |   ` <*>
@@ -114,7 +114,7 @@ lets
 |     | ` <*>
 |     |   + <*>
 |     |   | + pure (\x_0 -> \x_1 -> x_0)
-|     |   | ` pure ('}')
+|     |   | ` pure '}'
 |     |   ` satisfy
 |     ` ref <hidden>
 + let <hidden>
@@ -128,7 +128,7 @@ lets
 |     + <*>
 |     | + <*>
 |     | | + pure (\x_0 -> \x_1 -> x_0)
-|     | | ` pure (GHC.Tuple.())
+|     | | ` pure GHC.Tuple.()
 |     | ` ref <hidden>
 |     ` ref <hidden>
 + let <hidden>
@@ -171,7 +171,7 @@ lets
 |   | ` <*>
 |   |   + <*>
 |   |   | + pure (\x_0 -> \x_1 -> x_0)
-|   |   | ` pure ('(')
+|   |   | ` pure '('
 |   |   ` satisfy
 |   ` ref <hidden>
 + let <hidden>
@@ -181,7 +181,7 @@ lets
 |   | ` <*>
 |   |   + <*>
 |   |   | + pure (\x_0 -> \x_1 -> x_0)
-|   |   | ` pure (')')
+|   |   | ` pure ')'
 |   |   ` satisfy
 |   ` ref <hidden>
 + let <hidden>
@@ -191,7 +191,7 @@ lets
 |   | ` <*>
 |   |   + <*>
 |   |   | + pure (\x_0 -> \x_1 -> x_0)
-|   |   | ` pure (',')
+|   |   | ` pure ','
 |   |   ` satisfy
 |   ` ref <hidden>
 + let <hidden>
@@ -201,7 +201,7 @@ lets
 |   | ` <*>
 |   |   + <*>
 |   |   | + pure (\x_0 -> \x_1 -> x_0)
-|   |   | ` pure (';')
+|   |   | ` pure ';'
 |   |   ` satisfy
 |   ` ref <hidden>
 + let <hidden>
@@ -240,69 +240,69 @@ lets
 |   | |     |   |   |   | ` try
 |   | |     |   |   |   |   ` <*>
 |   | |     |   |   |   |     + <*>
-|   | |     |   |   |   |     | + pure ((GHC.Types.:))
+|   | |     |   |   |   |     | + pure (GHC.Types.:)
 |   | |     |   |   |   |     | ` <*>
 |   | |     |   |   |   |     |   + <*>
 |   | |     |   |   |   |     |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |   |   |   |     |   | ` pure ('f')
+|   | |     |   |   |   |     |   | ` pure 'f'
 |   | |     |   |   |   |     |   ` satisfy
 |   | |     |   |   |   |     ` <*>
 |   | |     |   |   |   |       + <*>
-|   | |     |   |   |   |       | + pure ((GHC.Types.:))
+|   | |     |   |   |   |       | + pure (GHC.Types.:)
 |   | |     |   |   |   |       | ` <*>
 |   | |     |   |   |   |       |   + <*>
 |   | |     |   |   |   |       |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |   |   |   |       |   | ` pure ('u')
+|   | |     |   |   |   |       |   | ` pure 'u'
 |   | |     |   |   |   |       |   ` satisfy
 |   | |     |   |   |   |       ` <*>
 |   | |     |   |   |   |         + <*>
-|   | |     |   |   |   |         | + pure ((GHC.Types.:))
+|   | |     |   |   |   |         | + pure (GHC.Types.:)
 |   | |     |   |   |   |         | ` <*>
 |   | |     |   |   |   |         |   + <*>
 |   | |     |   |   |   |         |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |   |   |   |         |   | ` pure ('n')
+|   | |     |   |   |   |         |   | ` pure 'n'
 |   | |     |   |   |   |         |   ` satisfy
 |   | |     |   |   |   |         ` <*>
 |   | |     |   |   |   |           + <*>
-|   | |     |   |   |   |           | + pure ((GHC.Types.:))
+|   | |     |   |   |   |           | + pure (GHC.Types.:)
 |   | |     |   |   |   |           | ` <*>
 |   | |     |   |   |   |           |   + <*>
 |   | |     |   |   |   |           |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |   |   |   |           |   | ` pure ('c')
+|   | |     |   |   |   |           |   | ` pure 'c'
 |   | |     |   |   |   |           |   ` satisfy
 |   | |     |   |   |   |           ` <*>
 |   | |     |   |   |   |             + <*>
-|   | |     |   |   |   |             | + pure ((GHC.Types.:))
+|   | |     |   |   |   |             | + pure (GHC.Types.:)
 |   | |     |   |   |   |             | ` <*>
 |   | |     |   |   |   |             |   + <*>
 |   | |     |   |   |   |             |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |   |   |   |             |   | ` pure ('t')
+|   | |     |   |   |   |             |   | ` pure 't'
 |   | |     |   |   |   |             |   ` satisfy
 |   | |     |   |   |   |             ` <*>
 |   | |     |   |   |   |               + <*>
-|   | |     |   |   |   |               | + pure ((GHC.Types.:))
+|   | |     |   |   |   |               | + pure (GHC.Types.:)
 |   | |     |   |   |   |               | ` <*>
 |   | |     |   |   |   |               |   + <*>
 |   | |     |   |   |   |               |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |   |   |   |               |   | ` pure ('i')
+|   | |     |   |   |   |               |   | ` pure 'i'
 |   | |     |   |   |   |               |   ` satisfy
 |   | |     |   |   |   |               ` <*>
 |   | |     |   |   |   |                 + <*>
-|   | |     |   |   |   |                 | + pure ((GHC.Types.:))
+|   | |     |   |   |   |                 | + pure (GHC.Types.:)
 |   | |     |   |   |   |                 | ` <*>
 |   | |     |   |   |   |                 |   + <*>
 |   | |     |   |   |   |                 |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |   |   |   |                 |   | ` pure ('o')
+|   | |     |   |   |   |                 |   | ` pure 'o'
 |   | |     |   |   |   |                 |   ` satisfy
 |   | |     |   |   |   |                 ` <*>
 |   | |     |   |   |   |                   + <*>
-|   | |     |   |   |   |                   | + pure ((GHC.Types.:))
+|   | |     |   |   |   |                   | + pure (GHC.Types.:)
 |   | |     |   |   |   |                   | ` <*>
 |   | |     |   |   |   |                   |   + <*>
 |   | |     |   |   |   |                   |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |   |   |   |                   |   | ` pure ('n')
+|   | |     |   |   |   |                   |   | ` pure 'n'
 |   | |     |   |   |   |                   |   ` satisfy
-|   | |     |   |   |   |                   ` pure (GHC.Types.[])
+|   | |     |   |   |   |                   ` pure GHC.Types.[]
 |   | |     |   |   |   ` ref <hidden>
 |   | |     |   |   ` ref <hidden>
 |   | |     |   ` <*>
@@ -324,7 +324,7 @@ lets
 |   | |     |     |       + <*>
 |   | |     |     |       | + <*>
 |   | |     |     |       | | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |     |       | | ` pure (GHC.Tuple.())
+|   | |     |     |       | | ` pure GHC.Tuple.()
 |   | |     |     |       | ` <*>
 |   | |     |     |       |   + <*>
 |   | |     |     |       |   | + <*>
@@ -336,7 +336,7 @@ lets
 |   | |     |     |       |   |   | ` <*>
 |   | |     |     |       |   |   |   + <*>
 |   | |     |     |       |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |     |       |   |   |   | ` pure (':')
+|   | |     |     |       |   |   |   | ` pure ':'
 |   | |     |     |       |   |   |   ` satisfy
 |   | |     |     |       |   |   ` ref <hidden>
 |   | |     |     |       |   ` ref <hidden>
@@ -365,7 +365,7 @@ lets
 |   | |     |   | ` <*>
 |   | |     |   |   + <*>
 |   | |     |   |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |   |   | ` pure ('!')
+|   | |     |   |   | ` pure '!'
 |   | |     |   |   ` satisfy
 |   | |     |   ` ref <hidden>
 |   | |     ` ref <hidden>
@@ -391,21 +391,21 @@ lets
 |   | |     | | | | ` try
 |   | |     | | | |   ` <*>
 |   | |     | | | |     + <*>
-|   | |     | | | |     | + pure ((GHC.Types.:))
+|   | |     | | | |     | + pure (GHC.Types.:)
 |   | |     | | | |     | ` <*>
 |   | |     | | | |     |   + <*>
 |   | |     | | | |     |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     | | | |     |   | ` pure ('i')
+|   | |     | | | |     |   | ` pure 'i'
 |   | |     | | | |     |   ` satisfy
 |   | |     | | | |     ` <*>
 |   | |     | | | |       + <*>
-|   | |     | | | |       | + pure ((GHC.Types.:))
+|   | |     | | | |       | + pure (GHC.Types.:)
 |   | |     | | | |       | ` <*>
 |   | |     | | | |       |   + <*>
 |   | |     | | | |       |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     | | | |       |   | ` pure ('f')
+|   | |     | | | |       |   | ` pure 'f'
 |   | |     | | | |       |   ` satisfy
-|   | |     | | | |       ` pure (GHC.Types.[])
+|   | |     | | | |       ` pure GHC.Types.[]
 |   | |     | | | ` ref <hidden>
 |   | |     | | ` <*>
 |   | |     | |   + <*>
@@ -425,45 +425,45 @@ lets
 |   | |     | |   |   |   | ` try
 |   | |     | |   |   |   |   ` <*>
 |   | |     | |   |   |   |     + <*>
-|   | |     | |   |   |   |     | + pure ((GHC.Types.:))
+|   | |     | |   |   |   |     | + pure (GHC.Types.:)
 |   | |     | |   |   |   |     | ` <*>
 |   | |     | |   |   |   |     |   + <*>
 |   | |     | |   |   |   |     |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     | |   |   |   |     |   | ` pure ('w')
+|   | |     | |   |   |   |     |   | ` pure 'w'
 |   | |     | |   |   |   |     |   ` satisfy
 |   | |     | |   |   |   |     ` <*>
 |   | |     | |   |   |   |       + <*>
-|   | |     | |   |   |   |       | + pure ((GHC.Types.:))
+|   | |     | |   |   |   |       | + pure (GHC.Types.:)
 |   | |     | |   |   |   |       | ` <*>
 |   | |     | |   |   |   |       |   + <*>
 |   | |     | |   |   |   |       |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     | |   |   |   |       |   | ` pure ('h')
+|   | |     | |   |   |   |       |   | ` pure 'h'
 |   | |     | |   |   |   |       |   ` satisfy
 |   | |     | |   |   |   |       ` <*>
 |   | |     | |   |   |   |         + <*>
-|   | |     | |   |   |   |         | + pure ((GHC.Types.:))
+|   | |     | |   |   |   |         | + pure (GHC.Types.:)
 |   | |     | |   |   |   |         | ` <*>
 |   | |     | |   |   |   |         |   + <*>
 |   | |     | |   |   |   |         |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     | |   |   |   |         |   | ` pure ('i')
+|   | |     | |   |   |   |         |   | ` pure 'i'
 |   | |     | |   |   |   |         |   ` satisfy
 |   | |     | |   |   |   |         ` <*>
 |   | |     | |   |   |   |           + <*>
-|   | |     | |   |   |   |           | + pure ((GHC.Types.:))
+|   | |     | |   |   |   |           | + pure (GHC.Types.:)
 |   | |     | |   |   |   |           | ` <*>
 |   | |     | |   |   |   |           |   + <*>
 |   | |     | |   |   |   |           |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     | |   |   |   |           |   | ` pure ('l')
+|   | |     | |   |   |   |           |   | ` pure 'l'
 |   | |     | |   |   |   |           |   ` satisfy
 |   | |     | |   |   |   |           ` <*>
 |   | |     | |   |   |   |             + <*>
-|   | |     | |   |   |   |             | + pure ((GHC.Types.:))
+|   | |     | |   |   |   |             | + pure (GHC.Types.:)
 |   | |     | |   |   |   |             | ` <*>
 |   | |     | |   |   |   |             |   + <*>
 |   | |     | |   |   |   |             |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     | |   |   |   |             |   | ` pure ('e')
+|   | |     | |   |   |   |             |   | ` pure 'e'
 |   | |     | |   |   |   |             |   ` satisfy
-|   | |     | |   |   |   |             ` pure (GHC.Types.[])
+|   | |     | |   |   |   |             ` pure GHC.Types.[]
 |   | |     | |   |   |   ` ref <hidden>
 |   | |     | |   |   ` ref <hidden>
 |   | |     | |   ` rec <hidden>
@@ -490,7 +490,7 @@ lets
 |   | |     |     |   |   |   |   + <*>
 |   | |     |     |   |   |   |   | + <*>
 |   | |     |     |   |   |   |   | | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |     |   |   |   |   | | ` pure (GHC.Tuple.())
+|   | |     |     |   |   |   |   | | ` pure GHC.Tuple.()
 |   | |     |     |   |   |   |   | ` <*>
 |   | |     |     |   |   |   |   |   + <*>
 |   | |     |     |   |   |   |   |   | + <*>
@@ -499,29 +499,29 @@ lets
 |   | |     |     |   |   |   |   |   | ` try
 |   | |     |     |   |   |   |   |   |   ` <*>
 |   | |     |     |   |   |   |   |   |     + <*>
-|   | |     |     |   |   |   |   |   |     | + pure ((GHC.Types.:))
+|   | |     |     |   |   |   |   |   |     | + pure (GHC.Types.:)
 |   | |     |     |   |   |   |   |   |     | ` <*>
 |   | |     |     |   |   |   |   |   |     |   + <*>
 |   | |     |     |   |   |   |   |   |     |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |     |   |   |   |   |   |     |   | ` pure ('v')
+|   | |     |     |   |   |   |   |   |     |   | ` pure 'v'
 |   | |     |     |   |   |   |   |   |     |   ` satisfy
 |   | |     |     |   |   |   |   |   |     ` <*>
 |   | |     |     |   |   |   |   |   |       + <*>
-|   | |     |     |   |   |   |   |   |       | + pure ((GHC.Types.:))
+|   | |     |     |   |   |   |   |   |       | + pure (GHC.Types.:)
 |   | |     |     |   |   |   |   |   |       | ` <*>
 |   | |     |     |   |   |   |   |   |       |   + <*>
 |   | |     |     |   |   |   |   |   |       |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |     |   |   |   |   |   |       |   | ` pure ('a')
+|   | |     |     |   |   |   |   |   |       |   | ` pure 'a'
 |   | |     |     |   |   |   |   |   |       |   ` satisfy
 |   | |     |     |   |   |   |   |   |       ` <*>
 |   | |     |     |   |   |   |   |   |         + <*>
-|   | |     |     |   |   |   |   |   |         | + pure ((GHC.Types.:))
+|   | |     |     |   |   |   |   |   |         | + pure (GHC.Types.:)
 |   | |     |     |   |   |   |   |   |         | ` <*>
 |   | |     |     |   |   |   |   |   |         |   + <*>
 |   | |     |     |   |   |   |   |   |         |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |     |   |   |   |   |   |         |   | ` pure ('r')
+|   | |     |     |   |   |   |   |   |         |   | ` pure 'r'
 |   | |     |     |   |   |   |   |   |         |   ` satisfy
-|   | |     |     |   |   |   |   |   |         ` pure (GHC.Types.[])
+|   | |     |     |   |   |   |   |   |         ` pure GHC.Types.[]
 |   | |     |     |   |   |   |   |   ` ref <hidden>
 |   | |     |     |   |   |   |   ` ref <hidden>
 |   | |     |     |   |   |   ` <*>
@@ -547,7 +547,7 @@ lets
 |   | |     |     |   |     | ` <*>
 |   | |     |     |   |     |   + <*>
 |   | |     |     |   |     |   | + pure (\x_0 -> \x_1 -> x_0)
-|   | |     |     |   |     |   | ` pure ('=')
+|   | |     |     |   |     |   | ` pure '='
 |   | |     |     |   |     |   ` satisfy
 |   | |     |     |   |     ` ref <hidden>
 |   | |     |     |   ` <*>
@@ -680,7 +680,7 @@ lets
 |   + <*>
 |   | + <*>
 |   | | + pure (\x_0 -> \x_1 -> x_0)
-|   | | ` pure (GHC.Tuple.())
+|   | | ` pure GHC.Tuple.()
 |   | ` <*>
 |   |   + <*>
 |   |   | + <*>
@@ -711,12 +711,12 @@ lets
 |   | | |   + <*>
 |   | | |   | + <*>
 |   | | |   | | + pure (\x_0 -> \x_1 -> x_0)
-|   | | |   | | ` pure ('0')
+|   | | |   | | ` pure '0'
 |   | | |   | ` satisfy
 |   | | |   ` <*>
 |   | | |     + <*>
 |   | | |     | + pure (\x_0 -> \x_1 -> x_0)
-|   | | |     | ` pure ('1')
+|   | | |     | ` pure '1'
 |   | | |     ` satisfy
 |   | | ` ref <hidden>
 |   | ` <*>
@@ -730,7 +730,7 @@ lets
 |   |   |   | ` <*>
 |   |   |   |   + <*>
 |   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
-|   |   |   |   | ` pure ('\'')
+|   |   |   |   | ` pure '\''
 |   |   |   |   ` satisfy
 |   |   |   ` <|>
 |   |   |     + <*>
@@ -748,7 +748,7 @@ lets
 |   |   |       | ` <*>
 |   |   |       |   + <*>
 |   |   |       |   | + pure (\x_0 -> \x_1 -> x_0)
-|   |   |       |   | ` pure ('\\')
+|   |   |       |   | ` pure '\\'
 |   |   |       |   ` satisfy
 |   |   |       ` <*>
 |   |   |         + <*>
@@ -763,7 +763,7 @@ lets
 |   |     | ` <*>
 |   |     |   + <*>
 |   |     |   | + pure (\x_0 -> \x_1 -> x_0)
-|   |     |   | ` pure ('\'')
+|   |     |   | ` pure '\''
 |   |     |   ` satisfy
 |   |     ` ref <hidden>
 |   ` <*>
@@ -776,7 +776,7 @@ lets
 |       + <*>
 |       | + <*>
 |       | | + pure (\x_0 -> \x_1 -> x_0)
-|       | | ` pure (GHC.Tuple.())
+|       | | ` pure GHC.Tuple.()
 |       | ` <|>
 |       |   + <*>
 |       |   | + <*>
@@ -791,7 +791,7 @@ lets
 |       |   | |     + <*>
 |       |   | |     | + <*>
 |       |   | |     | | + pure (\x_0 -> \x_1 -> x_0)
-|       |   | |     | | ` pure (GHC.Tuple.())
+|       |   | |     | | ` pure GHC.Tuple.()
 |       |   | |     | ` <*>
 |       |   | |     |   + <*>
 |       |   | |     |   | + <*>
@@ -814,13 +814,13 @@ lets
 |       |   ` ref <hidden>
 |       ` ref <hidden>
 + let <hidden>
-| ` pure (GHC.Tuple.())
+| ` pure GHC.Tuple.()
 + let <hidden>
-| ` pure (GHC.Tuple.())
+| ` pure GHC.Tuple.()
 + let <hidden>
 | ` satisfy
 ` <*>
-  + pure (GHC.Show.show)
+  + pure GHC.Show.show
   ` <*>
     + <*>
     | + pure (\x_0 -> \x_1 -> x_0)