test/Golden/Grammar/many-char-eof.dump

   1 <*>
   2 + <*>
   3 | + pure (\u1 -> (\u2 -> u1))
   4 | ` <*>
   5 |   + def name_1
   6 |   | ` <|>
   7 |   |   + <*>
   8 |   |   | + <*>
   9 |   |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
  10 |   |   | | ` <*>
  11 |   |   | |   + pure cons
  12 |   |   | |   ` <*>
  13 |   |   | |     + <*>
  14 |   |   | |     | + pure (\u1 -> (\u2 -> u1))
  15 |   |   | |     | ` pure 'r'
  16 |   |   | |     ` satisfy
  17 |   |   | ` rec name_1
  18 |   |   ` pure (\u1 -> u1)
  19 |   ` pure Term
  20 ` eof