test/Golden/Machine/G2.expected.txt

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