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

   1 lets
   2 + let <hidden>
   3 | ` <|>
   4 |   + <*>
   5 |   | + <*>
   6 |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 : u2 u3)))
   7 |   | | ` ref <hidden>
   8 |   | ` rec <hidden>
   9 |   ` pure (\u1 -> u1)
  10 + let <hidden>
  11 | ` try
  12 |   ` <*>
  13 |     + <*>
  14 |     | + <*>
  15 |     | | + <*>
  16 |     | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'a' : ('b' : ('c' : ('d' : Term)))))))
  17 |     | | | ` satisfy
  18 |     | | ` satisfy
  19 |     | ` satisfy
  20 |     ` satisfy
  21 ` <*>
  22   + <*>
  23   | + pure (\u1 -> (\u2 -> Term (u1 : u2 Term)))
  24   | ` ref <hidden>
  25   ` ref <hidden>