Re: gobo/gcc error message
Eric Bezault <[email protected]> Wed, 06 Aug 2008 14:47:46 +0200
| Newsgroups | gmane.comp.lang.eiffel.gobo.devel |
|---|---|
| Message-ID | <[email protected]> |
Forwarded to the list. Eric Bezault wrote: > Müller Gloria wrote: >> ~~~~~~~~~~~~~~~~~~~~ >> make(first_item: G) is >> local >> tmp: INTEGER_64 >> do >> tmp := 2 >> tmp ?= first_item >> print (tmp) >> end >> ~~~~~~~~~~~~~~~~~~~~ >> >>> the program will print 2, and not 1 or 0. It's because ISE does not >>> change the value of the target when the assignment attempt fails. >> But in my example the assignment shoudln't fail because G is INTEGER_32. > > INTEGER_32 does not conform to INTEGER_64, so the assignment > attempt fails. There is no conversion involved in assignment > attempts, so the fact that INTEGER_32 converts to INTEGER_64 > does not help. > ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/