test/Golden/Machine/G1.expected.txt

   1 pushValue Term
   2   minReads=(Right 1)
   3   mayRaise=[ExceptionFailure]
   4 pushValue (\u1 -> (\u2 -> u1))
   5   minReads=(Right 1)
   6   mayRaise=[ExceptionFailure]
   7 pushValue 'a'
   8   minReads=(Right 1)
   9   mayRaise=[ExceptionFailure]
  10 lift2Value (\u1 -> (\u2 -> u1 u2))
  11   minReads=(Right 1)
  12   mayRaise=[ExceptionFailure]
  13 read ('a' ==)
  14   minReads=(Right 1)
  15   mayRaise=[ExceptionFailure]
  16 lift2Value (\u1 -> (\u2 -> u1 u2))
  17   minReads=(Right 0)
  18   mayRaise=[]
  19 lift2Value (\u1 -> (\u2 -> u1 u2))
  20   minReads=(Right 0)
  21   mayRaise=[]
  22 ret
  23   minReads=(Right 0)
  24   mayRaise=[]