test/Golden/Grammar/ViewGrammar/G13.expected.txt

   1 <*>
   2 + <*>
   3 | + pure (\u1 -> (\u2 -> u2))
   4 | ` <*>
   5 |   + pure (\u1 -> Term)
   6 |   ` <|>
   7 |     + <*>
   8 |     | + <*>
   9 |     | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
  10 |     | | ` def <hidden>
  11 |     | |   ` satisfy
  12 |     | ` rec <hidden>
  13 |     ` pure (\u1 -> u1)
  14 ` <*>
  15   + pure (\u1 -> u1 Term)
  16   ` <|>
  17     + <*>
  18     | + <*>
  19     | | + <*>
  20     | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
  21     | | | ` conditional
  22     | | |   + look
  23     | | |   | ` ref <hidden>
  24     | | |   + bs
  25     | | |   | + <*>
  26     | | |   | | + pure (\u1 -> (\u2 -> cons Term))
  27     | | |   | | ` ref <hidden>
  28     | | |   | + <*>
  29     | | |   | | + pure (\u1 -> (\u2 -> cons Term))
  30     | | |   | | ` ref <hidden>
  31     | | |   | + <*>
  32     | | |   | | + pure (\u1 -> (\u2 -> cons Term))
  33     | | |   | | ` ref <hidden>
  34     | | |   | + <*>
  35     | | |   | | + pure (\u1 -> (\u2 -> cons Term))
  36     | | |   | | ` ref <hidden>
  37     | | |   | + <*>
  38     | | |   | | + pure (\u1 -> (\u2 -> cons Term))
  39     | | |   | | ` ref <hidden>
  40     | | |   | + <*>
  41     | | |   | | + pure (\u1 -> (\u2 -> cons Term))
  42     | | |   | | ` ref <hidden>
  43     | | |   | ` <*>
  44     | | |   |   + <*>
  45     | | |   |   | + <*>
  46     | | |   |   | | + <*>
  47     | | |   |   | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> cons (Term u3))))))
  48     | | |   |   | | | ` ref <hidden>
  49     | | |   |   | | ` ref <hidden>
  50     | | |   |   | ` rec <hidden>
  51     | | |   |   ` ref <hidden>
  52     | | |   ` empty
  53     | | ` ref <hidden>
  54     | ` rec <hidden>
  55     ` pure (\u1 -> u1)