liberty-eiffel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug #62147] Expanded classes not printable


From: Eric Bezault
Subject: Re: [bug #62147] Expanded classes not printable
Date: Tue, 8 Mar 2022 00:57:10 +0100
User-agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.6.1

On 07/03/2022 22:23, Raphael Mack wrote:

@Eric do you remember trouble to check a type for its expandedness (or
use cases for this check) in gobo? What is implemented in ISE and gec?

'3 = Void' is allowed. It is just a warning (VWEQ), and always
return False.

To check for expandedness, we have TYPE.is_expanded. So we would do:

  my_object.generating_type.is_expanded


--
Eric Bezault
mailto:ericb@gobosoft.com
http://www.gobosoft.com



reply via email to

[Prev in Thread] Current Thread [Next in Thread]