tests/Golden/Machine/G2.expected.txt

   1 pushValue GHC.Show.show
   2   minReads=3
   3   mayRaise=[ExceptionFailure]
   4   alwaysRaise=[]
   5   freeRegs=[]
   6 catch ExceptionFailure
   7   minReads=3
   8   mayRaise=[ExceptionFailure]
   9   alwaysRaise=[]
  10   freeRegs=[]
  11 | <catchScope>
  12 | | pushValue (\u_0 -> \u_1 -> \u_2 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' GHC.Types.[])))
  13 | |   minReads=3
  14 | |   mayRaise=[ExceptionFailure]
  15 | |   alwaysRaise=[]
  16 | |   freeRegs=[]
  17 | | comment "satisfy ((GHC.Classes.==) 'a')"
  18 | |   minReads=3
  19 | |   mayRaise=[ExceptionFailure]
  20 | |   alwaysRaise=[]
  21 | |   freeRegs=[]
  22 | | read ((GHC.Classes.==) 'a')
  23 | |   minReads=3
  24 | |   mayRaise=[ExceptionFailure]
  25 | |   alwaysRaise=[]
  26 | |   freeRegs=[]
  27 | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
  28 | |   minReads=2
  29 | |   mayRaise=[ExceptionFailure]
  30 | |   alwaysRaise=[]
  31 | |   freeRegs=[]
  32 | | comment "satisfy ((GHC.Classes.==) 'b')"
  33 | |   minReads=2
  34 | |   mayRaise=[ExceptionFailure]
  35 | |   alwaysRaise=[]
  36 | |   freeRegs=[]
  37 | | read ((GHC.Classes.==) 'b')
  38 | |   minReads=2
  39 | |   mayRaise=[ExceptionFailure]
  40 | |   alwaysRaise=[]
  41 | |   freeRegs=[]
  42 | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
  43 | |   minReads=1
  44 | |   mayRaise=[ExceptionFailure]
  45 | |   alwaysRaise=[]
  46 | |   freeRegs=[]
  47 | | comment "satisfy ((GHC.Classes.==) 'c')"
  48 | |   minReads=1
  49 | |   mayRaise=[ExceptionFailure]
  50 | |   alwaysRaise=[]
  51 | |   freeRegs=[]
  52 | | read ((GHC.Classes.==) 'c')
  53 | |   minReads=1
  54 | |   mayRaise=[ExceptionFailure]
  55 | |   alwaysRaise=[]
  56 | |   freeRegs=[]
  57 | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
  58 | |   minReads=0
  59 | |   mayRaise=[]
  60 | |   alwaysRaise=[]
  61 | |   freeRegs=[]
  62 | | commit ExceptionFailure
  63 | |   minReads=0
  64 | |   mayRaise=[]
  65 | |   alwaysRaise=[]
  66 | |   freeRegs=[]
  67 | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
  68 | |   minReads=0
  69 | |   mayRaise=[]
  70 | |   alwaysRaise=[]
  71 | |   freeRegs=[]
  72 | | ret
  73 | |   minReads=0
  74 | |   mayRaise=[]
  75 | |   alwaysRaise=[]
  76 | |   freeRegs=[]
  77 | <onException ExceptionFailure>
  78 | | loadInput
  79 | |   minReads=0
  80 | |   mayRaise=[ExceptionFailure]
  81 | |   alwaysRaise=[ExceptionFailure]
  82 | |   freeRegs=[]
  83 | | fail []
  84 | |   minReads=0
  85 | |   mayRaise=[ExceptionFailure]
  86 | |   alwaysRaise=[ExceptionFailure]
  87 | |   freeRegs=[]