test/Golden/Machine/G2.expected.txt

   1 pushValue Term
   2   minReads=(Right 3)
   3   mayRaise=[ExceptionFailure]
   4 catch ExceptionFailure
   5   minReads=(Right 3)
   6   mayRaise=[ExceptionFailure]
   7 | <ok>
   8 | | pushValue cons
   9 | |   minReads=(Right 3)
  10 | |   mayRaise=[ExceptionFailure]
  11 | | pushValue (\u1 -> (\u2 -> u1))
  12 | |   minReads=(Right 3)
  13 | |   mayRaise=[ExceptionFailure]
  14 | | pushValue 'a'
  15 | |   minReads=(Right 3)
  16 | |   mayRaise=[ExceptionFailure]
  17 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  18 | |   minReads=(Right 3)
  19 | |   mayRaise=[ExceptionFailure]
  20 | | read ('a' ==)
  21 | |   minReads=(Right 3)
  22 | |   mayRaise=[ExceptionFailure]
  23 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  24 | |   minReads=(Right 2)
  25 | |   mayRaise=[ExceptionFailure]
  26 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  27 | |   minReads=(Right 2)
  28 | |   mayRaise=[ExceptionFailure]
  29 | | pushValue cons
  30 | |   minReads=(Right 2)
  31 | |   mayRaise=[ExceptionFailure]
  32 | | pushValue (\u1 -> (\u2 -> u1))
  33 | |   minReads=(Right 2)
  34 | |   mayRaise=[ExceptionFailure]
  35 | | pushValue 'b'
  36 | |   minReads=(Right 2)
  37 | |   mayRaise=[ExceptionFailure]
  38 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  39 | |   minReads=(Right 2)
  40 | |   mayRaise=[ExceptionFailure]
  41 | | read ('b' ==)
  42 | |   minReads=(Right 2)
  43 | |   mayRaise=[ExceptionFailure]
  44 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  45 | |   minReads=(Right 1)
  46 | |   mayRaise=[ExceptionFailure]
  47 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  48 | |   minReads=(Right 1)
  49 | |   mayRaise=[ExceptionFailure]
  50 | | pushValue cons
  51 | |   minReads=(Right 1)
  52 | |   mayRaise=[ExceptionFailure]
  53 | | pushValue (\u1 -> (\u2 -> u1))
  54 | |   minReads=(Right 1)
  55 | |   mayRaise=[ExceptionFailure]
  56 | | pushValue 'c'
  57 | |   minReads=(Right 1)
  58 | |   mayRaise=[ExceptionFailure]
  59 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  60 | |   minReads=(Right 1)
  61 | |   mayRaise=[ExceptionFailure]
  62 | | read ('c' ==)
  63 | |   minReads=(Right 1)
  64 | |   mayRaise=[ExceptionFailure]
  65 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  66 | |   minReads=(Right 0)
  67 | |   mayRaise=[]
  68 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  69 | |   minReads=(Right 0)
  70 | |   mayRaise=[]
  71 | | pushValue Term
  72 | |   minReads=(Right 0)
  73 | |   mayRaise=[]
  74 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  75 | |   minReads=(Right 0)
  76 | |   mayRaise=[]
  77 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  78 | |   minReads=(Right 0)
  79 | |   mayRaise=[]
  80 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  81 | |   minReads=(Right 0)
  82 | |   mayRaise=[]
  83 | | commit ExceptionFailure
  84 | |   minReads=(Right 0)
  85 | |   mayRaise=[]
  86 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  87 | |   minReads=(Right 0)
  88 | |   mayRaise=[]
  89 | | ret
  90 | |   minReads=(Right 0)
  91 | |   mayRaise=[]
  92 | <ko>
  93 | | loadInput
  94 | |   minReads=(Left ExceptionFailure)
  95 | |   mayRaise=[ExceptionFailure]
  96 | | fail []
  97 | |   minReads=(Left ExceptionFailure)
  98 | |   mayRaise=[ExceptionFailure]