Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005828OCamlOCaml standard librarypublic2012-11-15 14:292012-11-17 15:32
Reporterprevosto 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionno change required 
Platformx86_64OSLinuxOS Version
Product Version4.00.0 
Target VersionFixed in Version 
Summary0005828: 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.
TagsNo tags attached.
Attached Files

- Relationships

-  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
Powered by Mantis Bugtracker