test/Golden/Machine/G4.expected.txt

   1 let <hidden>
   2   minReads=(Right 0)
   3   mayRaise=[]
   4 | catchException "fail"
   5 |   minReads=(Right 0)
   6 |   mayRaise=[]
   7 | | <ok>
   8 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
   9 | | |   minReads=(Right 4)
  10 | | |   mayRaise=[]
  11 | | | pushValue cons
  12 | | |   minReads=(Right 4)
  13 | | |   mayRaise=[]
  14 | | | call <hidden>
  15 | | |   minReads=(Right 4)
  16 | | |   mayRaise=[]
  17 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  18 | | |   minReads=(Right 0)
  19 | | |   mayRaise=[]
  20 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  21 | | |   minReads=(Right 0)
  22 | | |   mayRaise=[]
  23 | | | call <hidden>
  24 | | |   minReads=(Right 0)
  25 | | |   mayRaise=[]
  26 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  27 | | |   minReads=(Right 0)
  28 | | |   mayRaise=[]
  29 | | | popException "fail"
  30 | | |   minReads=(Right 0)
  31 | | |   mayRaise=[]
  32 | | | ret
  33 | | |   minReads=(Right 0)
  34 | | |   mayRaise=[]
  35 | | <ko>
  36 | | | pushInput
  37 | | |   minReads=(Right 0)
  38 | | |   mayRaise=["fail"]
  39 | | | lift2Value Term
  40 | | |   minReads=(Right 0)
  41 | | |   mayRaise=["fail"]
  42 | | | choicesBranch [(\u1 -> u1)]
  43 | | |   minReads=(Right 0)
  44 | | |   mayRaise=["fail"]
  45 | | | | <branch>
  46 | | | | | pushValue (\u1 -> u1)
  47 | | | | |   minReads=(Right 0)
  48 | | | | |   mayRaise=[]
  49 | | | | | ret
  50 | | | | |   minReads=(Right 0)
  51 | | | | |   mayRaise=[]
  52 | | | | <default>
  53 | | | | | raiseException "fail"
  54 | | | | |   minReads=(Left "fail")
  55 | | | | |   mayRaise=["fail"]
  56 let <hidden>
  57   minReads=(Right 4)
  58   mayRaise=[]
  59 | catchException "fail"
  60 |   minReads=(Right 4)
  61 |   mayRaise=[]
  62 | | <ok>
  63 | | | pushValue cons
  64 | | |   minReads=(Right 4)
  65 | | |   mayRaise=["fail"]
  66 | | | pushValue (\u1 -> (\u2 -> u1))
  67 | | |   minReads=(Right 4)
  68 | | |   mayRaise=["fail"]
  69 | | | pushValue 'a'
  70 | | |   minReads=(Right 4)
  71 | | |   mayRaise=["fail"]
  72 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  73 | | |   minReads=(Right 4)
  74 | | |   mayRaise=["fail"]
  75 | | | read ('a' ==)
  76 | | |   minReads=(Right 4)
  77 | | |   mayRaise=["fail"]
  78 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  79 | | |   minReads=(Right 3)
  80 | | |   mayRaise=["fail"]
  81 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  82 | | |   minReads=(Right 3)
  83 | | |   mayRaise=["fail"]
  84 | | | pushValue cons
  85 | | |   minReads=(Right 3)
  86 | | |   mayRaise=["fail"]
  87 | | | pushValue (\u1 -> (\u2 -> u1))
  88 | | |   minReads=(Right 3)
  89 | | |   mayRaise=["fail"]
  90 | | | pushValue 'b'
  91 | | |   minReads=(Right 3)
  92 | | |   mayRaise=["fail"]
  93 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  94 | | |   minReads=(Right 3)
  95 | | |   mayRaise=["fail"]
  96 | | | read ('b' ==)
  97 | | |   minReads=(Right 3)
  98 | | |   mayRaise=["fail"]
  99 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 100 | | |   minReads=(Right 2)
 101 | | |   mayRaise=["fail"]
 102 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 103 | | |   minReads=(Right 2)
 104 | | |   mayRaise=["fail"]
 105 | | | pushValue cons
 106 | | |   minReads=(Right 2)
 107 | | |   mayRaise=["fail"]
 108 | | | pushValue (\u1 -> (\u2 -> u1))
 109 | | |   minReads=(Right 2)
 110 | | |   mayRaise=["fail"]
 111 | | | pushValue 'c'
 112 | | |   minReads=(Right 2)
 113 | | |   mayRaise=["fail"]
 114 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 115 | | |   minReads=(Right 2)
 116 | | |   mayRaise=["fail"]
 117 | | | read ('c' ==)
 118 | | |   minReads=(Right 2)
 119 | | |   mayRaise=["fail"]
 120 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 121 | | |   minReads=(Right 1)
 122 | | |   mayRaise=["fail"]
 123 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 124 | | |   minReads=(Right 1)
 125 | | |   mayRaise=["fail"]
 126 | | | pushValue cons
 127 | | |   minReads=(Right 1)
 128 | | |   mayRaise=["fail"]
 129 | | | pushValue (\u1 -> (\u2 -> u1))
 130 | | |   minReads=(Right 1)
 131 | | |   mayRaise=["fail"]
 132 | | | pushValue 'd'
 133 | | |   minReads=(Right 1)
 134 | | |   mayRaise=["fail"]
 135 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 136 | | |   minReads=(Right 1)
 137 | | |   mayRaise=["fail"]
 138 | | | read ('d' ==)
 139 | | |   minReads=(Right 1)
 140 | | |   mayRaise=["fail"]
 141 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 142 | | |   minReads=(Right 0)
 143 | | |   mayRaise=[]
 144 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 145 | | |   minReads=(Right 0)
 146 | | |   mayRaise=[]
 147 | | | pushValue Term
 148 | | |   minReads=(Right 0)
 149 | | |   mayRaise=[]
 150 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 151 | | |   minReads=(Right 0)
 152 | | |   mayRaise=[]
 153 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 154 | | |   minReads=(Right 0)
 155 | | |   mayRaise=[]
 156 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 157 | | |   minReads=(Right 0)
 158 | | |   mayRaise=[]
 159 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 160 | | |   minReads=(Right 0)
 161 | | |   mayRaise=[]
 162 | | | popException "fail"
 163 | | |   minReads=(Right 0)
 164 | | |   mayRaise=[]
 165 | | | ret
 166 | | |   minReads=(Right 0)
 167 | | |   mayRaise=[]
 168 | | <ko>
 169 | | | loadInput
 170 | | |   minReads=(Left "fail")
 171 | | |   mayRaise=["fail"]
 172 | | | raiseException "fail"
 173 | | |   minReads=(Left "fail")
 174 | | |   mayRaise=["fail"]
 175 pushValue Term
 176   minReads=(Right 4)
 177   mayRaise=[]
 178 pushValue cons
 179   minReads=(Right 4)
 180   mayRaise=[]
 181 call <hidden>
 182   minReads=(Right 4)
 183   mayRaise=[]
 184 lift2Value (\u1 -> (\u2 -> u1 u2))
 185   minReads=(Right 0)
 186   mayRaise=[]
 187 call <hidden>
 188   minReads=(Right 0)
 189   mayRaise=[]
 190 pushValue Term
 191   minReads=(Right 0)
 192   mayRaise=[]
 193 lift2Value (\u1 -> (\u2 -> u1 u2))
 194   minReads=(Right 0)
 195   mayRaise=[]
 196 lift2Value (\u1 -> (\u2 -> u1 u2))
 197   minReads=(Right 0)
 198   mayRaise=[]
 199 lift2Value (\u1 -> (\u2 -> u1 u2))
 200   minReads=(Right 0)
 201   mayRaise=[]
 202 ret
 203   minReads=(Right 0)
 204   mayRaise=[]