tests/Golden/Grammar/OptimizeGrammar/G14.expected.txt

   1 lets
   2 + let name
   3 | ` <*>
   4 |   + <*>
   5 |   | + pure (\x_0 -> \x_1 -> x_1)
   6 |   | ` ref name
   7 |   ` <|>
   8 |     + <*>
   9 |     | + pure (\x_0 -> GHC.Tuple.())
  10 |     | ` ref name
  11 |     ` ref name
  12 + let name
  13 | ` <*>
  14 |   + <*>
  15 |   | + pure (\x_0 -> \x_1 -> GHC.Tuple.())
  16 |   | ` ref name
  17 |   ` chainPost
  18 |     + pure GHC.Tuple.()
  19 |     ` <*>
  20 |       + pure (\x_0 -> \x_1 -> x_1)
  21 |       ` ref name
  22 + let name
  23 | ` <*>
  24 |   + <*>
  25 |   | + <*>
  26 |   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2)
  27 |   | | ` ref name
  28 |   | ` chainPost
  29 |   |   + ref name
  30 |   |   ` <*>
  31 |   |     + <*>
  32 |   |     | + <*>
  33 |   |     | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
  34 |   |     | | ` satisfy ((GHC.Classes.==) '!')
  35 |   |     | ` ref name
  36 |   |     ` ref name
  37 |   ` ref name
  38 + let name
  39 | ` <*>
  40 |   + <*>
  41 |   | + <*>
  42 |   | | + <*>
  43 |   | | | + <*>
  44 |   | | | | + <*>
  45 |   | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> GHC.Tuple.())
  46 |   | | | | | ` satisfy ((GHC.Classes.==) '[')
  47 |   | | | | ` ref name
  48 |   | | | ` ref name
  49 |   | | ` chainPost
  50 |   | |   + pure GHC.Tuple.()
  51 |   | |   ` <*>
  52 |   | |     + pure (\x_0 -> \x_1 -> x_1)
  53 |   | |     ` ref name
  54 |   | ` satisfy ((GHC.Classes.==) ']')
  55 |   ` ref name
  56 + let name
  57 | ` <*>
  58 |   + <*>
  59 |   | + <*>
  60 |   | | + <*>
  61 |   | | | + <*>
  62 |   | | | | + <*>
  63 |   | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> x_3)
  64 |   | | | | | ` satisfy ((GHC.Classes.==) '{')
  65 |   | | | | ` ref name
  66 |   | | | ` chainPost
  67 |   | | |   + ref name
  68 |   | | |   ` <*>
  69 |   | | |     + pure (\x_0 -> \x_1 -> x_1)
  70 |   | | |     ` <|>
  71 |   | | |       + <*>
  72 |   | | |       | + pure (\x_0 -> GHC.Tuple.())
  73 |   | | |       | ` try
  74 |   | | |       |   ` <*>
  75 |   | | |       |     + <*>
  76 |   | | |       |     | + pure (\x_0 -> \x_1 -> (GHC.Types.:) 'i' ((GHC.Types.:) 'f' GHC.Types.[]))
  77 |   | | |       |     | ` satisfy ((GHC.Classes.==) 'i')
  78 |   | | |       |     ` satisfy ((GHC.Classes.==) 'f')
  79 |   | | |       ` <|>
  80 |   | | |         + <*>
  81 |   | | |         | + <*>
  82 |   | | |         | | + <*>
  83 |   | | |         | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2)
  84 |   | | |         | | | ` try
  85 |   | | |         | | |   ` <*>
  86 |   | | |         | | |     + <*>
  87 |   | | |         | | |     | + <*>
  88 |   | | |         | | |     | | + <*>
  89 |   | | |         | | |     | | | + <*>
  90 |   | | |         | | |     | | | | + 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.[])))))
  91 |   | | |         | | |     | | | | ` satisfy ((GHC.Classes.==) 'w')
  92 |   | | |         | | |     | | | ` satisfy ((GHC.Classes.==) 'h')
  93 |   | | |         | | |     | | ` satisfy ((GHC.Classes.==) 'i')
  94 |   | | |         | | |     | ` satisfy ((GHC.Classes.==) 'l')
  95 |   | | |         | | |     ` satisfy ((GHC.Classes.==) 'e')
  96 |   | | |         | | ` ref name
  97 |   | | |         | ` rec name
  98 |   | | |         ` <|>
  99 |   | | |           + try
 100 |   | | |           | ` <*>
 101 |   | | |           |   + <*>
 102 |   | | |           |   | + <*>
 103 |   | | |           |   | | + <*>
 104 |   | | |           |   | | | + <*>
 105 |   | | |           |   | | | | + <*>
 106 |   | | |           |   | | | | | + <*>
 107 |   | | |           |   | | | | | | + <*>
 108 |   | | |           |   | | | | | | | + <*>
 109 |   | | |           |   | | | | | | | | + <*>
 110 |   | | |           |   | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> \x_9 -> x_8)
 111 |   | | |           |   | | | | | | | | | ` <|>
 112 |   | | |           |   | | | | | | | | |   + <*>
 113 |   | | |           |   | | | | | | | | |   | + pure (\x_0 -> GHC.Tuple.())
 114 |   | | |           |   | | | | | | | | |   | ` try
 115 |   | | |           |   | | | | | | | | |   |   ` <*>
 116 |   | | |           |   | | | | | | | | |   |     + <*>
 117 |   | | |           |   | | | | | | | | |   |     | + <*>
 118 |   | | |           |   | | | | | | | | |   |     | | + pure (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) 'v' ((GHC.Types.:) 'a' ((GHC.Types.:) 'r' GHC.Types.[])))
 119 |   | | |           |   | | | | | | | | |   |     | | ` satisfy ((GHC.Classes.==) 'v')
 120 |   | | |           |   | | | | | | | | |   |     | ` satisfy ((GHC.Classes.==) 'a')
 121 |   | | |           |   | | | | | | | | |   |     ` satisfy ((GHC.Classes.==) 'r')
 122 |   | | |           |   | | | | | | | | |   ` ref name
 123 |   | | |           |   | | | | | | | | ` ref name
 124 |   | | |           |   | | | | | | | ` chainPost
 125 |   | | |           |   | | | | | | |   + ref name
 126 |   | | |           |   | | | | | | |   ` <*>
 127 |   | | |           |   | | | | | | |     + <*>
 128 |   | | |           |   | | | | | | |     | + <*>
 129 |   | | |           |   | | | | | | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
 130 |   | | |           |   | | | | | | |     | | ` ref name
 131 |   | | |           |   | | | | | | |     | ` ref name
 132 |   | | |           |   | | | | | | |     ` ref name
 133 |   | | |           |   | | | | | | ` ref name
 134 |   | | |           |   | | | | | ` satisfy ((GHC.Classes.==) '=')
 135 |   | | |           |   | | | | ` ref name
 136 |   | | |           |   | | | ` ref name
 137 |   | | |           |   | | ` chainPost
 138 |   | | |           |   | |   + ref name
 139 |   | | |           |   | |   ` <*>
 140 |   | | |           |   | |     + <*>
 141 |   | | |           |   | |     | + <*>
 142 |   | | |           |   | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
 143 |   | | |           |   | |     | | ` ref name
 144 |   | | |           |   | |     | ` ref name
 145 |   | | |           |   | |     ` ref name
 146 |   | | |           |   | ` ref name
 147 |   | | |           |   ` ref name
 148 |   | | |           ` <*>
 149 |   | | |             + <*>
 150 |   | | |             | + pure (\x_0 -> \x_1 -> x_0)
 151 |   | | |             | ` ref name
 152 |   | | |             ` ref name
 153 |   | | ` ref name
 154 |   | ` satisfy ((GHC.Classes.==) '}')
 155 |   ` ref name
 156 + let name
 157 | ` <*>
 158 |   + <*>
 159 |   | + pure (\x_0 -> \x_1 -> '(')
 160 |   | ` satisfy ((GHC.Classes.==) '(')
 161 |   ` ref name
 162 + let name
 163 | ` <*>
 164 |   + <*>
 165 |   | + pure (\x_0 -> \x_1 -> ')')
 166 |   | ` satisfy ((GHC.Classes.==) ')')
 167 |   ` ref name
 168 + let name
 169 | ` <*>
 170 |   + <*>
 171 |   | + pure (\x_0 -> \x_1 -> ',')
 172 |   | ` satisfy ((GHC.Classes.==) ',')
 173 |   ` ref name
 174 + let name
 175 | ` <*>
 176 |   + <*>
 177 |   | + pure (\x_0 -> \x_1 -> ';')
 178 |   | ` satisfy ((GHC.Classes.==) ';')
 179 |   ` ref name
 180 + let name
 181 | ` <*>
 182 |   + <*>
 183 |   | + pure (\x_0 -> \x_1 -> x_1)
 184 |   | ` try
 185 |   |   ` <*>
 186 |   |     + <*>
 187 |   |     | + pure (\x_0 -> \x_1 -> GHC.Tuple.())
 188 |   |     | ` satisfy Parsers.Nandlang.nandIdentStart
 189 |   |     ` chainPost
 190 |   |       + ref name
 191 |   |       ` <*>
 192 |   |         + pure (\x_0 -> \x_1 -> x_1)
 193 |   |         ` satisfy Parsers.Nandlang.nandIdentLetter
 194 |   ` ref name
 195 + let name
 196 | ` <*>
 197 |   + pure (\x_0 -> GHC.Tuple.())
 198 |   ` satisfy GHC.Unicode.isSpace
 199 + let name
 200 | ` <|>
 201 |   + <*>
 202 |   | + <*>
 203 |   | | + pure (\x_0 -> \x_1 -> x_1)
 204 |   | | ` <|>
 205 |   | |   + <*>
 206 |   | |   | + pure (\x_0 -> '0')
 207 |   | |   | ` satisfy ((GHC.Classes.==) '0')
 208 |   | |   ` <*>
 209 |   | |     + pure (\x_0 -> '1')
 210 |   | |     ` satisfy ((GHC.Classes.==) '1')
 211 |   | ` ref name
 212 |   ` <|>
 213 |     + <*>
 214 |     | + <*>
 215 |     | | + <*>
 216 |     | | | + <*>
 217 |     | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_1)
 218 |     | | | | ` satisfy ((GHC.Classes.==) '\'')
 219 |     | | | ` <|>
 220 |     | | |   + <*>
 221 |     | | |   | + <*>
 222 |     | | |   | | + pure (\x_0 -> \x_1 -> x_1)
 223 |     | | |   | | ` satisfy Parsers.Nandlang.nandStringLetter
 224 |     | | |   | ` ref name
 225 |     | | |   ` <*>
 226 |     | | |     + <*>
 227 |     | | |     | + <*>
 228 |     | | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2)
 229 |     | | |     | | ` satisfy ((GHC.Classes.==) '\\')
 230 |     | | |     | ` 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))))))
 231 |     | | |     ` ref name
 232 |     | | ` satisfy ((GHC.Classes.==) '\'')
 233 |     | ` ref name
 234 |     ` <*>
 235 |       + <*>
 236 |       | + pure (\x_0 -> \x_1 -> x_1)
 237 |       | ` ref name
 238 |       ` <|>
 239 |         + <*>
 240 |         | + pure (\x_0 -> GHC.Tuple.())
 241 |         | ` <|>
 242 |         |   + <*>
 243 |         |   | + <*>
 244 |         |   | | + <*>
 245 |         |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1)
 246 |         |   | | | ` ref name
 247 |         |   | | ` <|>
 248 |         |   | |   + <*>
 249 |         |   | |   | + <*>
 250 |         |   | |   | | + <*>
 251 |         |   | |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
 252 |         |   | |   | | | ` rec name
 253 |         |   | |   | | ` chainPost
 254 |         |   | |   | |   + ref name
 255 |         |   | |   | |   ` <*>
 256 |         |   | |   | |     + <*>
 257 |         |   | |   | |     | + <*>
 258 |         |   | |   | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
 259 |         |   | |   | |     | | ` ref name
 260 |         |   | |   | |     | ` ref name
 261 |         |   | |   | |     ` rec name
 262 |         |   | |   | ` ref name
 263 |         |   | |   ` ref name
 264 |         |   | ` ref name
 265 |         |   ` ref name
 266 |         ` ref name
 267 + let name
 268 | ` <|>
 269 |   + <*>
 270 |   | + <*>
 271 |   | | + <*>
 272 |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
 273 |   | | | ` ref name
 274 |   | | ` chainPost
 275 |   | |   + ref name
 276 |   | |   ` <*>
 277 |   | |     + <*>
 278 |   | |     | + <*>
 279 |   | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
 280 |   | |     | | ` ref name
 281 |   | |     | ` ref name
 282 |   | |     ` ref name
 283 |   | ` ref name
 284 |   ` ref name
 285 + let name
 286 | ` pure (\x_0 -> \x_1 -> x_1)
 287 + let name
 288 | ` pure GHC.Tuple.()
 289 + let name
 290 | ` pure GHC.Tuple.()
 291 + let name
 292 | ` satisfy (\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('1' GHC.Classes.== t_0) GHC.Classes.|| (('2' GHC.Classes.== t_0) GHC.Classes.|| (('3' GHC.Classes.== t_0) GHC.Classes.|| (('4' GHC.Classes.== t_0) GHC.Classes.|| (('5' GHC.Classes.== t_0) GHC.Classes.|| (('6' GHC.Classes.== t_0) GHC.Classes.|| (('7' GHC.Classes.== t_0) GHC.Classes.|| (('8' GHC.Classes.== t_0) GHC.Classes.|| (('9' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))))))
 293 ` <*>
 294   + <*>
 295   | + <*>
 296   | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Show.show GHC.Tuple.())
 297   | | ` ref name
 298   | ` chainPost
 299   |   + ref name
 300   |   ` <*>
 301   |     + <*>
 302   |     | + <*>
 303   |     | | + <*>
 304   |     | | | + <*>
 305   |     | | | | + <*>
 306   |     | | | | | + <*>
 307   |     | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> x_7)
 308   |     | | | | | | ` try
 309   |     | | | | | |   ` <*>
 310   |     | | | | | |     + <*>
 311   |     | | | | | |     | + <*>
 312   |     | | | | | |     | | + <*>
 313   |     | | | | | |     | | | + <*>
 314   |     | | | | | |     | | | | + <*>
 315   |     | | | | | |     | | | | | + <*>
 316   |     | | | | | |     | | | | | | + <*>
 317   |     | | | | | |     | | | | | | | + 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.[]))))))))
 318   |     | | | | | |     | | | | | | | ` satisfy ((GHC.Classes.==) 'f')
 319   |     | | | | | |     | | | | | | ` satisfy ((GHC.Classes.==) 'u')
 320   |     | | | | | |     | | | | | ` satisfy ((GHC.Classes.==) 'n')
 321   |     | | | | | |     | | | | ` satisfy ((GHC.Classes.==) 'c')
 322   |     | | | | | |     | | | ` satisfy ((GHC.Classes.==) 't')
 323   |     | | | | | |     | | ` satisfy ((GHC.Classes.==) 'i')
 324   |     | | | | | |     | ` satisfy ((GHC.Classes.==) 'o')
 325   |     | | | | | |     ` satisfy ((GHC.Classes.==) 'n')
 326   |     | | | | | ` ref name
 327   |     | | | | ` ref name
 328   |     | | | ` ref name
 329   |     | | ` <|>
 330   |     | |   + <*>
 331   |     | |   | + <*>
 332   |     | |   | | + <*>
 333   |     | |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
 334   |     | |   | | | ` satisfy ((GHC.Classes.==) ':')
 335   |     | |   | | ` ref name
 336   |     | |   | ` ref name
 337   |     | |   ` ref name
 338   |     | ` ref name
 339   |     ` ref name
 340   ` eof