test/Golden/Machine/G13.expected.txt

   1 let <hidden>
   2   minReads=(Right 0)
   3   mayRaise=[ExceptionFailure]
   4 | pushValue (\x_0 -> GHC.Tuple.())
   5 |   minReads=(Right 0)
   6 |   mayRaise=[ExceptionFailure]
   7 | pushValue (\x_0 -> x_0)
   8 |   minReads=(Right 0)
   9 |   mayRaise=[ExceptionFailure]
  10 | newRegister <hidden>
  11 |   minReads=(Right 0)
  12 |   mayRaise=[ExceptionFailure]
  13 | iter <hidden>
  14 |   minReads=(Right 0)
  15 |   mayRaise=[ExceptionFailure]
  16 | | <ok>
  17 | | | pushValue (\x_0 -> \x_1 -> x_1)
  18 | | |   minReads=(Right 1)
  19 | | |   mayRaise=[ExceptionFailure]
  20 | | | read (\c_0 -> GHC.Classes.not (('<' GHC.Classes.== c_0) GHC.Classes.|| (('>' GHC.Classes.== c_0) GHC.Classes.|| (('+' GHC.Classes.== c_0) GHC.Classes.|| (('-' GHC.Classes.== c_0) GHC.Classes.|| ((',' GHC.Classes.== c_0) GHC.Classes.|| (('.' GHC.Classes.== c_0) GHC.Classes.|| (('[' GHC.Classes.== c_0) GHC.Classes.|| ((']' GHC.Classes.== c_0) GHC.Classes.|| GHC.Types.False)))))))))
  21 | | |   minReads=(Right 1)
  22 | | |   mayRaise=[ExceptionFailure]
  23 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  24 | | |   minReads=(Right 0)
  25 | | |   mayRaise=[]
  26 | | | readRegister <hidden>
  27 | | |   minReads=(Right 0)
  28 | | |   mayRaise=[]
  29 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  30 | | |   minReads=(Right 0)
  31 | | |   mayRaise=[]
  32 | | | writeRegister <hidden>
  33 | | |   minReads=(Right 0)
  34 | | |   mayRaise=[]
  35 | | | jump <hidden>
  36 | | |   minReads=(Right 0)
  37 | | |   mayRaise=[]
  38 | | <ko>
  39 | | | pushInput
  40 | | |   minReads=(Right 0)
  41 | | |   mayRaise=[ExceptionFailure]
  42 | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
  43 | | |                                                                j_1
  44 | | |                                                                _) -> i_0 GHC.Classes.== j_1)
  45 | | |   minReads=(Right 0)
  46 | | |   mayRaise=[ExceptionFailure]
  47 | | | choicesBranch
  48 | | |   minReads=(Right 0)
  49 | | |   mayRaise=[ExceptionFailure]
  50 | | | | <branch (\x_0 -> x_0)>
  51 | | | | | readRegister <hidden>
  52 | | | | |   minReads=(Right 0)
  53 | | | | |   mayRaise=[]
  54 | | | | | pushValue GHC.Tuple.()
  55 | | | | |   minReads=(Right 0)
  56 | | | | |   mayRaise=[]
  57 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  58 | | | | |   minReads=(Right 0)
  59 | | | | |   mayRaise=[]
  60 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  61 | | | | |   minReads=(Right 0)
  62 | | | | |   mayRaise=[]
  63 | | | | | ret
  64 | | | | |   minReads=(Right 0)
  65 | | | | |   mayRaise=[]
  66 | | | | <default>
  67 | | | | | fail []
  68 | | | | |   minReads=(Left ExceptionFailure)
  69 | | | | |   mayRaise=[ExceptionFailure]
  70 let <hidden>
  71   minReads=(Right 0)
  72   mayRaise=[ExceptionFailure]
  73 | pushValue (\x_0 -> x_0)
  74 |   minReads=(Right 0)
  75 |   mayRaise=[ExceptionFailure]
  76 | newRegister <hidden>
  77 |   minReads=(Right 0)
  78 |   mayRaise=[ExceptionFailure]
  79 | iter <hidden>
  80 |   minReads=(Right 0)
  81 |   mayRaise=[ExceptionFailure]
  82 | | <ok>
  83 | | | pushValue (\x_0 -> \x_1 -> (GHC.Types.:) x_0)
  84 | | |   minReads=(Right 1)
  85 | | |   mayRaise=[ExceptionFailure]
  86 | | | join <hidden>
  87 | | |   minReads=(Right 0)
  88 | | |   mayRaise=[ExceptionFailure]
  89 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  90 | | | |   minReads=(Right 0)
  91 | | | |   mayRaise=[ExceptionFailure]
  92 | | | | call <hidden>
  93 | | | |   minReads=(Right 0)
  94 | | | |   mayRaise=[ExceptionFailure]
  95 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  96 | | | |   minReads=(Right 0)
  97 | | | |   mayRaise=[]
  98 | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_1 (x_0 x_2))
  99 | | | |   minReads=(Right 0)
 100 | | | |   mayRaise=[]
 101 | | | | lift2Value (\x_0 -> \x_1 -> x_1 x_0)
 102 | | | |   minReads=(Right 0)
 103 | | | |   mayRaise=[]
 104 | | | | readRegister <hidden>
 105 | | | |   minReads=(Right 0)
 106 | | | |   mayRaise=[]
 107 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 108 | | | |   minReads=(Right 0)
 109 | | | |   mayRaise=[]
 110 | | | | writeRegister <hidden>
 111 | | | |   minReads=(Right 0)
 112 | | | |   mayRaise=[]
 113 | | | | jump <hidden>
 114 | | | |   minReads=(Right 0)
 115 | | | |   mayRaise=[]
 116 | | | pushInput
 117 | | |   minReads=(Right 1)
 118 | | |   mayRaise=[ExceptionFailure]
 119 | | | read (\x_0 -> GHC.Types.True)
 120 | | |   minReads=(Right 1)
 121 | | |   mayRaise=[ExceptionFailure]
 122 | | | swapValue
 123 | | |   minReads=(Right 0)
 124 | | |   mayRaise=[ExceptionFailure]
 125 | | | loadInput
 126 | | |   minReads=(Right 0)
 127 | | |   mayRaise=[ExceptionFailure]
 128 | | | choicesBranch
 129 | | |   minReads=(Right 1)
 130 | | |   mayRaise=[ExceptionFailure]
 131 | | | | <branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '<' x_0)>
 132 | | | | | pushValue (\x_0 -> Parsers.Brainfuck.Types.Backward)
 133 | | | | |   minReads=(Right 1)
 134 | | | | |   mayRaise=[ExceptionFailure]
 135 | | | | | read (\x_0 -> GHC.Types.True)
 136 | | | | |   minReads=(Right 1)
 137 | | | | |   mayRaise=[ExceptionFailure]
 138 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 139 | | | | |   minReads=(Right 0)
 140 | | | | |   mayRaise=[ExceptionFailure]
 141 | | | | | refJoin <hidden>
 142 | | | | |   minReads=(Right 0)
 143 | | | | |   mayRaise=[ExceptionFailure]
 144 | | | | <branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '>' x_0)>
 145 | | | | | pushValue (\x_0 -> Parsers.Brainfuck.Types.Forward)
 146 | | | | |   minReads=(Right 1)
 147 | | | | |   mayRaise=[ExceptionFailure]
 148 | | | | | read (\x_0 -> GHC.Types.True)
 149 | | | | |   minReads=(Right 1)
 150 | | | | |   mayRaise=[ExceptionFailure]
 151 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 152 | | | | |   minReads=(Right 0)
 153 | | | | |   mayRaise=[ExceptionFailure]
 154 | | | | | refJoin <hidden>
 155 | | | | |   minReads=(Right 0)
 156 | | | | |   mayRaise=[ExceptionFailure]
 157 | | | | <branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '+' x_0)>
 158 | | | | | pushValue (\x_0 -> Parsers.Brainfuck.Types.Increment)
 159 | | | | |   minReads=(Right 1)
 160 | | | | |   mayRaise=[ExceptionFailure]
 161 | | | | | read (\x_0 -> GHC.Types.True)
 162 | | | | |   minReads=(Right 1)
 163 | | | | |   mayRaise=[ExceptionFailure]
 164 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 165 | | | | |   minReads=(Right 0)
 166 | | | | |   mayRaise=[ExceptionFailure]
 167 | | | | | refJoin <hidden>
 168 | | | | |   minReads=(Right 0)
 169 | | | | |   mayRaise=[ExceptionFailure]
 170 | | | | <branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '-' x_0)>
 171 | | | | | pushValue (\x_0 -> Parsers.Brainfuck.Types.Decrement)
 172 | | | | |   minReads=(Right 1)
 173 | | | | |   mayRaise=[ExceptionFailure]
 174 | | | | | read (\x_0 -> GHC.Types.True)
 175 | | | | |   minReads=(Right 1)
 176 | | | | |   mayRaise=[ExceptionFailure]
 177 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 178 | | | | |   minReads=(Right 0)
 179 | | | | |   mayRaise=[ExceptionFailure]
 180 | | | | | refJoin <hidden>
 181 | | | | |   minReads=(Right 0)
 182 | | | | |   mayRaise=[ExceptionFailure]
 183 | | | | <branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) ',' x_0)>
 184 | | | | | pushValue (\x_0 -> Parsers.Brainfuck.Types.Input)
 185 | | | | |   minReads=(Right 1)
 186 | | | | |   mayRaise=[ExceptionFailure]
 187 | | | | | read (\x_0 -> GHC.Types.True)
 188 | | | | |   minReads=(Right 1)
 189 | | | | |   mayRaise=[ExceptionFailure]
 190 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 191 | | | | |   minReads=(Right 0)
 192 | | | | |   mayRaise=[ExceptionFailure]
 193 | | | | | refJoin <hidden>
 194 | | | | |   minReads=(Right 0)
 195 | | | | |   mayRaise=[ExceptionFailure]
 196 | | | | <branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '.' x_0)>
 197 | | | | | pushValue (\x_0 -> Parsers.Brainfuck.Types.Output)
 198 | | | | |   minReads=(Right 1)
 199 | | | | |   mayRaise=[ExceptionFailure]
 200 | | | | | read (\x_0 -> GHC.Types.True)
 201 | | | | |   minReads=(Right 1)
 202 | | | | |   mayRaise=[ExceptionFailure]
 203 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 204 | | | | |   minReads=(Right 0)
 205 | | | | |   mayRaise=[ExceptionFailure]
 206 | | | | | refJoin <hidden>
 207 | | | | |   minReads=(Right 0)
 208 | | | | |   mayRaise=[ExceptionFailure]
 209 | | | | <branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '[' x_0)>
 210 | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> Parsers.Brainfuck.Types.Loop x_2)
 211 | | | | |   minReads=(Right 1)
 212 | | | | |   mayRaise=[ExceptionFailure]
 213 | | | | | read (\x_0 -> GHC.Types.True)
 214 | | | | |   minReads=(Right 1)
 215 | | | | |   mayRaise=[ExceptionFailure]
 216 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 217 | | | | |   minReads=(Right 0)
 218 | | | | |   mayRaise=[ExceptionFailure]
 219 | | | | | call <hidden>
 220 | | | | |   minReads=(Right 0)
 221 | | | | |   mayRaise=[ExceptionFailure]
 222 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 223 | | | | |   minReads=(Right 0)
 224 | | | | |   mayRaise=[]
 225 | | | | | call <hidden>
 226 | | | | |   minReads=(Right 0)
 227 | | | | |   mayRaise=[]
 228 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 229 | | | | |   minReads=(Right 1)
 230 | | | | |   mayRaise=[ExceptionFailure]
 231 | | | | | read ((GHC.Classes.==) ']')
 232 | | | | |   minReads=(Right 1)
 233 | | | | |   mayRaise=[ExceptionFailure]
 234 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 235 | | | | |   minReads=(Right 0)
 236 | | | | |   mayRaise=[ExceptionFailure]
 237 | | | | | refJoin <hidden>
 238 | | | | |   minReads=(Right 0)
 239 | | | | |   mayRaise=[ExceptionFailure]
 240 | | | | <default>
 241 | | | | | fail [FailureEmpty]
 242 | | | | |   minReads=(Left ExceptionFailure)
 243 | | | | |   mayRaise=[ExceptionFailure]
 244 | | <ko>
 245 | | | pushInput
 246 | | |   minReads=(Right 0)
 247 | | |   mayRaise=[ExceptionFailure]
 248 | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
 249 | | |                                                                j_1
 250 | | |                                                                _) -> i_0 GHC.Classes.== j_1)
 251 | | |   minReads=(Right 0)
 252 | | |   mayRaise=[ExceptionFailure]
 253 | | | choicesBranch
 254 | | |   minReads=(Right 0)
 255 | | |   mayRaise=[ExceptionFailure]
 256 | | | | <branch (\x_0 -> x_0)>
 257 | | | | | readRegister <hidden>
 258 | | | | |   minReads=(Right 0)
 259 | | | | |   mayRaise=[]
 260 | | | | | pushValue GHC.Types.[]
 261 | | | | |   minReads=(Right 0)
 262 | | | | |   mayRaise=[]
 263 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 264 | | | | |   minReads=(Right 0)
 265 | | | | |   mayRaise=[]
 266 | | | | | ret
 267 | | | | |   minReads=(Right 0)
 268 | | | | |   mayRaise=[]
 269 | | | | <default>
 270 | | | | | fail []
 271 | | | | |   minReads=(Left ExceptionFailure)
 272 | | | | |   mayRaise=[ExceptionFailure]
 273 pushValue (\x_0 -> \x_1 -> GHC.Show.show x_1)
 274   minReads=(Right 0)
 275   mayRaise=[ExceptionFailure]
 276 call <hidden>
 277   minReads=(Right 0)
 278   mayRaise=[ExceptionFailure]
 279 lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 280   minReads=(Right 0)
 281   mayRaise=[ExceptionFailure]
 282 call <hidden>
 283   minReads=(Right 0)
 284   mayRaise=[ExceptionFailure]
 285 lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 286   minReads=(Right 0)
 287   mayRaise=[]
 288 ret
 289   minReads=(Right 0)
 290   mayRaise=[]