We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Original bug ID: 7057 Reporter: furuse Assigned to: @alainfrisch Status: closed (set by @alainfrisch on 2015-11-25T16:49:01Z) Resolution: fixed Priority: low Severity: text Version: 4.02.3 Fixed in version: 4.03.0+dev / +beta1 Category: standard library Tags: junior_job Monitored by: @hcarty
list.mli states append and (@) are not tail recursive, but (@) itself is simply explained "List concatenation" in pervasives.mli.
(@) itself must be documented not tail recursive.
I saw someone stucked by the non tail recursiveness of (@): http://stackoverflow.com/questions/33881792/cps-merge-sort-causes-a-stack-overflow
The text was updated successfully, but these errors were encountered:
Comment author: @hcarty
A (very very) simple GPR is available here: #309
Sorry, something went wrong.
Comment author: @alainfrisch
Commit 3cbeede on trunk.
alainfrisch
No branches or pull requests
Original bug ID: 7057
Reporter: furuse
Assigned to: @alainfrisch
Status: closed (set by @alainfrisch on 2015-11-25T16:49:01Z)
Resolution: fixed
Priority: low
Severity: text
Version: 4.02.3
Fixed in version: 4.03.0+dev / +beta1
Category: standard library
Tags: junior_job
Monitored by: @hcarty
Bug description
list.mli states append and (@) are not tail recursive, but (@) itself is simply explained "List concatenation" in pervasives.mli.
(@) itself must be documented not tail recursive.
I saw someone stucked by the non tail recursiveness of (@):
http://stackoverflow.com/questions/33881792/cps-merge-sort-causes-a-stack-overflow
The text was updated successfully, but these errors were encountered: