test/Golden/Machine/G15.expected.txt

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