test/Golden/Grammar/brainfuck.dump

   1 <*>
   2 + <*>
   3 | + <*>
   4 | | + pure (\u1 -> (\u2 -> u1))
   5 | | ` pure (\u1 -> u1)
   6 | ` <*>
   7 |   + <*>
   8 |   | + <*>
   9 |   | | + pure (\u1 -> (\u2 -> u1))
  10 |   | | ` pure (\u1 -> u1)
  11 |   | ` <*>
  12 |   |   + <*>
  13 |   |   | + pure (\u1 -> (\u2 -> u2 u1))
  14 |   |   | ` def name_6
  15 |   |   |   ` pure unit
  16 |   |   ` def name_8
  17 |   |     ` <|>
  18 |   |       + <*>
  19 |   |       | + <*>
  20 |   |       | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
  21 |   |       | | ` <*>
  22 |   |       | |   + def name_1
  23 |   |       | |   | ` <*>
  24 |   |       | |   |   + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
  25 |   |       | |   |   ` pure (\u1 -> (\u2 -> u1))
  26 |   |       | |   ` def name_3
  27 |   |       | |     ` satisfy
  28 |   |       | ` rec name_8
  29 |   |       ` pure (\u1 -> u1)
  30 |   ` ref name_6
  31 ` def name_4
  32   ` <*>
  33     + def name_5
  34     | ` <|>
  35     |   + <*>
  36     |   | + <*>
  37     |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
  38     |   | | ` <*>
  39     |   | |   + pure cons
  40     |   | |   ` <*>
  41     |   | |     + <*>
  42     |   | |     | + pure (\u1 -> (\u2 -> u1))
  43     |   | |     | ` conditional
  44     |   | |     |   + bs
  45     |   | |     |   | + <*>
  46     |   | |     |   | | + <*>
  47     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  48     |   | |     |   | | | ` pure Pure
  49     |   | |     |   | | ` ref name_3
  50     |   | |     |   | + <*>
  51     |   | |     |   | | + <*>
  52     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  53     |   | |     |   | | | ` pure Pure
  54     |   | |     |   | | ` ref name_3
  55     |   | |     |   | + <*>
  56     |   | |     |   | | + <*>
  57     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  58     |   | |     |   | | | ` pure Pure
  59     |   | |     |   | | ` ref name_3
  60     |   | |     |   | + <*>
  61     |   | |     |   | | + <*>
  62     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  63     |   | |     |   | | | ` pure Pure
  64     |   | |     |   | | ` ref name_3
  65     |   | |     |   | + <*>
  66     |   | |     |   | | + <*>
  67     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  68     |   | |     |   | | | ` pure Pure
  69     |   | |     |   | | ` ref name_3
  70     |   | |     |   | + <*>
  71     |   | |     |   | | + <*>
  72     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  73     |   | |     |   | | | ` pure Pure
  74     |   | |     |   | | ` ref name_3
  75     |   | |     |   | ` <*>
  76     |   | |     |   |   + <*>
  77     |   | |     |   |   | + pure (\u1 -> (\u2 -> u1))
  78     |   | |     |   |   | ` <*>
  79     |   | |     |   |   |   + <*>
  80     |   | |     |   |   |   | + <*>
  81     |   | |     |   |   |   | | + pure (\u1 -> (\u2 -> u1))
  82     |   | |     |   |   |   | | ` pure (\u1 -> u1)
  83     |   | |     |   |   |   | ` <*>
  84     |   | |     |   |   |   |   + <*>
  85     |   | |     |   |   |   |   | + pure (\u1 -> (\u2 -> u1))
  86     |   | |     |   |   |   |   | ` ref name_3
  87     |   | |     |   |   |   |   ` <*>
  88     |   | |     |   |   |   |     + <*>
  89     |   | |     |   |   |   |     | + <*>
  90     |   | |     |   |   |   |     | | + pure (\u1 -> (\u2 -> u1))
  91     |   | |     |   |   |   |     | | ` pure (\u1 -> u1)
  92     |   | |     |   |   |   |     | ` <*>
  93     |   | |     |   |   |   |     |   + <*>
  94     |   | |     |   |   |   |     |   | + pure (\u1 -> (\u2 -> u2 u1))
  95     |   | |     |   |   |   |     |   | ` ref name_6
  96     |   | |     |   |   |   |     |   ` def name_7
  97     |   | |     |   |   |   |     |     ` <|>
  98     |   | |     |   |   |   |     |       + <*>
  99     |   | |     |   |   |   |     |       | + <*>
 100     |   | |     |   |   |   |     |       | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 101     |   | |     |   |   |   |     |       | | ` <*>
 102     |   | |     |   |   |   |     |       | |   + ref name_1
 103     |   | |     |   |   |   |     |       | |   ` ref name_3
 104     |   | |     |   |   |   |     |       | ` rec name_7
 105     |   | |     |   |   |   |     |       ` pure (\u1 -> u1)
 106     |   | |     |   |   |   |     ` ref name_6
 107     |   | |     |   |   |   ` <*>
 108     |   | |     |   |   |     + pure Pure
 109     |   | |     |   |   |     ` rec name_4
 110     |   | |     |   |   ` <*>
 111     |   | |     |   |     + <*>
 112     |   | |     |   |     | + pure (\u1 -> (\u2 -> u1))
 113     |   | |     |   |     | ` pure ']'
 114     |   | |     |   |     ` ref name_3
 115     |   | |     |   + look
 116     |   | |     |   | ` ref name_3
 117     |   | |     |   ` empty
 118     |   | |     ` <*>
 119     |   | |       + <*>
 120     |   | |       | + <*>
 121     |   | |       | | + pure (\u1 -> (\u2 -> u1))
 122     |   | |       | | ` pure (\u1 -> u1)
 123     |   | |       | ` <*>
 124     |   | |       |   + <*>
 125     |   | |       |   | + pure (\u1 -> (\u2 -> u2 u1))
 126     |   | |       |   | ` ref name_6
 127     |   | |       |   ` def name_2
 128     |   | |       |     ` <|>
 129     |   | |       |       + <*>
 130     |   | |       |       | + <*>
 131     |   | |       |       | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 132     |   | |       |       | | ` <*>
 133     |   | |       |       | |   + ref name_1
 134     |   | |       |       | |   ` ref name_3
 135     |   | |       |       | ` rec name_2
 136     |   | |       |       ` pure (\u1 -> u1)
 137     |   | |       ` ref name_6
 138     |   | ` rec name_5
 139     |   ` pure (\u1 -> u1)
 140     ` pure Pure