Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002173OCamlOCaml generalpublic2004-02-05 18:352013-07-27 07:54
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0002173: duplicate method warning?
DescriptionFull_Name: henri dubois-ferriere
Version: 3.07+2
OS: debian
Submission from: lcavpc14.epfl.ch (128.178.8.51)


class a = object method a = 1 method a = 2 end


shouldn't this give a warning?

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0009890)
gasche (developer)
2013-07-27 07:54

I believe this have been a warning since 3.12 (one would need to use "method! a = ..." on the second definition to mark it as an override), and this is an error in trunk (will be in 4.01), as it doesn't make sense to override a method in the exact same object definition (PR#6035).

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2013-07-27 07:54 gasche Note Added: 0009890
2013-07-27 07:54 gasche Status acknowledged => closed
2013-07-27 07:54 gasche Resolution open => fixed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker