Ticket #72 (new defect)

Opened 5 months ago

Overloading check bug

Reported by: sukyoungryu Assigned to: dr2chase
Priority: major Milestone:
Component: interpreter Version:
Keywords: Cc:

Description

"The Subtype Rule also requires a relationship between the return types of the two declarations. Without such a requirement, a program may violate type safety."

The interpreter does not check the subtype relationship between return types.