| Anonymous | Login | Signup for a new account | 2013-05-26 06:18 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||
| 0005828 | OCaml | OCaml standard library | public | 2012-11-15 14:29 | 2012-11-17 15:32 | |||
| Reporter | prevosto | |||||||
| Assigned To | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | |||
| Status | closed | Resolution | no change required | |||||
| Platform | x86_64 | OS | Linux | OS Version | ||||
| Product Version | 4.00.0 | |||||||
| Target Version | Fixed in Version | |||||||
| Summary | 0005828: Filename.is_implicit and Filename.is_relative treat quoted paths as relative | |||||||
| Description | # Filename.is_implicit "\"/foo/bar\"";; - : bool = true # Filename.is_relative "\"/foo/bar\"";; - : bool = true Arguably, both should be false. | |||||||
| Tags | No tags attached. | |||||||
| Attached Files | ||||||||
Notes |
|
|
(0008515) prevosto (reporter) 2012-11-15 14:37 |
Sorry for the noise, '"' is a perfectly valid name for a directory. This report can be closed. |
|
(0008519) xleroy (administrator) 2012-11-17 15:32 |
Indeed, quotes in filenames have no special meaning for Unix system calls and I'm pretty sure for Windows's as well. |
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2012-11-15 14:29 | prevosto | New Issue | |
| 2012-11-15 14:37 | prevosto | Note Added: 0008515 | |
| 2012-11-17 15:32 | xleroy | Note Added: 0008519 | |
| 2012-11-17 15:32 | xleroy | Status | new => closed |
| 2012-11-17 15:32 | xleroy | Resolution | open => no change required |
| Copyright © 2000 - 2011 MantisBT Group |