Skip to content

Make Spill.spill tail recursive#284

Merged
mshinwell merged 1 commit intoocaml-flambda:flambda2.0-stablefrom
lthls:spill_tailrec
Dec 9, 2020
Merged

Make Spill.spill tail recursive#284
mshinwell merged 1 commit intoocaml-flambda:flambda2.0-stablefrom
lthls:spill_tailrec

Conversation

@lthls
Copy link
Copy Markdown

@lthls lthls commented Oct 29, 2020

I got stack overflows when trying to compile Coq.

@mshinwell mshinwell merged commit 870ba20 into ocaml-flambda:flambda2.0-stable Dec 9, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants