Re: [gobo-eiffel-develop] 'Unique' vs 'unique'

[Andreas L. <no...@sb...>]

Hi Eric,

thank you very much for the reply and commit.

First of, Eric, sorry if my mail came across the wrong way. I know that
the SE team hasn't been "very cooperative" recently - to say the least.
Out of curiosity I tried whether the new beta would (for some magical
reason :) work with GOBO again or could be made to work without to much
hassle. I thought I'd quickly post my findings on this list to let
others know, I didn't intend to ask to get yet quirkier workarounds into
GOBO for things that shouldn't be worked around in GOBO, but fixed in SE
(if it intends to be an Eiffel compiler). Rereading my mail, I noticed
that I didn't really express this - sorry for that.

On Fri, 2004-07-16 at 17:35, Eric Bezault wrote:
> Andreas Leitner wrote:
> > Is there a reason that in the classes 
[...]
> > the keyword "unique" is used with an upper case "U" (i.e.: "Unique")?
> 
> Yes: it is valid Eiffel. Eiffel is case-insensitive.

I know, but it doesn't hurt us to change it. Besides, we usually write
all keywords all-lowercase in GOBO, so why should we handle "unique" in
a different way? Now, lets ignore the fact that SE exists for a moment.
Then we could look at the commit as a pure cosmetic change and not as
bug-fix (; (which it isn't, as you correctly stated)

> In order to "fix" something, there need to be a bug. There is

I really didn't want to imply that. I rather meant finding workarounds.
Or maybe update in the case of the changed SE cluster layout.

> no bug in the Gobo code. Either the bug is in the SmartEiffel
> compiler or there is a flag. In both cases I wonder why you
> first thought about sending a message to the Gobo mailing list
> instead of the SmartEiffel mailing list. Why don't you ask them
> whether there is a flag, or to fix their compiler otherwise?

I didn't ask on the se list because I know how they'd respond anyway.
Of course you are right that GOBO shouldn't be trying to compensate for
non-standard properties of se.

> PS: I now replaced all "Unique" by "unique" in CVS.

Thank you very much!

Best regards,
Andreas
--