- ( fresh >>= \finish->
- fresh >>= \start->
- tell
- [Instr "ldl" [Lit t] ""
- ,Instr "ldma" [Lit 0, Lit 2] "Load funcall and arity"
- ,Instr "ldc" [Lit $ length es] "Push extra arity on stack"
- ,Instr "add" [] "Increase arity"
- ,Instr "ldl" [Lit t] ""
- ,Instr "ldh" [Lit 1] "Load available arguments"
- ,Instr "str" [Raw "R5"] "Save available arguments"
- ,Lab start
- ,Instr "ldr" [Raw "R5"] "Load available arguments"
- ,Instr "ldc" [Lit 0] ""
- ,Instr "eq" [] ""
- ,Instr "brt" [L finish] ""
- ,Instr "ldc" [Lit 1] "Decrement available arguments"
- ,Instr "sub" [] ""
- ,Instr "str" [Raw "R5"] "Push available arguments"
- ,Instr "bra" [L start] ""
- ,Lab finish
- ]
- >>| mapM_ g es )