test/Golden/Machine/G4.expected.txt

   1 let <hidden>
   2   minReads=(Right 4)
   3   mayRaise=[ExceptionFailure]
   4 | catch ExceptionFailure
   5 |   minReads=(Right 4)
   6 |   mayRaise=[ExceptionFailure]
   7 | | <ok>
   8 | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' ((GHC.Types.:) 'd' GHC.Types.[]))))
   9 | | |   minReads=(Right 4)
  10 | | |   mayRaise=[ExceptionFailure]
  11 | | | read ((GHC.Classes.==) 'a')
  12 | | |   minReads=(Right 4)
  13 | | |   mayRaise=[ExceptionFailure]
  14 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  15 | | |   minReads=(Right 3)
  16 | | |   mayRaise=[ExceptionFailure]
  17 | | | read ((GHC.Classes.==) 'b')
  18 | | |   minReads=(Right 3)
  19 | | |   mayRaise=[ExceptionFailure]
  20 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  21 | | |   minReads=(Right 2)
  22 | | |   mayRaise=[ExceptionFailure]
  23 | | | read ((GHC.Classes.==) 'c')
  24 | | |   minReads=(Right 2)
  25 | | |   mayRaise=[ExceptionFailure]
  26 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  27 | | |   minReads=(Right 1)
  28 | | |   mayRaise=[ExceptionFailure]
  29 | | | read ((GHC.Classes.==) 'd')
  30 | | |   minReads=(Right 1)
  31 | | |   mayRaise=[ExceptionFailure]
  32 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  33 | | |   minReads=(Right 0)
  34 | | |   mayRaise=[]
  35 | | | commit ExceptionFailure
  36 | | |   minReads=(Right 0)
  37 | | |   mayRaise=[]
  38 | | | ret
  39 | | |   minReads=(Right 0)
  40 | | |   mayRaise=[]
  41 | | <ko>
  42 | | | loadInput
  43 | | |   minReads=(Left ExceptionFailure)
  44 | | |   mayRaise=[ExceptionFailure]
  45 | | | fail []
  46 | | |   minReads=(Left ExceptionFailure)
  47 | | |   mayRaise=[ExceptionFailure]
  48 pushValue (\x_0 -> \x_1 -> GHC.Show.show ((GHC.Types.:) x_0 x_1))
  49   minReads=(Right 4)
  50   mayRaise=[ExceptionFailure]
  51 call <hidden>
  52   minReads=(Right 4)
  53   mayRaise=[ExceptionFailure]
  54 lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  55   minReads=(Right 0)
  56   mayRaise=[ExceptionFailure]
  57 pushValue (\x_0 -> x_0)
  58   minReads=(Right 0)
  59   mayRaise=[ExceptionFailure]
  60 newRegister <hidden>
  61   minReads=(Right 0)
  62   mayRaise=[ExceptionFailure]
  63 iter <hidden>
  64   minReads=(Right 0)
  65   mayRaise=[ExceptionFailure]
  66 | <ok>
  67 | | pushValue (GHC.Types.:)
  68 | |   minReads=(Right 4)
  69 | |   mayRaise=[ExceptionFailure]
  70 | | call <hidden>
  71 | |   minReads=(Right 4)
  72 | |   mayRaise=[ExceptionFailure]
  73 | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  74 | |   minReads=(Right 0)
  75 | |   mayRaise=[]
  76 | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_1 (x_0 x_2))
  77 | |   minReads=(Right 0)
  78 | |   mayRaise=[]
  79 | | lift2Value (\x_0 -> \x_1 -> x_1 x_0)
  80 | |   minReads=(Right 0)
  81 | |   mayRaise=[]
  82 | | readRegister <hidden>
  83 | |   minReads=(Right 0)
  84 | |   mayRaise=[]
  85 | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  86 | |   minReads=(Right 0)
  87 | |   mayRaise=[]
  88 | | writeRegister <hidden>
  89 | |   minReads=(Right 0)
  90 | |   mayRaise=[]
  91 | | jump <hidden>
  92 | |   minReads=(Right 0)
  93 | |   mayRaise=[]
  94 | <ko>
  95 | | pushInput
  96 | |   minReads=(Right 0)
  97 | |   mayRaise=[ExceptionFailure]
  98 | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
  99 | |                                                                j_1
 100 | |                                                                _) -> i_0 GHC.Classes.== j_1)
 101 | |   minReads=(Right 0)
 102 | |   mayRaise=[ExceptionFailure]
 103 | | choicesBranch
 104 | |   minReads=(Right 0)
 105 | |   mayRaise=[ExceptionFailure]
 106 | | | <branch (\x_0 -> x_0)>
 107 | | | | readRegister <hidden>
 108 | | | |   minReads=(Right 0)
 109 | | | |   mayRaise=[]
 110 | | | | pushValue GHC.Types.[]
 111 | | | |   minReads=(Right 0)
 112 | | | |   mayRaise=[]
 113 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 114 | | | |   minReads=(Right 0)
 115 | | | |   mayRaise=[]
 116 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
 117 | | | |   minReads=(Right 0)
 118 | | | |   mayRaise=[]
 119 | | | | ret
 120 | | | |   minReads=(Right 0)
 121 | | | |   mayRaise=[]
 122 | | | <default>
 123 | | | | fail []
 124 | | | |   minReads=(Left ExceptionFailure)
 125 | | | |   mayRaise=[ExceptionFailure]