test/Golden/Machine/G2.expected.txt

   1 pushValue GHC.Show.show
   2   minReads=(Right 3)
   3   mayRaise=[ExceptionFailure]
   4 catch ExceptionFailure
   5   minReads=(Right 3)
   6   mayRaise=[ExceptionFailure]
   7 | <ok>
   8 | | pushValue (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' GHC.Types.[])))
   9 | |   minReads=(Right 3)
  10 | |   mayRaise=[ExceptionFailure]
  11 | | read ((GHC.Classes.==) 'a')
  12 | |   minReads=(Right 3)
  13 | |   mayRaise=[ExceptionFailure]
  14 | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  15 | |   minReads=(Right 2)
  16 | |   mayRaise=[ExceptionFailure]
  17 | | read ((GHC.Classes.==) 'b')
  18 | |   minReads=(Right 2)
  19 | |   mayRaise=[ExceptionFailure]
  20 | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  21 | |   minReads=(Right 1)
  22 | |   mayRaise=[ExceptionFailure]
  23 | | read ((GHC.Classes.==) 'c')
  24 | |   minReads=(Right 1)
  25 | |   mayRaise=[ExceptionFailure]
  26 | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  27 | |   minReads=(Right 0)
  28 | |   mayRaise=[]
  29 | | commit ExceptionFailure
  30 | |   minReads=(Right 0)
  31 | |   mayRaise=[]
  32 | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  33 | |   minReads=(Right 0)
  34 | |   mayRaise=[]
  35 | | ret
  36 | |   minReads=(Right 0)
  37 | |   mayRaise=[]
  38 | <ko>
  39 | | loadInput
  40 | |   minReads=(Left ExceptionFailure)
  41 | |   mayRaise=[ExceptionFailure]
  42 | | fail []
  43 | |   minReads=(Left ExceptionFailure)
  44 | |   mayRaise=[ExceptionFailure]