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
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.