test/Golden/Machine/G9.expected.txt

   1 catchException "fail"
   2   minReads=(Right 0)
   3   mayRaise=[]
   4 | <ok>
   5 | | catchException "fail"
   6 | |   minReads=(Right 0)
   7 | |   mayRaise=[]
   8 | | | <ok>
   9 | | | | pushInput
  10 | | | |   minReads=(Left "fail")
  11 | | | |   mayRaise=["fail"]
  12 | | | | read (\u1 -> Term)
  13 | | | |   minReads=(Left "fail")
  14 | | | |   mayRaise=["fail"]
  15 | | | | popValue
  16 | | | |   minReads=(Left "fail")
  17 | | | |   mayRaise=["fail"]
  18 | | | | popException "fail"
  19 | | | |   minReads=(Left "fail")
  20 | | | |   mayRaise=["fail"]
  21 | | | | loadInput
  22 | | | |   minReads=(Left "fail")
  23 | | | |   mayRaise=["fail"]
  24 | | | | raiseException "fail"
  25 | | | |   minReads=(Left "fail")
  26 | | | |   mayRaise=["fail"]
  27 | | | <ko>
  28 | | | | loadInput
  29 | | | |   minReads=(Right 0)
  30 | | | |   mayRaise=[]
  31 | | | | pushValue Term
  32 | | | |   minReads=(Right 0)
  33 | | | |   mayRaise=[]
  34 | | | | popException "fail"
  35 | | | |   minReads=(Right 0)
  36 | | | |   mayRaise=[]
  37 | | | | ret
  38 | | | |   minReads=(Right 0)
  39 | | | |   mayRaise=[]
  40 | <ko>
  41 | | pushInput
  42 | |   minReads=(Left "fail")
  43 | |   mayRaise=["fail"]
  44 | | lift2Value Term
  45 | |   minReads=(Left "fail")
  46 | |   mayRaise=["fail"]
  47 | | choicesBranch [(\u1 -> u1)]
  48 | |   minReads=(Left "fail")
  49 | |   mayRaise=["fail"]
  50 | | | <branch>
  51 | | | | raiseException "fail"
  52 | | | |   minReads=(Left "fail")
  53 | | | |   mayRaise=["fail"]
  54 | | | <default>
  55 | | | | raiseException "fail"
  56 | | | |   minReads=(Left "fail")
  57 | | | |   mayRaise=["fail"]