Skip to content

Typechecker: make potentially large recursions tail-recursive

Mehdi Bouaziz requested to merge mehdi@tailrec into proto-proposal

Prevent stack overflow when typechecking some instructions with large integers.

TODO: add tests

Edited by Mehdi Bouaziz

Merge request reports