owickstrom / idris-vimscript

Compile Idris to Vimscript, like you always wanted.
Other
130 stars 5 forks source link

TCO in codegen #27

Open owickstrom opened 6 years ago

owickstrom commented 6 years ago

This modifies the code generator to perform TCO directly, and removes the separate TCO pass. I plan on continuing from here when trying out LDecl IR instead of SDecl (see #15).