test/Golden/Grammar/brainfuck.opt.dump

   1 <*>
   2 + <*>
   3 | + <*>
   4 | | + <*>
   5 | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
   6 | | | ` def name_3
   7 | | |   ` pure Term
   8 | | ` def name_2
   9 | |   ` <|>
  10 | |     + <*>
  11 | |     | + <*>
  12 | |     | | + <*>
  13 | |     | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
  14 | |     | | | ` def name_7
  15 | |     | | |   ` pure (\u1 -> (\u2 -> u2))
  16 | |     | | ` satisfy
  17 | |     | ` rec name_2
  18 | |     ` pure (\u1 -> u1)
  19 | ` ref name_3
  20 ` def name_5
  21   ` <*>
  22     + pure (\u1 -> u1 Term)
  23     ` def name_4
  24       ` <|>
  25         + <*>
  26         | + <*>
  27         | | + <*>
  28         | | | + <*>
  29         | | | | + conditional
  30         | | | | | + look
  31         | | | | | | ` satisfy
  32         | | | | | + bs
  33         | | | | | | + <*>
  34         | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
  35         | | | | | | | ` satisfy
  36         | | | | | | + <*>
  37         | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
  38         | | | | | | | ` satisfy
  39         | | | | | | + <*>
  40         | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
  41         | | | | | | | ` satisfy
  42         | | | | | | + <*>
  43         | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
  44         | | | | | | | ` satisfy
  45         | | | | | | + <*>
  46         | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
  47         | | | | | | | ` satisfy
  48         | | | | | | + <*>
  49         | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
  50         | | | | | | | ` satisfy
  51         | | | | | | ` <*>
  52         | | | | | |   + <*>
  53         | | | | | |   | + <*>
  54         | | | | | |   | | + <*>
  55         | | | | | |   | | | + <*>
  56         | | | | | |   | | | | + <*>
  57         | | | | | |   | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> (\u11 -> Term u5 : u10 u11)))))))))))
  58         | | | | | |   | | | | | ` satisfy
  59         | | | | | |   | | | | ` ref name_3
  60         | | | | | |   | | | ` def name_6
  61         | | | | | |   | | |   ` <|>
  62         | | | | | |   | | |     + <*>
  63         | | | | | |   | | |     | + <*>
  64         | | | | | |   | | |     | | + <*>
  65         | | | | | |   | | |     | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
  66         | | | | | |   | | |     | | | ` ref name_7
  67         | | | | | |   | | |     | | ` satisfy
  68         | | | | | |   | | |     | ` rec name_6
  69         | | | | | |   | | |     ` pure (\u1 -> u1)
  70         | | | | | |   | | ` ref name_3
  71         | | | | | |   | ` rec name_5
  72         | | | | | |   ` satisfy
  73         | | | | | ` empty
  74         | | | | ` ref name_3
  75         | | | ` def name_1
  76         | | |   ` <|>
  77         | | |     + <*>
  78         | | |     | + <*>
  79         | | |     | | + <*>
  80         | | |     | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
  81         | | |     | | | ` ref name_7
  82         | | |     | | ` satisfy
  83         | | |     | ` rec name_1
  84         | | |     ` pure (\u1 -> u1)
  85         | | ` ref name_3
  86         | ` rec name_4
  87         ` pure (\u1 -> u1)