PR# 19273 Flat view of Tuple-type-unfolded actual generic parameters
Problem Report Summary
Submitter: gobobe
Category: EiffelStudio
Priority: Low
Date: 2016/09/24
Class: Bug
Severity: Non-critical
Number: 19273
Release: 16.05.9.9057
Confidential: No
Status: Open
Responsible: alexk_es
Environment: Windows 10
Synopsis: Flat view of Tuple-type-unfolded actual generic parameters
Description
With the Tuple-type-unfolding rule, we can now write: class BAR [G -> TUPLE [TUPLE [ANY]]] end class FOO feature make local l_bar: BAR [TUPLE [STRING]] do create l_bar end end because "BAR [TUPLE [STRING]]" is unfolded to "BAR [TUPLE [TUPLE [STRING]]]". But the flat-view is wrongly displayed: l_bar: BAR [STRING] I would either see it in its folded form: l_bar: BAR [TUPLE [STRING]] or (preferrably) in its unfolded form: l_bar: BAR [TUPLE [TUPLE [STRING]] But what is displayed is neither of these form. In fact it's not valid Eiffel. -- Eric Bezault
To Reproduce
Problem Report Interactions