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

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