bugLiberty Eiffel - Bugs: bug #62147, Expanded classes not printable


bug #62147: Expanded classes not printable

Submitter:  Paolo Redaelli <Tybor>
Submitted:  Mon 07 Mar 2022 10:55:49 AM UTC
Category:  Kernel libraries Severity:  4 - Important
Priority:  * 5 - Normal Status:  Need Info
Assigned to:  None Open/Closed:  Open
Release:  None Fixed Release:  None
Planned Release:  None
* Mandatory Fields

Add a New Comment Rich Markup

Mon 07 Mar 2022 12:24:49 PM UTC, comment #1: 

See for example test/language/expanded/test_expanded42.e

Paolo Redaelli <Tybor>
Group administrator
Mon 07 Mar 2022 10:55:49 AM UTC, original submission:  

Let's have an
expanded class FOO
  -- empty

Any try to print it out, either in a collection (an ARRAY) or stand alone strigger a compile time error such as:

**** Error: Invalid usage of feature `to_pointer' of class ANY. (The target which is of type AUX_EXPANDED40_EXP cannot be converted to a memory address.)

The source lines relevant to this message are the following:

Line 284 column 13 in ANY (/home/paolo/src/liberty-eiffel/src/lib/kernel/any.e):
Line 421 column 4 in ANY (/home/paolo/src/liberty-eiffel/src/lib/kernel/any.e):
   to_pointer: POINTER

Paolo Redaelli <Tybor>
Group administrator


(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:

No files currently attached


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by Tybor (Submitted the item)

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

    Only logged-in users can vote.


    No changes have been made to this item

    Back to the top

    Powered by Savane 3.13-c373.
    Corresponding source code