tests/Golden/Machine/G17.expected.txt

   1 pushValue GHC.Show.show
   2   minReads=1
   3   mayRaise=[ExceptionFailure]
   4   alwaysRaise=[]
   5   freeRegs=[]
   6 comment "satisfy ((\\x_0 -> \\x_1 -> x_0) GHC.Types.True)"
   7   minReads=1
   8   mayRaise=[ExceptionFailure]
   9   alwaysRaise=[]
  10   freeRegs=[]
  11 read (\x_0 -> GHC.Types.True)
  12   minReads=1
  13   mayRaise=[ExceptionFailure]
  14   alwaysRaise=[]
  15   freeRegs=[]
  16 newRegister reg
  17   minReads=0
  18   mayRaise=[]
  19   alwaysRaise=[]
  20   freeRegs=[]
  21 pushValue GHC.Tuple.(,)
  22   minReads=0
  23   mayRaise=[]
  24   alwaysRaise=[]
  25   freeRegs=[reg]
  26 readRegister reg
  27   minReads=0
  28   mayRaise=[]
  29   alwaysRaise=[]
  30   freeRegs=[reg]
  31 lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  32   minReads=0
  33   mayRaise=[]
  34   alwaysRaise=[]
  35   freeRegs=[reg]
  36 readRegister reg
  37   minReads=0
  38   mayRaise=[]
  39   alwaysRaise=[]
  40   freeRegs=[reg]
  41 lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  42   minReads=0
  43   mayRaise=[]
  44   alwaysRaise=[]
  45   freeRegs=[]
  46 lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  47   minReads=0
  48   mayRaise=[]
  49   alwaysRaise=[]
  50   freeRegs=[]
  51 ret
  52   minReads=0
  53   mayRaise=[]
  54   alwaysRaise=[]
  55   freeRegs=[]