samrushing/irken-compiler

type annotation lost when function inlined

samrushing opened this issue · 2 comments

see tests/t_anno3.scm

might be an argument for typing before inlining.

jeske commented

...another argument for typing before optimizations is that it will produce typing errors faster.