PR# 19273 Flat view of Tuple-type-unfolded actual generic parameters

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