test/Golden/Grammar/brainfuck.dump

   1 <*>
   2 + <*>
   3 | + <*>
   4 | | + pure (\u1 -> (\u2 -> u1))
   5 | | ` pure (\u1 -> u1)
   6 | ` def <hidden>
   7 |   ` <*>
   8 |     + <*>
   9 |     | + <*>
  10 |     | | + pure (\u1 -> (\u2 -> u1))
  11 |     | | ` pure (\u1 -> u1)
  12 |     | ` <*>
  13 |     |   + <*>
  14 |     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
  15 |     |   | ` pure Term
  16 |     |   ` def <hidden>
  17 |     |     ` <|>
  18 |     |       + <*>
  19 |     |       | + <*>
  20 |     |       | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
  21 |     |       | | ` <*>
  22 |     |       | |   + <*>
  23 |     |       | |   | + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
  24 |     |       | |   | ` pure (\u1 -> (\u2 -> u1))
  25 |     |       | |   ` def <hidden>
  26 |     |       | |     ` satisfy
  27 |     |       | ` rec <hidden>
  28 |     |       ` pure (\u1 -> u1)
  29 |     ` pure Term
  30 ` def <hidden>
  31   ` <*>
  32     + def <hidden>
  33     | ` <|>
  34     |   + <*>
  35     |   | + <*>
  36     |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
  37     |   | | ` <*>
  38     |   | |   + pure cons
  39     |   | |   ` <*>
  40     |   | |     + <*>
  41     |   | |     | + pure (\u1 -> (\u2 -> u1))
  42     |   | |     | ` conditional
  43     |   | |     |   + look
  44     |   | |     |   | ` ref <hidden>
  45     |   | |     |   + bs
  46     |   | |     |   | + <*>
  47     |   | |     |   | | + <*>
  48     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  49     |   | |     |   | | | ` pure Term
  50     |   | |     |   | | ` ref <hidden>
  51     |   | |     |   | + <*>
  52     |   | |     |   | | + <*>
  53     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  54     |   | |     |   | | | ` pure Term
  55     |   | |     |   | | ` ref <hidden>
  56     |   | |     |   | + <*>
  57     |   | |     |   | | + <*>
  58     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  59     |   | |     |   | | | ` pure Term
  60     |   | |     |   | | ` ref <hidden>
  61     |   | |     |   | + <*>
  62     |   | |     |   | | + <*>
  63     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  64     |   | |     |   | | | ` pure Term
  65     |   | |     |   | | ` ref <hidden>
  66     |   | |     |   | + <*>
  67     |   | |     |   | | + <*>
  68     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  69     |   | |     |   | | | ` pure Term
  70     |   | |     |   | | ` ref <hidden>
  71     |   | |     |   | + <*>
  72     |   | |     |   | | + <*>
  73     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  74     |   | |     |   | | | ` pure Term
  75     |   | |     |   | | ` ref <hidden>
  76     |   | |     |   | ` <*>
  77     |   | |     |   |   + <*>
  78     |   | |     |   |   | + pure (\u1 -> (\u2 -> u1))
  79     |   | |     |   |   | ` <*>
  80     |   | |     |   |   |   + <*>
  81     |   | |     |   |   |   | + <*>
  82     |   | |     |   |   |   | | + pure (\u1 -> (\u2 -> u1))
  83     |   | |     |   |   |   | | ` pure (\u1 -> u1)
  84     |   | |     |   |   |   | ` <*>
  85     |   | |     |   |   |   |   + <*>
  86     |   | |     |   |   |   |   | + pure (\u1 -> (\u2 -> u1))
  87     |   | |     |   |   |   |   | ` ref <hidden>
  88     |   | |     |   |   |   |   ` ref <hidden>
  89     |   | |     |   |   |   ` <*>
  90     |   | |     |   |   |     + pure Term
  91     |   | |     |   |   |     ` rec <hidden>
  92     |   | |     |   |   ` <*>
  93     |   | |     |   |     + <*>
  94     |   | |     |   |     | + pure (\u1 -> (\u2 -> u1))
  95     |   | |     |   |     | ` pure ']'
  96     |   | |     |   |     ` ref <hidden>
  97     |   | |     |   ` empty
  98     |   | |     ` ref <hidden>
  99     |   | ` rec <hidden>
 100     |   ` pure (\u1 -> u1)
 101     ` pure Term