Ticket #93 (new defect)

Opened 1 year ago

Last modified 1 year ago

Verifier doesn't check overrides

Reported by: jeffdyer Assigned to: anonymous
Type: defect Priority: major
Milestone: Component: RefImpl
Version: 4 Keywords:
Cc:

Description

class A { function m(x:int):int {} } class B extends A { override function m(x:string):string {} }

should result in a verifier error. Same with

interface I { function m(x:int):int } interface J extends I { function m(x:string):string {} }

and variations with classes and interfaces

Attachments

Change History

Changed 1 year ago by jeffdyer

  • owner deleted
  • component changed from Proposals to RefImpl
Note: See TracTickets for help on using tickets.