Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005311OCamlOCaml generalpublic2011-07-08 02:232014-10-10 15:33
Reporterfuruse 
Assigned Todoligez 
PrioritynormalSeveritytextReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.12.0 
Target VersionFixed in Version4.00.0+dev 
Summary0005311: Warning 23 message is confusing
DescriptionWarning 23: this record is defined by a `with' expression,
but no fields are borrowed from the original.

Ok, I know what it means, but it seems quite puzzling for ppl who use { x with ... } for the first time. The message should state something to fix it like:

All the fields are explicitly listed in this record, so you do not need to use `with' expression.

Or something like that.
TagsNo tags attached.
Attached Files

- Relationships
related to 0006608acknowledged Lax typing for functional record updates 

-  Notes
(0007253)
doligez (administrator)
2012-03-31 22:55

Fixed in 4.00 (commit 12298) and trunk (commit 12299).

- Issue History
Date Modified Username Field Change
2011-07-08 02:23 furuse New Issue
2012-03-26 16:13 lefessan Assigned To => doligez
2012-03-26 16:13 lefessan Status new => assigned
2012-03-31 22:55 doligez Note Added: 0007253
2012-03-31 22:55 doligez Status assigned => closed
2012-03-31 22:55 doligez Resolution open => fixed
2012-03-31 22:55 doligez Fixed in Version => 4.00.0+dev
2014-10-10 15:33 doligez Relationship added related to 0006608


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker