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

   1 lets
   2 + let <hidden>
   3 | ` <*>
   4 |   + <*>
   5 |   | + pure (\x_0 -> \x_1 -> x_1)
   6 |   | ` ref <hidden>
   7 |   ` <|>
   8 |     + <*>
   9 |     | + pure (\x_0 -> GHC.Tuple.())
  10 |     | ` ref <hidden>
  11 |     ` ref <hidden>
  12 + let <hidden>
  13 | ` <*>
  14 |   + <*>
  15 |   | + <*>
  16 |   | | + <*>
  17 |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
  18 |   | | | ` ref <hidden>
  19 |   | | ` ref <hidden>
  20 |   | ` ref <hidden>
  21 |   ` ref <hidden>
  22 + let <hidden>
  23 | ` <*>
  24 |   + <*>
  25 |   | + <*>
  26 |   | | + <*>
  27 |   | | | + <*>
  28 |   | | | | + <*>
  29 |   | | | | | + <*>
  30 |   | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> x_4)
  31 |   | | | | | | ` satisfy
  32 |   | | | | | ` ref <hidden>
  33 |   | | | | ` ref <hidden>
  34 |   | | | ` ref <hidden>
  35 |   | | ` ref <hidden>
  36 |   | ` satisfy
  37 |   ` ref <hidden>
  38 + let <hidden>
  39 | ` <*>
  40 |   + <*>
  41 |   | + <*>
  42 |   | | + <*>
  43 |   | | | + <*>
  44 |   | | | | + <*>
  45 |   | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> GHC.Tuple.())
  46 |   | | | | | ` satisfy
  47 |   | | | | ` ref <hidden>
  48 |   | | | ` ref <hidden>
  49 |   | | ` ref <hidden>
  50 |   | ` satisfy
  51 |   ` ref <hidden>
  52 + let <hidden>
  53 | ` <*>
  54 |   + <*>
  55 |   | + pure (\x_0 -> \x_1 -> '(')
  56 |   | ` satisfy
  57 |   ` ref <hidden>
  58 + let <hidden>
  59 | ` <*>
  60 |   + <*>
  61 |   | + pure (\x_0 -> \x_1 -> ')')
  62 |   | ` satisfy
  63 |   ` ref <hidden>
  64 + let <hidden>
  65 | ` <*>
  66 |   + <*>
  67 |   | + pure (\x_0 -> \x_1 -> ',')
  68 |   | ` satisfy
  69 |   ` ref <hidden>
  70 + let <hidden>
  71 | ` <*>
  72 |   + <*>
  73 |   | + pure (\x_0 -> \x_1 -> ';')
  74 |   | ` satisfy
  75 |   ` ref <hidden>
  76 + let <hidden>
  77 | ` <*>
  78 |   + <*>
  79 |   | + pure (\x_0 -> \x_1 -> GHC.Tuple.())
  80 |   | ` ref <hidden>
  81 |   ` ref <hidden>
  82 + let <hidden>
  83 | ` <*>
  84 |   + <*>
  85 |   | + pure (\x_0 -> \x_1 -> x_1)
  86 |   | ` satisfy
  87 |   ` ref <hidden>
  88 + let <hidden>
  89 | ` <*>
  90 |   + <*>
  91 |   | + pure (\x_0 -> \x_1 -> x_1)
  92 |   | ` try
  93 |   |   ` <*>
  94 |   |     + <*>
  95 |   |     | + <*>
  96 |   |     | | + <*>
  97 |   |     | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
  98 |   |     | | | ` satisfy
  99 |   |     | | ` ref <hidden>
 100 |   |     | ` ref <hidden>
 101 |   |     ` ref <hidden>
 102 |   ` ref <hidden>
 103 + let <hidden>
 104 | ` <|>
 105 |   + <*>
 106 |   | + <*>
 107 |   | | + pure (\x_0 -> \x_1 -> x_1)
 108 |   | | ` <|>
 109 |   | |   + <*>
 110 |   | |   | + pure (\x_0 -> '0')
 111 |   | |   | ` satisfy
 112 |   | |   ` <*>
 113 |   | |     + pure (\x_0 -> '1')
 114 |   | |     ` satisfy
 115 |   | ` ref <hidden>
 116 |   ` <|>
 117 |     + <*>
 118 |     | + <*>
 119 |     | | + <*>
 120 |     | | | + <*>
 121 |     | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_1)
 122 |     | | | | ` satisfy
 123 |     | | | ` <|>
 124 |     | | |   + <*>
 125 |     | | |   | + <*>
 126 |     | | |   | | + pure (\x_0 -> \x_1 -> x_1)
 127 |     | | |   | | ` satisfy
 128 |     | | |   | ` ref <hidden>
 129 |     | | |   ` <*>
 130 |     | | |     + <*>
 131 |     | | |     | + <*>
 132 |     | | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2)
 133 |     | | |     | | ` satisfy
 134 |     | | |     | ` satisfy
 135 |     | | |     ` ref <hidden>
 136 |     | | ` satisfy
 137 |     | ` ref <hidden>
 138 |     ` <*>
 139 |       + <*>
 140 |       | + pure (\x_0 -> \x_1 -> x_1)
 141 |       | ` ref <hidden>
 142 |       ` <|>
 143 |         + <*>
 144 |         | + pure (\x_0 -> GHC.Tuple.())
 145 |         | ` <|>
 146 |         |   + <*>
 147 |         |   | + <*>
 148 |         |   | | + <*>
 149 |         |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1)
 150 |         |   | | | ` ref <hidden>
 151 |         |   | | ` <|>
 152 |         |   | |   + <*>
 153 |         |   | |   | + <*>
 154 |         |   | |   | | + <*>
 155 |         |   | |   | | | + <*>
 156 |         |   | |   | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Tuple.())
 157 |         |   | |   | | | | ` rec <hidden>
 158 |         |   | |   | | | ` ref <hidden>
 159 |         |   | |   | | ` ref <hidden>
 160 |         |   | |   | ` ref <hidden>
 161 |         |   | |   ` ref <hidden>
 162 |         |   | ` ref <hidden>
 163 |         |   ` ref <hidden>
 164 |         ` ref <hidden>
 165 + let <hidden>
 166 | ` <|>
 167 |   + <*>
 168 |   | + <*>
 169 |   | | + <*>
 170 |   | | | + <*>
 171 |   | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4))
 172 |   | | | | ` ref <hidden>
 173 |   | | | ` ref <hidden>
 174 |   | | ` rec <hidden>
 175 |   | ` rec <hidden>
 176 |   ` pure (\x_0 -> x_0)
 177 + let <hidden>
 178 | ` <|>
 179 |   + <*>
 180 |   | + <*>
 181 |   | | + <*>
 182 |   | | | + <*>
 183 |   | | | | + <*>
 184 |   | | | | | + <*>
 185 |   | | | | | | + <*>
 186 |   | | | | | | | + <*>
 187 |   | | | | | | | | + <*>
 188 |   | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> \x_9 -> x_8 x_9)
 189 |   | | | | | | | | | ` try
 190 |   | | | | | | | | |   ` <*>
 191 |   | | | | | | | | |     + <*>
 192 |   | | | | | | | | |     | + <*>
 193 |   | | | | | | | | |     | | + <*>
 194 |   | | | | | | | | |     | | | + <*>
 195 |   | | | | | | | | |     | | | | + <*>
 196 |   | | | | | | | | |     | | | | | + <*>
 197 |   | | | | | | | | |     | | | | | | + <*>
 198 |   | | | | | | | | |     | | | | | | | + 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.[]))))))))
 199 |   | | | | | | | | |     | | | | | | | ` satisfy
 200 |   | | | | | | | | |     | | | | | | ` satisfy
 201 |   | | | | | | | | |     | | | | | ` satisfy
 202 |   | | | | | | | | |     | | | | ` satisfy
 203 |   | | | | | | | | |     | | | ` satisfy
 204 |   | | | | | | | | |     | | ` satisfy
 205 |   | | | | | | | | |     | ` satisfy
 206 |   | | | | | | | | |     ` satisfy
 207 |   | | | | | | | | ` ref <hidden>
 208 |   | | | | | | | ` ref <hidden>
 209 |   | | | | | | ` ref <hidden>
 210 |   | | | | | ` ref <hidden>
 211 |   | | | | ` <|>
 212 |   | | | |   + <*>
 213 |   | | | |   | + <*>
 214 |   | | | |   | | + <*>
 215 |   | | | |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
 216 |   | | | |   | | | ` satisfy
 217 |   | | | |   | | ` ref <hidden>
 218 |   | | | |   | ` ref <hidden>
 219 |   | | | |   ` ref <hidden>
 220 |   | | | ` ref <hidden>
 221 |   | | ` ref <hidden>
 222 |   | ` rec <hidden>
 223 |   ` pure (\x_0 -> x_0)
 224 + let <hidden>
 225 | ` <|>
 226 |   + <*>
 227 |   | + <*>
 228 |   | | + <*>
 229 |   | | | + <*>
 230 |   | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4))
 231 |   | | | | ` ref <hidden>
 232 |   | | | ` ref <hidden>
 233 |   | | ` ref <hidden>
 234 |   | ` rec <hidden>
 235 |   ` pure (\x_0 -> x_0)
 236 + let <hidden>
 237 | ` <|>
 238 |   + <*>
 239 |   | + <*>
 240 |   | | + <*>
 241 |   | | | + <*>
 242 |   | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4))
 243 |   | | | | ` ref <hidden>
 244 |   | | | ` ref <hidden>
 245 |   | | ` ref <hidden>
 246 |   | ` rec <hidden>
 247 |   ` pure (\x_0 -> x_0)
 248 + let <hidden>
 249 | ` <|>
 250 |   + <*>
 251 |   | + <*>
 252 |   | | + <*>
 253 |   | | | + <*>
 254 |   | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4))
 255 |   | | | | ` ref <hidden>
 256 |   | | | ` ref <hidden>
 257 |   | | ` ref <hidden>
 258 |   | ` rec <hidden>
 259 |   ` pure (\x_0 -> x_0)
 260 + let <hidden>
 261 | ` <|>
 262 |   + <*>
 263 |   | + <*>
 264 |   | | + <*>
 265 |   | | | + <*>
 266 |   | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_3 x_4)
 267 |   | | | | ` satisfy
 268 |   | | | ` ref <hidden>
 269 |   | | ` ref <hidden>
 270 |   | ` rec <hidden>
 271 |   ` pure (\x_0 -> x_0)
 272 + let <hidden>
 273 | ` <|>
 274 |   + <*>
 275 |   | + <*>
 276 |   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1 x_2)
 277 |   | | ` <|>
 278 |   | |   + <*>
 279 |   | |   | + <*>
 280 |   | |   | | + pure (\x_0 -> \x_1 -> x_1)
 281 |   | |   | | ` try
 282 |   | |   | |   ` <*>
 283 |   | |   | |     + <*>
 284 |   | |   | |     | + pure (\x_0 -> \x_1 -> (GHC.Types.:) 'i' ((GHC.Types.:) 'f' GHC.Types.[]))
 285 |   | |   | |     | ` satisfy
 286 |   | |   | |     ` satisfy
 287 |   | |   | ` ref <hidden>
 288 |   | |   ` <|>
 289 |   | |     + <*>
 290 |   | |     | + <*>
 291 |   | |     | | + <*>
 292 |   | |     | | | + <*>
 293 |   | |     | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
 294 |   | |     | | | | ` try
 295 |   | |     | | | |   ` <*>
 296 |   | |     | | | |     + <*>
 297 |   | |     | | | |     | + <*>
 298 |   | |     | | | |     | | + <*>
 299 |   | |     | | | |     | | | + <*>
 300 |   | |     | | | |     | | | | + 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.[])))))
 301 |   | |     | | | |     | | | | ` satisfy
 302 |   | |     | | | |     | | | ` satisfy
 303 |   | |     | | | |     | | ` satisfy
 304 |   | |     | | | |     | ` satisfy
 305 |   | |     | | | |     ` satisfy
 306 |   | |     | | | ` ref <hidden>
 307 |   | |     | | ` ref <hidden>
 308 |   | |     | ` rec <hidden>
 309 |   | |     ` <|>
 310 |   | |       + try
 311 |   | |       | ` <*>
 312 |   | |       |   + <*>
 313 |   | |       |   | + <*>
 314 |   | |       |   | | + <*>
 315 |   | |       |   | | | + <*>
 316 |   | |       |   | | | | + <*>
 317 |   | |       |   | | | | | + <*>
 318 |   | |       |   | | | | | | + <*>
 319 |   | |       |   | | | | | | | + <*>
 320 |   | |       |   | | | | | | | | + <*>
 321 |   | |       |   | | | | | | | | | + <*>
 322 |   | |       |   | | | | | | | | | | + <*>
 323 |   | |       |   | | | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> \x_9 -> \x_10 -> \x_11 -> x_10)
 324 |   | |       |   | | | | | | | | | | | ` <|>
 325 |   | |       |   | | | | | | | | | | |   + <*>
 326 |   | |       |   | | | | | | | | | | |   | + <*>
 327 |   | |       |   | | | | | | | | | | |   | | + pure (\x_0 -> \x_1 -> GHC.Tuple.())
 328 |   | |       |   | | | | | | | | | | |   | | ` try
 329 |   | |       |   | | | | | | | | | | |   | |   ` <*>
 330 |   | |       |   | | | | | | | | | | |   | |     + <*>
 331 |   | |       |   | | | | | | | | | | |   | |     | + <*>
 332 |   | |       |   | | | | | | | | | | |   | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) 'v' ((GHC.Types.:) 'a' ((GHC.Types.:) 'r' GHC.Types.[])))
 333 |   | |       |   | | | | | | | | | | |   | |     | | ` satisfy
 334 |   | |       |   | | | | | | | | | | |   | |     | ` satisfy
 335 |   | |       |   | | | | | | | | | | |   | |     ` satisfy
 336 |   | |       |   | | | | | | | | | | |   | ` ref <hidden>
 337 |   | |       |   | | | | | | | | | | |   ` ref <hidden>
 338 |   | |       |   | | | | | | | | | | ` ref <hidden>
 339 |   | |       |   | | | | | | | | | ` ref <hidden>
 340 |   | |       |   | | | | | | | | ` ref <hidden>
 341 |   | |       |   | | | | | | | ` ref <hidden>
 342 |   | |       |   | | | | | | ` satisfy
 343 |   | |       |   | | | | | ` ref <hidden>
 344 |   | |       |   | | | | ` ref <hidden>
 345 |   | |       |   | | | ` ref <hidden>
 346 |   | |       |   | | ` ref <hidden>
 347 |   | |       |   | ` ref <hidden>
 348 |   | |       |   ` ref <hidden>
 349 |   | |       ` <*>
 350 |   | |         + <*>
 351 |   | |         | + pure (\x_0 -> \x_1 -> x_0)
 352 |   | |         | ` ref <hidden>
 353 |   | |         ` ref <hidden>
 354 |   | ` rec <hidden>
 355 |   ` pure (\x_0 -> x_0)
 356 + let <hidden>
 357 | ` <|>
 358 |   + <*>
 359 |   | + <*>
 360 |   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1 x_2)
 361 |   | | ` ref <hidden>
 362 |   | ` rec <hidden>
 363 |   ` pure (\x_0 -> x_0)
 364 + let <hidden>
 365 | ` <|>
 366 |   + <*>
 367 |   | + <*>
 368 |   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1 x_2)
 369 |   | | ` ref <hidden>
 370 |   | ` rec <hidden>
 371 |   ` pure (\x_0 -> x_0)
 372 + let <hidden>
 373 | ` <|>
 374 |   + <*>
 375 |   | + <*>
 376 |   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1 x_2)
 377 |   | | ` satisfy
 378 |   | ` rec <hidden>
 379 |   ` pure (\x_0 -> x_0)
 380 + let <hidden>
 381 | ` <|>
 382 |   + <*>
 383 |   | + <*>
 384 |   | | + <*>
 385 |   | | | + <*>
 386 |   | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Tuple.())
 387 |   | | | | ` ref <hidden>
 388 |   | | | ` ref <hidden>
 389 |   | | ` ref <hidden>
 390 |   | ` ref <hidden>
 391 |   ` ref <hidden>
 392 + let <hidden>
 393 | ` pure (\x_0 -> \x_1 -> x_1)
 394 + let <hidden>
 395 | ` pure GHC.Tuple.()
 396 + let <hidden>
 397 | ` pure GHC.Tuple.()
 398 + let <hidden>
 399 | ` satisfy
 400 ` <*>
 401   + <*>
 402   | + <*>
 403   | | + <*>
 404   | | | + <*>
 405   | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> GHC.Show.show x_3)
 406   | | | | ` ref <hidden>
 407   | | | ` ref <hidden>
 408   | | ` ref <hidden>
 409   | ` ref <hidden>
 410   ` eof