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

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