sourcephile / git / haskell / symantic-parser.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
impl: fix machine error handling
[haskell/symantic-parser.git] / tests / Golden / Grammar / OptimizeGrammar / G14.expected.txt
diff --git a/tests/Golden/Grammar/OptimizeGrammar/G14.expected.txt b/tests/Golden/Grammar/OptimizeGrammar/G14.expected.txt
index 8e1aeccd84713af4896d2b892e9b0a4ee40ecc13..525def145924d5b26f037cf32f3fbca750cb1fe9 100644 (file)
--- a/tests/Golden/Grammar/OptimizeGrammar/G14.expected.txt
+++ b/tests/Golden/Grammar/OptimizeGrammar/G14.expected.txt
@@ -2,35 +2,35 @@ lets
 + let name
 | ` <*>
 |   + <*>
-|   | + pure (\x_0 -> \x_1 -> x_1)
+|   | + pure (\u_0 -> \u_1 -> u_1)
 |   | ` ref name
 |   ` <|>
 |     + <*>
-|     | + pure (\x_0 -> GHC.Tuple.())
+|     | + pure (\u_0 -> GHC.Tuple.())
 |     | ` ref name
 |     ` ref name
 + let name
 | ` <*>
 |   + <*>
-|   | + pure (\x_0 -> \x_1 -> GHC.Tuple.())
+|   | + pure (\u_0 -> \u_1 -> GHC.Tuple.())
 |   | ` ref name
 |   ` chainPost
 |     + pure GHC.Tuple.()
 |     ` <*>
-|       + pure (\x_0 -> \x_1 -> x_1)
+|       + pure (\u_0 -> \u_1 -> u_1)
 |       ` ref name
 + let name
 | ` <*>
 |   + <*>
 |   | + <*>
-|   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2)
+|   | | + pure (\u_0 -> \u_1 -> \u_2 -> u_2)
 |   | | ` ref name
 |   | ` chainPost
 |   |   + ref name
 |   |   ` <*>
 |   |     + <*>
 |   |     | + <*>
-|   |     | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
+|   |     | | + pure (\u_0 -> \u_1 -> \u_2 -> \u_3 -> u_3)
 |   |     | | ` satisfy ((GHC.Classes.==) '!')
 |   |     | ` ref name
 |   |     ` ref name
@@ -42,14 +42,14 @@ lets
 |   | | + <*>
 |   | | | + <*>
 |   | | | | + <*>
-|   | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> GHC.Tuple.())
+|   | | | | | + pure (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> GHC.Tuple.())
 |   | | | | | ` satisfy ((GHC.Classes.==) '[')
 |   | | | | ` ref name
 |   | | | ` ref name
 |   | | ` chainPost
 |   | |   + pure GHC.Tuple.()
 |   | |   ` <*>
-|   | |     + pure (\x_0 -> \x_1 -> x_1)
+|   | |     + pure (\u_0 -> \u_1 -> u_1)
 |   | |     ` ref name
 |   | ` satisfy ((GHC.Classes.==) ']')
 |   ` ref name
@@ -60,43 +60,39 @@ lets
 |   | | + <*>
 |   | | | + <*>
 |   | | | | + <*>
-|   | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> x_3)
+|   | | | | | + pure (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> u_3)
 |   | | | | | ` satisfy ((GHC.Classes.==) '{')
 |   | | | | ` ref name
 |   | | | ` chainPost
 |   | | |   + ref name
 |   | | |   ` <*>
-|   | | |     + pure (\x_0 -> \x_1 -> x_1)
+|   | | |     + pure (\u_0 -> \u_1 -> u_1)
 |   | | |     ` <|>
 |   | | |       + <*>
-|   | | |       | + <*>
-|   | | |       | | + pure (\x_0 -> \x_1 -> x_1)
-|   | | |       | | ` try
-|   | | |       | |   ` <*>
-|   | | |       | |     + <*>
-|   | | |       | |     | + pure (\x_0 -> \x_1 -> (GHC.Types.:) 'i' ((GHC.Types.:) 'f' GHC.Types.[]))
-|   | | |       | |     | ` satisfy ((GHC.Classes.==) 'i')
-|   | | |       | |     ` satisfy ((GHC.Classes.==) 'f')
-|   | | |       | ` ref name
+|   | | |       | + pure (\u_0 -> GHC.Tuple.())
+|   | | |       | ` try
+|   | | |       |   ` <*>
+|   | | |       |     + <*>
+|   | | |       |     | + pure (\u_0 -> \u_1 -> (GHC.Types.:) 'i' ((GHC.Types.:) 'f' GHC.Types.[]))
+|   | | |       |     | ` satisfy ((GHC.Classes.==) 'i')
+|   | | |       |     ` satisfy ((GHC.Classes.==) 'f')
 |   | | |       ` <|>
 |   | | |         + <*>
 |   | | |         | + <*>
 |   | | |         | | + <*>
-|   | | |         | | | + <*>
-|   | | |         | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
-|   | | |         | | | | ` try
-|   | | |         | | | |   ` <*>
-|   | | |         | | | |     + <*>
-|   | | |         | | | |     | + <*>
-|   | | |         | | | |     | | + <*>
-|   | | |         | | | |     | | | + <*>
-|   | | |         | | | |     | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> (GHC.Types.:) 'w' ((GHC.Types.:) 'h' ((GHC.Types.:) 'i' ((GHC.Types.:) 'l' ((GHC.Types.:) 'e' GHC.Types.[])))))
-|   | | |         | | | |     | | | | ` satisfy ((GHC.Classes.==) 'w')
-|   | | |         | | | |     | | | ` satisfy ((GHC.Classes.==) 'h')
-|   | | |         | | | |     | | ` satisfy ((GHC.Classes.==) 'i')
-|   | | |         | | | |     | ` satisfy ((GHC.Classes.==) 'l')
-|   | | |         | | | |     ` satisfy ((GHC.Classes.==) 'e')
-|   | | |         | | | ` ref name
+|   | | |         | | | + pure (\u_0 -> \u_1 -> \u_2 -> u_2)
+|   | | |         | | | ` try
+|   | | |         | | |   ` <*>
+|   | | |         | | |     + <*>
+|   | | |         | | |     | + <*>
+|   | | |         | | |     | | + <*>
+|   | | |         | | |     | | | + <*>
+|   | | |         | | |     | | | | + pure (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> (GHC.Types.:) 'w' ((GHC.Types.:) 'h' ((GHC.Types.:) 'i' ((GHC.Types.:) 'l' ((GHC.Types.:) 'e' GHC.Types.[])))))
+|   | | |         | | |     | | | | ` satisfy ((GHC.Classes.==) 'w')
+|   | | |         | | |     | | | ` satisfy ((GHC.Classes.==) 'h')
+|   | | |         | | |     | | ` satisfy ((GHC.Classes.==) 'i')
+|   | | |         | | |     | ` satisfy ((GHC.Classes.==) 'l')
+|   | | |         | | |     ` satisfy ((GHC.Classes.==) 'e')
 |   | | |         | | ` ref name
 |   | | |         | ` rec name
 |   | | |         ` <|>
@@ -111,20 +107,18 @@ lets
 |   | | |           |   | | | | | | + <*>
 |   | | |           |   | | | | | | | + <*>
 |   | | |           |   | | | | | | | | + <*>
-|   | | |           |   | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> \x_9 -> x_8)
+|   | | |           |   | | | | | | | | | + pure (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> \u_6 -> \u_7 -> \u_8 -> \u_9 -> u_8)
 |   | | |           |   | | | | | | | | | ` <|>
 |   | | |           |   | | | | | | | | |   + <*>
-|   | | |           |   | | | | | | | | |   | + <*>
-|   | | |           |   | | | | | | | | |   | | + pure (\x_0 -> \x_1 -> GHC.Tuple.())
-|   | | |           |   | | | | | | | | |   | | ` try
-|   | | |           |   | | | | | | | | |   | |   ` <*>
-|   | | |           |   | | | | | | | | |   | |     + <*>
-|   | | |           |   | | | | | | | | |   | |     | + <*>
-|   | | |           |   | | | | | | | | |   | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) 'v' ((GHC.Types.:) 'a' ((GHC.Types.:) 'r' GHC.Types.[])))
-|   | | |           |   | | | | | | | | |   | |     | | ` satisfy ((GHC.Classes.==) 'v')
-|   | | |           |   | | | | | | | | |   | |     | ` satisfy ((GHC.Classes.==) 'a')
-|   | | |           |   | | | | | | | | |   | |     ` satisfy ((GHC.Classes.==) 'r')
-|   | | |           |   | | | | | | | | |   | ` ref name
+|   | | |           |   | | | | | | | | |   | + pure (\u_0 -> GHC.Tuple.())
+|   | | |           |   | | | | | | | | |   | ` try
+|   | | |           |   | | | | | | | | |   |   ` <*>
+|   | | |           |   | | | | | | | | |   |     + <*>
+|   | | |           |   | | | | | | | | |   |     | + <*>
+|   | | |           |   | | | | | | | | |   |     | | + pure (\u_0 -> \u_1 -> \u_2 -> (GHC.Types.:) 'v' ((GHC.Types.:) 'a' ((GHC.Types.:) 'r' GHC.Types.[])))
+|   | | |           |   | | | | | | | | |   |     | | ` satisfy ((GHC.Classes.==) 'v')
+|   | | |           |   | | | | | | | | |   |     | ` satisfy ((GHC.Classes.==) 'a')
+|   | | |           |   | | | | | | | | |   |     ` satisfy ((GHC.Classes.==) 'r')
 |   | | |           |   | | | | | | | | |   ` ref name
 |   | | |           |   | | | | | | | | ` ref name
 |   | | |           |   | | | | | | | ` chainPost
@@ -132,7 +126,7 @@ lets
 |   | | |           |   | | | | | | |   ` <*>
 |   | | |           |   | | | | | | |     + <*>
 |   | | |           |   | | | | | | |     | + <*>
-|   | | |           |   | | | | | | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
+|   | | |           |   | | | | | | |     | | + pure (\u_0 -> \u_1 -> \u_2 -> u_0 u_2)
 |   | | |           |   | | | | | | |     | | ` ref name
 |   | | |           |   | | | | | | |     | ` ref name
 |   | | |           |   | | | | | | |     ` ref name
@@ -145,7 +139,7 @@ lets
 |   | | |           |   | |   ` <*>
 |   | | |           |   | |     + <*>
 |   | | |           |   | |     | + <*>
-|   | | |           |   | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
+|   | | |           |   | |     | | + pure (\u_0 -> \u_1 -> \u_2 -> u_0 u_2)
 |   | | |           |   | |     | | ` ref name
 |   | | |           |   | |     | ` ref name
 |   | | |           |   | |     ` ref name
@@ -153,7 +147,7 @@ lets
 |   | | |           |   ` ref name
 |   | | |           ` <*>
 |   | | |             + <*>
-|   | | |             | + pure (\x_0 -> \x_1 -> x_0)
+|   | | |             | + pure (\u_0 -> \u_1 -> u_0)
 |   | | |             | ` ref name
 |   | | |             ` ref name
 |   | | ` ref name
@@ -162,61 +156,57 @@ lets
 + let name
 | ` <*>
 |   + <*>
-|   | + pure (\x_0 -> \x_1 -> '(')
+|   | + pure (\u_0 -> \u_1 -> '(')
 |   | ` satisfy ((GHC.Classes.==) '(')
 |   ` ref name
 + let name
 | ` <*>
 |   + <*>
-|   | + pure (\x_0 -> \x_1 -> ')')
+|   | + pure (\u_0 -> \u_1 -> ')')
 |   | ` satisfy ((GHC.Classes.==) ')')
 |   ` ref name
 + let name
 | ` <*>
 |   + <*>
-|   | + pure (\x_0 -> \x_1 -> ',')
+|   | + pure (\u_0 -> \u_1 -> ',')
 |   | ` satisfy ((GHC.Classes.==) ',')
 |   ` ref name
 + let name
 | ` <*>
 |   + <*>
-|   | + pure (\x_0 -> \x_1 -> ';')
+|   | + pure (\u_0 -> \u_1 -> ';')
 |   | ` satisfy ((GHC.Classes.==) ';')
 |   ` ref name
 + let name
 | ` <*>
 |   + <*>
-|   | + pure (\x_0 -> \x_1 -> x_1)
-|   | ` satisfy GHC.Unicode.isSpace
-|   ` ref name
-+ let name
-| ` <*>
-|   + <*>
-|   | + pure (\x_0 -> \x_1 -> x_1)
+|   | + pure (\u_0 -> \u_1 -> u_1)
 |   | ` try
 |   |   ` <*>
 |   |     + <*>
-|   |     | + <*>
-|   |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2)
-|   |     | | ` satisfy Parsers.Nandlang.nandIdentStart
-|   |     | ` chainPost
-|   |     |   + ref name
-|   |     |   ` <*>
-|   |     |     + pure (\x_0 -> \x_1 -> x_1)
-|   |     |     ` satisfy Parsers.Nandlang.nandIdentLetter
-|   |     ` ref name
+|   |     | + pure (\u_0 -> \u_1 -> GHC.Tuple.())
+|   |     | ` satisfy Parsers.Nandlang.nandIdentStart
+|   |     ` chainPost
+|   |       + ref name
+|   |       ` <*>
+|   |         + pure (\u_0 -> \u_1 -> u_1)
+|   |         ` satisfy Parsers.Nandlang.nandIdentLetter
 |   ` ref name
 + let name
+| ` <*>
+|   + pure (\u_0 -> GHC.Tuple.())
+|   ` satisfy GHC.Unicode.isSpace
++ let name
 | ` <|>
 |   + <*>
 |   | + <*>
-|   | | + pure (\x_0 -> \x_1 -> x_1)
+|   | | + pure (\u_0 -> \u_1 -> u_1)
 |   | | ` <|>
 |   | |   + <*>
-|   | |   | + pure (\x_0 -> '0')
+|   | |   | + pure (\u_0 -> '0')
 |   | |   | ` satisfy ((GHC.Classes.==) '0')
 |   | |   ` <*>
-|   | |     + pure (\x_0 -> '1')
+|   | |     + pure (\u_0 -> '1')
 |   | |     ` satisfy ((GHC.Classes.==) '1')
 |   | ` ref name
 |   ` <|>
@@ -224,18 +214,18 @@ lets
 |     | + <*>
 |     | | + <*>
 |     | | | + <*>
-|     | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_1)
+|     | | | | + pure (\u_0 -> \u_1 -> \u_2 -> \u_3 -> u_1)
 |     | | | | ` satisfy ((GHC.Classes.==) '\'')
 |     | | | ` <|>
 |     | | |   + <*>
 |     | | |   | + <*>
-|     | | |   | | + pure (\x_0 -> \x_1 -> x_1)
+|     | | |   | | + pure (\u_0 -> \u_1 -> u_1)
 |     | | |   | | ` satisfy Parsers.Nandlang.nandStringLetter
 |     | | |   | ` ref name
 |     | | |   ` <*>
 |     | | |     + <*>
 |     | | |     | + <*>
-|     | | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2)
+|     | | |     | | + pure (\u_0 -> \u_1 -> \u_2 -> u_2)
 |     | | |     | | ` satisfy ((GHC.Classes.==) '\\')
 |     | | |     | ` satisfy (\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('t' GHC.Classes.== t_0) GHC.Classes.|| (('n' GHC.Classes.== t_0) GHC.Classes.|| (('v' GHC.Classes.== t_0) GHC.Classes.|| (('f' GHC.Classes.== t_0) GHC.Classes.|| (('r' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))
 |     | | |     ` ref name
@@ -243,29 +233,29 @@ lets
 |     | ` ref name
 |     ` <*>
 |       + <*>
-|       | + pure (\x_0 -> \x_1 -> x_1)
+|       | + pure (\u_0 -> \u_1 -> u_1)
 |       | ` ref name
 |       ` <|>
 |         + <*>
-|         | + pure (\x_0 -> GHC.Tuple.())
+|         | + pure (\u_0 -> GHC.Tuple.())
 |         | ` <|>
 |         |   + <*>
 |         |   | + <*>
 |         |   | | + <*>
-|         |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1)
+|         |   | | | + pure (\u_0 -> \u_1 -> \u_2 -> u_1)
 |         |   | | | ` ref name
 |         |   | | ` <|>
 |         |   | |   + <*>
 |         |   | |   | + <*>
 |         |   | |   | | + <*>
-|         |   | |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
+|         |   | |   | | | + pure (\u_0 -> \u_1 -> \u_2 -> GHC.Tuple.())
 |         |   | |   | | | ` rec name
 |         |   | |   | | ` chainPost
 |         |   | |   | |   + ref name
 |         |   | |   | |   ` <*>
 |         |   | |   | |     + <*>
 |         |   | |   | |     | + <*>
-|         |   | |   | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
+|         |   | |   | |     | | + pure (\u_0 -> \u_1 -> \u_2 -> u_0 u_2)
 |         |   | |   | |     | | ` ref name
 |         |   | |   | |     | ` ref name
 |         |   | |   | |     ` rec name
@@ -279,21 +269,21 @@ lets
 |   + <*>
 |   | + <*>
 |   | | + <*>
-|   | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
+|   | | | + pure (\u_0 -> \u_1 -> \u_2 -> GHC.Tuple.())
 |   | | | ` ref name
 |   | | ` chainPost
 |   | |   + ref name
 |   | |   ` <*>
 |   | |     + <*>
 |   | |     | + <*>
-|   | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
+|   | |     | | + pure (\u_0 -> \u_1 -> \u_2 -> u_0 u_2)
 |   | |     | | ` ref name
 |   | |     | ` ref name
 |   | |     ` ref name
 |   | ` ref name
 |   ` ref name
 + let name
-| ` pure (\x_0 -> \x_1 -> x_1)
+| ` pure (\u_0 -> \u_1 -> u_1)
 + let name
 | ` pure GHC.Tuple.()
 + let name
@@ -303,52 +293,48 @@ lets
 ` <*>
   + <*>
   | + <*>
-  | | + <*>
-  | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Show.show x_2)
-  | | | ` ref name
-  | | ` chainPost
-  | |   + ref name
-  | |   ` <*>
-  | |     + <*>
-  | |     | + <*>
-  | |     | | + <*>
-  | |     | | | + <*>
-  | |     | | | | + <*>
-  | |     | | | | | + <*>
-  | |     | | | | | | + <*>
-  | |     | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> x_8)
-  | |     | | | | | | | ` try
-  | |     | | | | | | |   ` <*>
-  | |     | | | | | | |     + <*>
-  | |     | | | | | | |     | + <*>
-  | |     | | | | | | |     | | + <*>
-  | |     | | | | | | |     | | | + <*>
-  | |     | | | | | | |     | | | | + <*>
-  | |     | | | | | | |     | | | | | + <*>
-  | |     | | | | | | |     | | | | | | + <*>
-  | |     | | | | | | |     | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> (GHC.Types.:) 'f' ((GHC.Types.:) 'u' ((GHC.Types.:) 'n' ((GHC.Types.:) 'c' ((GHC.Types.:) 't' ((GHC.Types.:) 'i' ((GHC.Types.:) 'o' ((GHC.Types.:) 'n' GHC.Types.[]))))))))
-  | |     | | | | | | |     | | | | | | | ` satisfy ((GHC.Classes.==) 'f')
-  | |     | | | | | | |     | | | | | | ` satisfy ((GHC.Classes.==) 'u')
-  | |     | | | | | | |     | | | | | ` satisfy ((GHC.Classes.==) 'n')
-  | |     | | | | | | |     | | | | ` satisfy ((GHC.Classes.==) 'c')
-  | |     | | | | | | |     | | | ` satisfy ((GHC.Classes.==) 't')
-  | |     | | | | | | |     | | ` satisfy ((GHC.Classes.==) 'i')
-  | |     | | | | | | |     | ` satisfy ((GHC.Classes.==) 'o')
-  | |     | | | | | | |     ` satisfy ((GHC.Classes.==) 'n')
-  | |     | | | | | | ` ref name
-  | |     | | | | | ` ref name
-  | |     | | | | ` ref name
-  | |     | | | ` ref name
-  | |     | | ` <|>
-  | |     | |   + <*>
-  | |     | |   | + <*>
-  | |     | |   | | + <*>
-  | |     | |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
-  | |     | |   | | | ` satisfy ((GHC.Classes.==) ':')
-  | |     | |   | | ` ref name
-  | |     | |   | ` ref name
-  | |     | |   ` ref name
-  | |     | ` ref name
-  | |     ` ref name
-  | ` ref name
+  | | + pure (\u_0 -> \u_1 -> \u_2 -> GHC.Show.show GHC.Tuple.())
+  | | ` ref name
+  | ` chainPost
+  |   + ref name
+  |   ` <*>
+  |     + <*>
+  |     | + <*>
+  |     | | + <*>
+  |     | | | + <*>
+  |     | | | | + <*>
+  |     | | | | | + <*>
+  |     | | | | | | + pure (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> \u_6 -> \u_7 -> u_7)
+  |     | | | | | | ` try
+  |     | | | | | |   ` <*>
+  |     | | | | | |     + <*>
+  |     | | | | | |     | + <*>
+  |     | | | | | |     | | + <*>
+  |     | | | | | |     | | | + <*>
+  |     | | | | | |     | | | | + <*>
+  |     | | | | | |     | | | | | + <*>
+  |     | | | | | |     | | | | | | + <*>
+  |     | | | | | |     | | | | | | | + pure (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> \u_6 -> \u_7 -> (GHC.Types.:) 'f' ((GHC.Types.:) 'u' ((GHC.Types.:) 'n' ((GHC.Types.:) 'c' ((GHC.Types.:) 't' ((GHC.Types.:) 'i' ((GHC.Types.:) 'o' ((GHC.Types.:) 'n' GHC.Types.[]))))))))
+  |     | | | | | |     | | | | | | | ` satisfy ((GHC.Classes.==) 'f')
+  |     | | | | | |     | | | | | | ` satisfy ((GHC.Classes.==) 'u')
+  |     | | | | | |     | | | | | ` satisfy ((GHC.Classes.==) 'n')
+  |     | | | | | |     | | | | ` satisfy ((GHC.Classes.==) 'c')
+  |     | | | | | |     | | | ` satisfy ((GHC.Classes.==) 't')
+  |     | | | | | |     | | ` satisfy ((GHC.Classes.==) 'i')
+  |     | | | | | |     | ` satisfy ((GHC.Classes.==) 'o')
+  |     | | | | | |     ` satisfy ((GHC.Classes.==) 'n')
+  |     | | | | | ` ref name
+  |     | | | | ` ref name
+  |     | | | ` ref name
+  |     | | ` <|>
+  |     | |   + <*>
+  |     | |   | + <*>
+  |     | |   | | + <*>
+  |     | |   | | | + pure (\u_0 -> \u_1 -> \u_2 -> GHC.Tuple.())
+  |     | |   | | | ` satisfy ((GHC.Classes.==) ':')
+  |     | |   | | ` ref name
+  |     | |   | ` ref name
+  |     | |   ` ref name
+  |     | ` ref name
+  |     ` ref name
   ` eof
Library for parsing