Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006160OCamltypingpublic2013-09-05 05:332017-03-01 16:07
Assigned To 
PlatformOSOS Version
Product Version4.01.0+beta/+rc 
Target VersionFixed in Version 
Summary0006160: disable shadowing warning for deprecated identifiers?
DescriptionConsider :

module Z = struct let (&) f x = f x end
open Z
let () = print_int & 10

4.01 will emit warning 44 on the above code :
Warning 44: this open statement shadows the value identifier & (which is later used)

The suggestion is to disable this warning when the shadowed identifier is marked deprecated..
TagsNo tags attached.
Attached Files

- Relationships
related to 0005854closedfrisch Add a deprecated warning 

-  Notes
doligez (administrator)
2013-09-11 22:12

Unfortunately, this would be pretty hard to implement with the way the deprecated warning works now. It will probably have to wait until 0005854 is implemented (and used for "or" and "&" in the standard library).
frisch (developer)
2013-09-26 17:33

Generally, we refrain from using brand new features too quickly in the compiler code base (to avoid headaches in case this feature change, and to avoid bootstrapping issues for people maintaining a fork of the compiler). Maybe this particular case could be an exception, given that it would be particularly easy to comment out the attributes if needed.

- Issue History
Date Modified Username Field Change
2013-09-05 05:33 ygrek New Issue
2013-09-11 22:12 doligez Note Added: 0010338
2013-09-11 22:12 doligez Status new => confirmed
2013-09-11 22:12 doligez Relationship added related to 0005854
2013-09-26 17:33 frisch Note Added: 0010405
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-01 16:07 doligez Category -OCaml general => typing

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker