Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004357OCamlCamlp4public2007-08-05 23:092010-04-29 14:26
Reportergerd 
Assigned Toertai 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.10.0 
Target VersionFixed in Version3.10+dev 
Summary0004357: Wrong location in quotations
DescriptionThe start offset of locations passed to quotation expanders seem to be wrong. See the attached files. If err.cmo is applied to errsample.ml, it prints to stderr

file=errsample.ml line=2 offset=37 bol=18

However, offset=35 would be correct.
TagsNo tags attached.
Attached Files? file icon err.ml [^] (316 bytes) 2007-08-05 23:09 [Show Content]
? file icon errsample.ml [^] (56 bytes) 2007-08-05 23:09 [Show Content]

- Relationships

-  Notes
(0004133)
gerd (reporter)
2007-08-05 23:10

Also checked that in the release310 branch. It is still incorrect there.
(0004363)
ertai (developer)
2007-11-27 15:39

Thanks for the report. This is now fixed in the CVS (both in trunk and release310 branch).

- Issue History
Date Modified Username Field Change
2007-08-05 23:09 gerd New Issue
2007-08-05 23:09 gerd File Added: err.ml
2007-08-05 23:09 gerd File Added: errsample.ml
2007-08-05 23:10 gerd Note Added: 0004133
2007-11-10 14:58 xleroy Status new => assigned
2007-11-10 14:58 xleroy Assigned To => ertai
2007-11-27 15:39 ertai Note Added: 0004363
2007-11-27 15:39 ertai Status assigned => resolved
2007-11-27 15:39 ertai Resolution open => fixed
2007-11-27 15:39 ertai Fixed in Version => 3.10+dev
2010-04-29 14:26 xleroy Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker