owickstrom / idris-vimscript

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

Use the Bool field in SApp to do TCO #26

Open owickstrom opened 6 years ago

owickstrom commented 6 years ago

The first field of SApp in SExp marks tail calls. Could we use this and do TCO directly in the CodegenVim module?