test/Golden/Machine/G5.expected.txt

   1 let <hidden>
   2   minReads=(Right 0)
   3   mayRaise=[ExceptionFailure]
   4 | catch ExceptionFailure
   5 |   minReads=(Right 0)
   6 |   mayRaise=[ExceptionFailure]
   7 | | <ok>
   8 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
   9 | | |   minReads=(Right 4)
  10 | | |   mayRaise=[ExceptionFailure]
  11 | | | pushValue cons
  12 | | |   minReads=(Right 4)
  13 | | |   mayRaise=[ExceptionFailure]
  14 | | | call <hidden>
  15 | | |   minReads=(Right 4)
  16 | | |   mayRaise=[ExceptionFailure]
  17 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  18 | | |   minReads=(Right 0)
  19 | | |   mayRaise=[ExceptionFailure]
  20 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  21 | | |   minReads=(Right 0)
  22 | | |   mayRaise=[ExceptionFailure]
  23 | | | call <hidden>
  24 | | |   minReads=(Right 0)
  25 | | |   mayRaise=[ExceptionFailure]
  26 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  27 | | |   minReads=(Right 0)
  28 | | |   mayRaise=[]
  29 | | | commit ExceptionFailure
  30 | | |   minReads=(Right 0)
  31 | | |   mayRaise=[]
  32 | | | ret
  33 | | |   minReads=(Right 0)
  34 | | |   mayRaise=[]
  35 | | <ko>
  36 | | | pushInput
  37 | | |   minReads=(Right 0)
  38 | | |   mayRaise=[ExceptionFailure]
  39 | | | lift2Value Term
  40 | | |   minReads=(Right 0)
  41 | | |   mayRaise=[ExceptionFailure]
  42 | | | choicesBranch [(\u1 -> u1)]
  43 | | |   minReads=(Right 0)
  44 | | |   mayRaise=[ExceptionFailure]
  45 | | | | <branch>
  46 | | | | | pushValue (\u1 -> u1)
  47 | | | | |   minReads=(Right 0)
  48 | | | | |   mayRaise=[]
  49 | | | | | ret
  50 | | | | |   minReads=(Right 0)
  51 | | | | |   mayRaise=[]
  52 | | | | <default>
  53 | | | | | fail []
  54 | | | | |   minReads=(Left ExceptionFailure)
  55 | | | | |   mayRaise=[ExceptionFailure]
  56 let <hidden>
  57   minReads=(Right 4)
  58   mayRaise=[ExceptionFailure]
  59 | catch ExceptionFailure
  60 |   minReads=(Right 4)
  61 |   mayRaise=[ExceptionFailure]
  62 | | <ok>
  63 | | | pushValue cons
  64 | | |   minReads=(Right 4)
  65 | | |   mayRaise=[ExceptionFailure]
  66 | | | pushValue (\u1 -> (\u2 -> u1))
  67 | | |   minReads=(Right 4)
  68 | | |   mayRaise=[ExceptionFailure]
  69 | | | pushValue 'a'
  70 | | |   minReads=(Right 4)
  71 | | |   mayRaise=[ExceptionFailure]
  72 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  73 | | |   minReads=(Right 4)
  74 | | |   mayRaise=[ExceptionFailure]
  75 | | | read ('a' ==)
  76 | | |   minReads=(Right 4)
  77 | | |   mayRaise=[ExceptionFailure]
  78 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  79 | | |   minReads=(Right 3)
  80 | | |   mayRaise=[ExceptionFailure]
  81 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  82 | | |   minReads=(Right 3)
  83 | | |   mayRaise=[ExceptionFailure]
  84 | | | pushValue cons
  85 | | |   minReads=(Right 3)
  86 | | |   mayRaise=[ExceptionFailure]
  87 | | | pushValue (\u1 -> (\u2 -> u1))
  88 | | |   minReads=(Right 3)
  89 | | |   mayRaise=[ExceptionFailure]
  90 | | | pushValue 'b'
  91 | | |   minReads=(Right 3)
  92 | | |   mayRaise=[ExceptionFailure]
  93 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  94 | | |   minReads=(Right 3)
  95 | | |   mayRaise=[ExceptionFailure]
  96 | | | read ('b' ==)
  97 | | |   minReads=(Right 3)
  98 | | |   mayRaise=[ExceptionFailure]
  99 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 100 | | |   minReads=(Right 2)
 101 | | |   mayRaise=[ExceptionFailure]
 102 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 103 | | |   minReads=(Right 2)
 104 | | |   mayRaise=[ExceptionFailure]
 105 | | | pushValue cons
 106 | | |   minReads=(Right 2)
 107 | | |   mayRaise=[ExceptionFailure]
 108 | | | pushValue (\u1 -> (\u2 -> u1))
 109 | | |   minReads=(Right 2)
 110 | | |   mayRaise=[ExceptionFailure]
 111 | | | pushValue 'c'
 112 | | |   minReads=(Right 2)
 113 | | |   mayRaise=[ExceptionFailure]
 114 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 115 | | |   minReads=(Right 2)
 116 | | |   mayRaise=[ExceptionFailure]
 117 | | | read ('c' ==)
 118 | | |   minReads=(Right 2)
 119 | | |   mayRaise=[ExceptionFailure]
 120 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 121 | | |   minReads=(Right 1)
 122 | | |   mayRaise=[ExceptionFailure]
 123 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 124 | | |   minReads=(Right 1)
 125 | | |   mayRaise=[ExceptionFailure]
 126 | | | pushValue cons
 127 | | |   minReads=(Right 1)
 128 | | |   mayRaise=[ExceptionFailure]
 129 | | | pushValue (\u1 -> (\u2 -> u1))
 130 | | |   minReads=(Right 1)
 131 | | |   mayRaise=[ExceptionFailure]
 132 | | | pushValue 'd'
 133 | | |   minReads=(Right 1)
 134 | | |   mayRaise=[ExceptionFailure]
 135 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 136 | | |   minReads=(Right 1)
 137 | | |   mayRaise=[ExceptionFailure]
 138 | | | read ('d' ==)
 139 | | |   minReads=(Right 1)
 140 | | |   mayRaise=[ExceptionFailure]
 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 | | | commit ExceptionFailure
 163 | | |   minReads=(Right 0)
 164 | | |   mayRaise=[]
 165 | | | ret
 166 | | |   minReads=(Right 0)
 167 | | |   mayRaise=[]
 168 | | <ko>
 169 | | | loadInput
 170 | | |   minReads=(Left ExceptionFailure)
 171 | | |   mayRaise=[ExceptionFailure]
 172 | | | fail []
 173 | | |   minReads=(Left ExceptionFailure)
 174 | | |   mayRaise=[ExceptionFailure]
 175 pushValue Term
 176   minReads=(Right 4)
 177   mayRaise=[ExceptionFailure]
 178 pushValue (\u1 -> (\u2 -> u1))
 179   minReads=(Right 4)
 180   mayRaise=[ExceptionFailure]
 181 pushValue cons
 182   minReads=(Right 4)
 183   mayRaise=[ExceptionFailure]
 184 call <hidden>
 185   minReads=(Right 4)
 186   mayRaise=[ExceptionFailure]
 187 lift2Value (\u1 -> (\u2 -> u1 u2))
 188   minReads=(Right 0)
 189   mayRaise=[ExceptionFailure]
 190 call <hidden>
 191   minReads=(Right 0)
 192   mayRaise=[ExceptionFailure]
 193 pushValue Term
 194   minReads=(Right 0)
 195   mayRaise=[ExceptionFailure]
 196 lift2Value (\u1 -> (\u2 -> u1 u2))
 197   minReads=(Right 0)
 198   mayRaise=[ExceptionFailure]
 199 lift2Value (\u1 -> (\u2 -> u1 u2))
 200   minReads=(Right 0)
 201   mayRaise=[ExceptionFailure]
 202 lift2Value (\u1 -> (\u2 -> u1 u2))
 203   minReads=(Right 0)
 204   mayRaise=[ExceptionFailure]
 205 join <hidden>
 206   minReads=(Right 0)
 207   mayRaise=[]
 208 | lift2Value (\u1 -> (\u2 -> u1 u2))
 209 |   minReads=(Right 0)
 210 |   mayRaise=[]
 211 | lift2Value (\u1 -> (\u2 -> u1 u2))
 212 |   minReads=(Right 0)
 213 |   mayRaise=[]
 214 | ret
 215 |   minReads=(Right 0)
 216 |   mayRaise=[]
 217 catch ExceptionFailure
 218   minReads=(Right 0)
 219   mayRaise=[ExceptionFailure]
 220 | <ok>
 221 | | catch ExceptionFailure
 222 | |   minReads=(Right 0)
 223 | |   mayRaise=[]
 224 | | | <ok>
 225 | | | | pushInput
 226 | | | |   minReads=(Left ExceptionFailure)
 227 | | | |   mayRaise=[ExceptionFailure]
 228 | | | | read (\u1 -> Term)
 229 | | | |   minReads=(Left ExceptionFailure)
 230 | | | |   mayRaise=[ExceptionFailure]
 231 | | | | popValue
 232 | | | |   minReads=(Left ExceptionFailure)
 233 | | | |   mayRaise=[ExceptionFailure]
 234 | | | | commit ExceptionFailure
 235 | | | |   minReads=(Left ExceptionFailure)
 236 | | | |   mayRaise=[ExceptionFailure]
 237 | | | | loadInput
 238 | | | |   minReads=(Left ExceptionFailure)
 239 | | | |   mayRaise=[ExceptionFailure]
 240 | | | | fail []
 241 | | | |   minReads=(Left ExceptionFailure)
 242 | | | |   mayRaise=[ExceptionFailure]
 243 | | | <ko>
 244 | | | | loadInput
 245 | | | |   minReads=(Right 0)
 246 | | | |   mayRaise=[]
 247 | | | | pushValue Term
 248 | | | |   minReads=(Right 0)
 249 | | | |   mayRaise=[]
 250 | | | | commit ExceptionFailure
 251 | | | |   minReads=(Right 0)
 252 | | | |   mayRaise=[]
 253 | | | | refJoin <hidden>
 254 | | | |   minReads=(Right 0)
 255 | | | |   mayRaise=[]
 256 | <ko>
 257 | | pushInput
 258 | |   minReads=(Left ExceptionFailure)
 259 | |   mayRaise=[ExceptionFailure]
 260 | | lift2Value Term
 261 | |   minReads=(Left ExceptionFailure)
 262 | |   mayRaise=[ExceptionFailure]
 263 | | choicesBranch [(\u1 -> u1)]
 264 | |   minReads=(Left ExceptionFailure)
 265 | |   mayRaise=[ExceptionFailure]
 266 | | | <branch>
 267 | | | | fail [FailureEnd]
 268 | | | |   minReads=(Left ExceptionFailure)
 269 | | | |   mayRaise=[ExceptionFailure]
 270 | | | <default>
 271 | | | | fail []
 272 | | | |   minReads=(Left ExceptionFailure)
 273 | | | |   mayRaise=[ExceptionFailure]