PR# 2586 Agent expressions do not permit generic type

Problem Report Summary
Submitter:
Category: Compiler
Priority: Medium
Date: 2000/08/24
Class: Bug
Severity: Serious
Number: 2586
Release: 4.5.021
Confidential: No
Status: Suspended
Responsible: manus_eiffel
Environment: All platforms
Synopsis: Agent expressions do not permit generic type

Description
Agent expressions which contain a generic type, as in

	{G}~some_routine

raise a VUAR(2) error during compilation.
To Reproduce
Compile the attached system.
Problem Report Interactions
From:    Date:2000/08/24    Download   
State-Changed-From-To: open-suspended
State-Changed-By: Manu
State-Changed-When: Thu Aug 24 15:33:47 PDT 2000
State-Changed-Why:

Dear Darren,

You can create an agent which has a formal generic parameter as in

 {G}~some_routine

However the conformance rule is a little bit strange. When G has no
constraints the compiler makes G equal to ANY, if it has a constraint
G is equal to the constraint.

In your code it becomes {MY_VALUE}~some_routine and because G is just
a generic parameter MY_VALUE cannot conform to G, thus the error.

We agree that it is a limitation and will do our best to fix it. It may
not be part of next release.