test/Golden/Machine/G6.expected.txt

   1 catchException "fail"
   2   minReads=(Right 2)
   3   mayRaise=[]
   4 | <ok>
   5 | | pushValue cons
   6 | |   minReads=(Right 2)
   7 | |   mayRaise=["fail"]
   8 | | pushValue (\u1 -> (\u2 -> u1))
   9 | |   minReads=(Right 2)
  10 | |   mayRaise=["fail"]
  11 | | pushValue 'a'
  12 | |   minReads=(Right 2)
  13 | |   mayRaise=["fail"]
  14 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  15 | |   minReads=(Right 2)
  16 | |   mayRaise=["fail"]
  17 | | read ('a' ==)
  18 | |   minReads=(Right 2)
  19 | |   mayRaise=["fail"]
  20 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  21 | |   minReads=(Right 1)
  22 | |   mayRaise=["fail"]
  23 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  24 | |   minReads=(Right 1)
  25 | |   mayRaise=["fail"]
  26 | | pushValue cons
  27 | |   minReads=(Right 1)
  28 | |   mayRaise=["fail"]
  29 | | pushValue (\u1 -> (\u2 -> u1))
  30 | |   minReads=(Right 1)
  31 | |   mayRaise=["fail"]
  32 | | pushValue 'a'
  33 | |   minReads=(Right 1)
  34 | |   mayRaise=["fail"]
  35 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  36 | |   minReads=(Right 1)
  37 | |   mayRaise=["fail"]
  38 | | read ('a' ==)
  39 | |   minReads=(Right 1)
  40 | |   mayRaise=["fail"]
  41 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  42 | |   minReads=(Right 0)
  43 | |   mayRaise=[]
  44 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  45 | |   minReads=(Right 0)
  46 | |   mayRaise=[]
  47 | | pushValue Term
  48 | |   minReads=(Right 0)
  49 | |   mayRaise=[]
  50 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  51 | |   minReads=(Right 0)
  52 | |   mayRaise=[]
  53 | | lift2Value (\u1 -> (\u2 -> u1 u2))
  54 | |   minReads=(Right 0)
  55 | |   mayRaise=[]
  56 | | popException "fail"
  57 | |   minReads=(Right 0)
  58 | |   mayRaise=[]
  59 | | ret
  60 | |   minReads=(Right 0)
  61 | |   mayRaise=[]
  62 | <ko>
  63 | | pushInput
  64 | |   minReads=(Right 2)
  65 | |   mayRaise=["fail"]
  66 | | lift2Value Term
  67 | |   minReads=(Right 2)
  68 | |   mayRaise=["fail"]
  69 | | choicesBranch [(\u1 -> u1)]
  70 | |   minReads=(Right 2)
  71 | |   mayRaise=["fail"]
  72 | | | <branch>
  73 | | | | pushValue cons
  74 | | | |   minReads=(Right 2)
  75 | | | |   mayRaise=["fail"]
  76 | | | | pushValue (\u1 -> (\u2 -> u1))
  77 | | | |   minReads=(Right 2)
  78 | | | |   mayRaise=["fail"]
  79 | | | | pushValue 'a'
  80 | | | |   minReads=(Right 2)
  81 | | | |   mayRaise=["fail"]
  82 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  83 | | | |   minReads=(Right 2)
  84 | | | |   mayRaise=["fail"]
  85 | | | | read ('a' ==)
  86 | | | |   minReads=(Right 2)
  87 | | | |   mayRaise=["fail"]
  88 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  89 | | | |   minReads=(Right 1)
  90 | | | |   mayRaise=["fail"]
  91 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  92 | | | |   minReads=(Right 1)
  93 | | | |   mayRaise=["fail"]
  94 | | | | pushValue cons
  95 | | | |   minReads=(Right 1)
  96 | | | |   mayRaise=["fail"]
  97 | | | | pushValue (\u1 -> (\u2 -> u1))
  98 | | | |   minReads=(Right 1)
  99 | | | |   mayRaise=["fail"]
 100 | | | | pushValue 'b'
 101 | | | |   minReads=(Right 1)
 102 | | | |   mayRaise=["fail"]
 103 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 104 | | | |   minReads=(Right 1)
 105 | | | |   mayRaise=["fail"]
 106 | | | | read ('b' ==)
 107 | | | |   minReads=(Right 1)
 108 | | | |   mayRaise=["fail"]
 109 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 110 | | | |   minReads=(Right 0)
 111 | | | |   mayRaise=[]
 112 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 113 | | | |   minReads=(Right 0)
 114 | | | |   mayRaise=[]
 115 | | | | pushValue Term
 116 | | | |   minReads=(Right 0)
 117 | | | |   mayRaise=[]
 118 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 119 | | | |   minReads=(Right 0)
 120 | | | |   mayRaise=[]
 121 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 122 | | | |   minReads=(Right 0)
 123 | | | |   mayRaise=[]
 124 | | | | ret
 125 | | | |   minReads=(Right 0)
 126 | | | |   mayRaise=[]
 127 | | | <default>
 128 | | | | raiseException "fail"
 129 | | | |   minReads=(Left "fail")
 130 | | | |   mayRaise=["fail"]