Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004100OCamlOCaml generalpublic2006-09-04 17:212006-09-11 11:20
Reporterpvernaza 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version3.09.2 
Target VersionFixed in Version 
Summary0004100: Str.split is not tail recursive
DescriptionIt would be useful if Str.split were documented as not being tail recursive, since it can lead to mysterious failures when parsing large strings. Furthermore, perhaps a tail-recursive Str.rev_split could be added?
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2006-09-04 17:21 pvernaza New Issue
2006-09-11 11:20 doligez Status new => acknowledged


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker