test/Golden/Machine/G4.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 cons
 179   minReads=(Right 4)
 180   mayRaise=[ExceptionFailure]
 181 call <hidden>
 182   minReads=(Right 4)
 183   mayRaise=[ExceptionFailure]
 184 lift2Value (\u1 -> (\u2 -> u1 u2))
 185   minReads=(Right 0)
 186   mayRaise=[ExceptionFailure]
 187 call <hidden>
 188   minReads=(Right 0)
 189   mayRaise=[ExceptionFailure]
 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=[]