0001216: feature: warn when inherit does not produce a subtype

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0001216

OCaml

OCaml general

public

2002-06-26 20:24

2002-06-27 10:29

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0001216: feature: warn when inherit does not produce a subtype

Description

Full_Name: james woodyatt
Version: 3.04
OS: Mac OS X 10.1.5
Submission from: 17.255.97.138 (17.255.97.138)

Consider the following two class types:

class type mule = object('a) method m: 'a -> 'a end
class type unicorn = object inherit mule method n: unit end

Since mule has a method where the object type is in a contra-variant
position, unicorn adds a method that isn't private, this means that
unicorn is not a subtype of mule.

I'd like to see the compiler generate a warning when this happens.

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:13	administrator	New Issue

Relationships

Notes
There are no notes attached to this issue.