PR# 12751 Single .NET deferred Eiffel types with deferred properties generates bad code

Problem Report Summary

Submitter: paulbates

Category: Compiler

Priority: Medium

Date: 2007/05/17

Class: Bug

Severity: Serious

Number: 12751

Release: 6.0.6.8342

Confidential: No

Status: Open

Responsible:

Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3

Synopsis: Single .NET deferred Eiffel types with deferred properties generates bad code

Description

When implementing a deferred class that inherits and external .NET type, if the deferred class has a property declaration that is deferred, the implementor class generates bad code.

To Reproduce

Check eweasel test#dotnet076 and test#dotnet077

Problem Report Interactions