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 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
  14 |   |   | ` def name_6
  15 |   |   |   ` pure Term
  16 |   |   ` def name_7
  17 |   |     ` <|>
  18 |   |       + <*>
  19 |   |       | + <*>
  20 |   |       | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
  21 |   |       | | ` <*>
  22 |   |       | |   + def name_2
  23 |   |       | |   | ` <*>
  24 |   |       | |   |   + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
  25 |   |       | |   |   ` pure (\u1 -> (\u2 -> u1))
  26 |   |       | |   ` def name_1
  27 |   |       | |     ` satisfy
  28 |   |       | ` rec name_7
  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     |   | |     |   + look
  45     |   | |     |   | ` ref name_1
  46     |   | |     |   + bs
  47     |   | |     |   | + <*>
  48     |   | |     |   | | + <*>
  49     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  50     |   | |     |   | | | ` pure Term
  51     |   | |     |   | | ` ref name_1
  52     |   | |     |   | + <*>
  53     |   | |     |   | | + <*>
  54     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  55     |   | |     |   | | | ` pure Term
  56     |   | |     |   | | ` ref name_1
  57     |   | |     |   | + <*>
  58     |   | |     |   | | + <*>
  59     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  60     |   | |     |   | | | ` pure Term
  61     |   | |     |   | | ` ref name_1
  62     |   | |     |   | + <*>
  63     |   | |     |   | | + <*>
  64     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  65     |   | |     |   | | | ` pure Term
  66     |   | |     |   | | ` ref name_1
  67     |   | |     |   | + <*>
  68     |   | |     |   | | + <*>
  69     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  70     |   | |     |   | | | ` pure Term
  71     |   | |     |   | | ` ref name_1
  72     |   | |     |   | + <*>
  73     |   | |     |   | | + <*>
  74     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  75     |   | |     |   | | | ` pure Term
  76     |   | |     |   | | ` ref name_1
  77     |   | |     |   | ` <*>
  78     |   | |     |   |   + <*>
  79     |   | |     |   |   | + pure (\u1 -> (\u2 -> u1))
  80     |   | |     |   |   | ` <*>
  81     |   | |     |   |   |   + <*>
  82     |   | |     |   |   |   | + <*>
  83     |   | |     |   |   |   | | + pure (\u1 -> (\u2 -> u1))
  84     |   | |     |   |   |   | | ` pure (\u1 -> u1)
  85     |   | |     |   |   |   | ` <*>
  86     |   | |     |   |   |   |   + <*>
  87     |   | |     |   |   |   |   | + pure (\u1 -> (\u2 -> u1))
  88     |   | |     |   |   |   |   | ` ref name_1
  89     |   | |     |   |   |   |   ` <*>
  90     |   | |     |   |   |   |     + <*>
  91     |   | |     |   |   |   |     | + <*>
  92     |   | |     |   |   |   |     | | + pure (\u1 -> (\u2 -> u1))
  93     |   | |     |   |   |   |     | | ` pure (\u1 -> u1)
  94     |   | |     |   |   |   |     | ` <*>
  95     |   | |     |   |   |   |     |   + <*>
  96     |   | |     |   |   |   |     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
  97     |   | |     |   |   |   |     |   | ` ref name_6
  98     |   | |     |   |   |   |     |   ` def name_8
  99     |   | |     |   |   |   |     |     ` <|>
 100     |   | |     |   |   |   |     |       + <*>
 101     |   | |     |   |   |   |     |       | + <*>
 102     |   | |     |   |   |   |     |       | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 103     |   | |     |   |   |   |     |       | | ` <*>
 104     |   | |     |   |   |   |     |       | |   + ref name_2
 105     |   | |     |   |   |   |     |       | |   ` ref name_1
 106     |   | |     |   |   |   |     |       | ` rec name_8
 107     |   | |     |   |   |   |     |       ` pure (\u1 -> u1)
 108     |   | |     |   |   |   |     ` ref name_6
 109     |   | |     |   |   |   ` <*>
 110     |   | |     |   |   |     + pure Term
 111     |   | |     |   |   |     ` rec name_4
 112     |   | |     |   |   ` <*>
 113     |   | |     |   |     + <*>
 114     |   | |     |   |     | + pure (\u1 -> (\u2 -> u1))
 115     |   | |     |   |     | ` pure ']'
 116     |   | |     |   |     ` ref name_1
 117     |   | |     |   ` empty
 118     |   | |     ` <*>
 119     |   | |       + <*>
 120     |   | |       | + <*>
 121     |   | |       | | + pure (\u1 -> (\u2 -> u1))
 122     |   | |       | | ` pure (\u1 -> u1)
 123     |   | |       | ` <*>
 124     |   | |       |   + <*>
 125     |   | |       |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
 126     |   | |       |   | ` ref name_6
 127     |   | |       |   ` def name_3
 128     |   | |       |     ` <|>
 129     |   | |       |       + <*>
 130     |   | |       |       | + <*>
 131     |   | |       |       | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 132     |   | |       |       | | ` <*>
 133     |   | |       |       | |   + ref name_2
 134     |   | |       |       | |   ` ref name_1
 135     |   | |       |       | ` rec name_3
 136     |   | |       |       ` pure (\u1 -> u1)
 137     |   | |       ` ref name_6
 138     |   | ` rec name_5
 139     |   ` pure (\u1 -> u1)
 140     ` pure Term