tests/Golden/Machine/G20.expected.txt

   1 pushValue (\u_0 -> \u_1 -> GHC.Show.show GHC.Tuple.())
   2   minReads=3
   3   mayRaise=[ExceptionFailure]
   4   alwaysRaise=[]
   5   freeRegs=[]
   6 join join
   7   minReads=3
   8   mayRaise=[ExceptionFailure]
   9   alwaysRaise=[]
  10   freeRegs=[]
  11 | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
  12 |   minReads=3
  13 |   mayRaise=[ExceptionFailure]
  14 |   alwaysRaise=[]
  15 |   freeRegs=[]
  16 | catch ExceptionFailure
  17 |   minReads=3
  18 |   mayRaise=[ExceptionFailure]
  19 |   alwaysRaise=[]
  20 |   freeRegs=[]
  21 | | <catchScope>
  22 | | | pushValue (\u_0 -> \u_1 -> \u_2 -> (GHC.Types.:) 'd' ((GHC.Types.:) 'e' ((GHC.Types.:) 'f' GHC.Types.[])))
  23 | | |   minReads=3
  24 | | |   mayRaise=[ExceptionFailure]
  25 | | |   alwaysRaise=[]
  26 | | |   freeRegs=[]
  27 | | | comment "satisfy ((GHC.Classes.==) 'd')"
  28 | | |   minReads=3
  29 | | |   mayRaise=[ExceptionFailure]
  30 | | |   alwaysRaise=[]
  31 | | |   freeRegs=[]
  32 | | | read ((GHC.Classes.==) 'd')
  33 | | |   minReads=3
  34 | | |   mayRaise=[ExceptionFailure]
  35 | | |   alwaysRaise=[]
  36 | | |   freeRegs=[]
  37 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
  38 | | |   minReads=2
  39 | | |   mayRaise=[ExceptionFailure]
  40 | | |   alwaysRaise=[]
  41 | | |   freeRegs=[]
  42 | | | comment "satisfy ((GHC.Classes.==) 'e')"
  43 | | |   minReads=2
  44 | | |   mayRaise=[ExceptionFailure]
  45 | | |   alwaysRaise=[]
  46 | | |   freeRegs=[]
  47 | | | read ((GHC.Classes.==) 'e')
  48 | | |   minReads=2
  49 | | |   mayRaise=[ExceptionFailure]
  50 | | |   alwaysRaise=[]
  51 | | |   freeRegs=[]
  52 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
  53 | | |   minReads=1
  54 | | |   mayRaise=[ExceptionFailure]
  55 | | |   alwaysRaise=[]
  56 | | |   freeRegs=[]
  57 | | | comment "satisfy ((GHC.Classes.==) 'f')"
  58 | | |   minReads=1
  59 | | |   mayRaise=[ExceptionFailure]
  60 | | |   alwaysRaise=[]
  61 | | |   freeRegs=[]
  62 | | | read ((GHC.Classes.==) 'f')
  63 | | |   minReads=1
  64 | | |   mayRaise=[ExceptionFailure]
  65 | | |   alwaysRaise=[]
  66 | | |   freeRegs=[]
  67 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
  68 | | |   minReads=0
  69 | | |   mayRaise=[]
  70 | | |   alwaysRaise=[]
  71 | | |   freeRegs=[]
  72 | | | commit ExceptionFailure
  73 | | |   minReads=0
  74 | | |   mayRaise=[]
  75 | | |   alwaysRaise=[]
  76 | | |   freeRegs=[]
  77 | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
  78 | | |   minReads=0
  79 | | |   mayRaise=[]
  80 | | |   alwaysRaise=[]
  81 | | |   freeRegs=[]
  82 | | | ret
  83 | | |   minReads=0
  84 | | |   mayRaise=[]
  85 | | |   alwaysRaise=[]
  86 | | |   freeRegs=[]
  87 | | <onException ExceptionFailure>
  88 | | | loadInput
  89 | | |   minReads=0
  90 | | |   mayRaise=[ExceptionFailure]
  91 | | |   alwaysRaise=[ExceptionFailure]
  92 | | |   freeRegs=[]
  93 | | | fail []
  94 | | |   minReads=0
  95 | | |   mayRaise=[ExceptionFailure]
  96 | | |   alwaysRaise=[ExceptionFailure]
  97 | | |   freeRegs=[]
  98 catch ExceptionFailure
  99   minReads=3
 100   mayRaise=[ExceptionFailure]
 101   alwaysRaise=[]
 102   freeRegs=[]
 103 | <catchScope>
 104 | | catch ExceptionFailure
 105 | |   minReads=6
 106 | |   mayRaise=[ExceptionFailure]
 107 | |   alwaysRaise=[]
 108 | |   freeRegs=[]
 109 | | | <catchScope>
 110 | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' GHC.Types.[])))
 111 | | | |   minReads=6
 112 | | | |   mayRaise=[ExceptionFailure]
 113 | | | |   alwaysRaise=[]
 114 | | | |   freeRegs=[]
 115 | | | | comment "satisfy ((GHC.Classes.==) 'a')"
 116 | | | |   minReads=6
 117 | | | |   mayRaise=[ExceptionFailure]
 118 | | | |   alwaysRaise=[]
 119 | | | |   freeRegs=[]
 120 | | | | read ((GHC.Classes.==) 'a')
 121 | | | |   minReads=6
 122 | | | |   mayRaise=[ExceptionFailure]
 123 | | | |   alwaysRaise=[]
 124 | | | |   freeRegs=[]
 125 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 126 | | | |   minReads=5
 127 | | | |   mayRaise=[ExceptionFailure]
 128 | | | |   alwaysRaise=[]
 129 | | | |   freeRegs=[]
 130 | | | | comment "satisfy ((GHC.Classes.==) 'b')"
 131 | | | |   minReads=5
 132 | | | |   mayRaise=[ExceptionFailure]
 133 | | | |   alwaysRaise=[]
 134 | | | |   freeRegs=[]
 135 | | | | read ((GHC.Classes.==) 'b')
 136 | | | |   minReads=5
 137 | | | |   mayRaise=[ExceptionFailure]
 138 | | | |   alwaysRaise=[]
 139 | | | |   freeRegs=[]
 140 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 141 | | | |   minReads=4
 142 | | | |   mayRaise=[ExceptionFailure]
 143 | | | |   alwaysRaise=[]
 144 | | | |   freeRegs=[]
 145 | | | | comment "satisfy ((GHC.Classes.==) 'c')"
 146 | | | |   minReads=4
 147 | | | |   mayRaise=[ExceptionFailure]
 148 | | | |   alwaysRaise=[]
 149 | | | |   freeRegs=[]
 150 | | | | read ((GHC.Classes.==) 'c')
 151 | | | |   minReads=4
 152 | | | |   mayRaise=[ExceptionFailure]
 153 | | | |   alwaysRaise=[]
 154 | | | |   freeRegs=[]
 155 | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 156 | | | |   minReads=3
 157 | | | |   mayRaise=[ExceptionFailure]
 158 | | | |   alwaysRaise=[]
 159 | | | |   freeRegs=[]
 160 | | | | commit ExceptionFailure
 161 | | | |   minReads=3
 162 | | | |   mayRaise=[ExceptionFailure]
 163 | | | |   alwaysRaise=[]
 164 | | | |   freeRegs=[]
 165 | | | | commit ExceptionFailure
 166 | | | |   minReads=3
 167 | | | |   mayRaise=[ExceptionFailure]
 168 | | | |   alwaysRaise=[]
 169 | | | |   freeRegs=[]
 170 | | | | refJoin join
 171 | | | |   minReads=3
 172 | | | |   mayRaise=[ExceptionFailure]
 173 | | | |   alwaysRaise=[]
 174 | | | |   freeRegs=[]
 175 | | | <onException ExceptionFailure>
 176 | | | | loadInput
 177 | | | |   minReads=0
 178 | | | |   mayRaise=[ExceptionFailure]
 179 | | | |   alwaysRaise=[ExceptionFailure]
 180 | | | |   freeRegs=[]
 181 | | | | fail []
 182 | | | |   minReads=0
 183 | | | |   mayRaise=[ExceptionFailure]
 184 | | | |   alwaysRaise=[ExceptionFailure]
 185 | | | |   freeRegs=[]
 186 | <onException ExceptionFailure>
 187 | | comment "raiseAgainIfConsumed"
 188 | |   minReads=3
 189 | |   mayRaise=[ExceptionFailure]
 190 | |   alwaysRaise=[]
 191 | |   freeRegs=[]
 192 | | saveInput
 193 | |   minReads=3
 194 | |   mayRaise=[ExceptionFailure]
 195 | |   alwaysRaise=[]
 196 | |   freeRegs=[]
 197 | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 198 | |   minReads=3
 199 | |   mayRaise=[ExceptionFailure]
 200 | |   alwaysRaise=[]
 201 | |   freeRegs=[]
 202 | | choicesBranch
 203 | |   minReads=3
 204 | |   mayRaise=[ExceptionFailure]
 205 | |   alwaysRaise=[]
 206 | |   freeRegs=[]
 207 | | | <branch (\u_0 -> u_0)>
 208 | | | | catch ExceptionFailure
 209 | | | |   minReads=3
 210 | | | |   mayRaise=[ExceptionFailure]
 211 | | | |   alwaysRaise=[]
 212 | | | |   freeRegs=[]
 213 | | | | | <catchScope>
 214 | | | | | | pushValue GHC.Types.[]
 215 | | | | | |   minReads=3
 216 | | | | | |   mayRaise=[ExceptionFailure]
 217 | | | | | |   alwaysRaise=[]
 218 | | | | | |   freeRegs=[]
 219 | | | | | | commit ExceptionFailure
 220 | | | | | |   minReads=3
 221 | | | | | |   mayRaise=[ExceptionFailure]
 222 | | | | | |   alwaysRaise=[]
 223 | | | | | |   freeRegs=[]
 224 | | | | | | refJoin join
 225 | | | | | |   minReads=3
 226 | | | | | |   mayRaise=[ExceptionFailure]
 227 | | | | | |   alwaysRaise=[]
 228 | | | | | |   freeRegs=[]
 229 | | | | | <onException ExceptionFailure>
 230 | | | | | | loadInput
 231 | | | | | |   minReads=0
 232 | | | | | |   mayRaise=[ExceptionFailure]
 233 | | | | | |   alwaysRaise=[ExceptionFailure]
 234 | | | | | |   freeRegs=[]
 235 | | | | | | fail []
 236 | | | | | |   minReads=0
 237 | | | | | |   mayRaise=[ExceptionFailure]
 238 | | | | | |   alwaysRaise=[ExceptionFailure]
 239 | | | | | |   freeRegs=[]
 240 | | | <default>
 241 | | | | fail []
 242 | | | |   minReads=0
 243 | | | |   mayRaise=[ExceptionFailure]
 244 | | | |   alwaysRaise=[ExceptionFailure]
 245 | | | |   freeRegs=[]