test/Golden/Automaton/boom.dump

   1 push InstrPureHaskell ((.) ((flip ($)) (const id)) . ((.) (.) . ((.) (.) . ((.) (const id) . const id))))
   2 ` label Addr {unLabel = let_5}
   3   ` push InstrPureHaskell (const id)
   4     ` label Addr {unLabel = let_2}
   5       ` push InstrPureHaskell (const id)
   6         ` call Addr {unLabel = let_5}
   7           ` liftI2 InstrPureHaskell ($)
   8             ` call Addr {unLabel = let_2}
   9               ` liftI2 InstrPureHaskell ($)
  10                 ` liftI2 InstrPureHaskell ($)
  11                   ` call Addr {unLabel = let_5}
  12                     ` liftI2 InstrPureHaskell ($)
  13                       ` liftI2 InstrPureHaskell ($)
  14                         ` label Addr {unLabel = let_3}
  15                           ` push InstrPureHaskell ()
  16                             ` liftI2 InstrPureHaskell ($)
  17                               ` label Addr {unLabel = let_4}
  18                                 ` push InstrPureHaskell (const id)
  19                                   ` label Addr {unLabel = let_1}
  20                                     ` push InstrPureHaskell (const id)
  21                                       ` call Addr {unLabel = let_4}
  22                                         ` liftI2 InstrPureHaskell ($)
  23                                           ` call Addr {unLabel = let_1}
  24                                             ` liftI2 InstrPureHaskell ($)
  25                                               ` liftI2 InstrPureHaskell ($)
  26                                                 ` call Addr {unLabel = let_4}
  27                                                   ` liftI2 InstrPureHaskell ($)
  28                                                     ` liftI2 InstrPureHaskell ($)
  29                                                       ` call Addr {unLabel = let_3}
  30                                                         ` liftI2 InstrPureHaskell ($)
  31                                                           ` ret