It appears that there's an error in the GMP library that I found at http://www.pobox.com/~berend/eiffel/eiffelstruggle/2003/entries/gmp/GMP.zip In the file...
Greetings: This morning I noticed that for classes like HASH_TABLE, COMPARABLE_SET and other SET classes, the agent-enabling features like do_all and for_all...
... What is the behaviour of the functions in different Eiffel implementations? If it is the same across all implementations, it would be better to avoid...
... This is being excessively pessimistic. Of course, when starting from scratch everybody should do proper specs as much as possible but humans are not...
hi, [I believe this stuff belongs to eiffel-nice-library, and I only CC'd to -language, since the topic showed up there first. I suggest continuing on...
Hi all, there seems to be not much enthusiasm continuing the discussion where we left off. The topic we are working on right now (equality in ANY) is seemingly...
Dear group members, I am sorry for the long silence, new project starting, you know how it is... Nonetheless, we are still in our "short" visit to ANY with the...
Hi everyone, Arno, ... We are currently talking about that problem in SE. The problem arised because 'copy' dynamically changed the type of Current...!!! Of...
Is there a language specification of the short form? I would like to be able to parse it for various reasons when there is no Eiffel text (e.g. the NICE...
O.k., I have to admit I did not follow all of the discussion. However the most important issue seems the new semantics of 'like Current'. Decoupling 'is_equal'...
... Implicit redefinitions are still there. That's the raison d'etre of anchored types. What changes is that now types other than the anchored type itself can...
... It wouldn't be difficult to make it return False for cases when the objects are not of the same type, would it? ... I assume that means that there are no...
... Yes, right. Thinking about it, it is indeed very poorly documented for an Eiffel user (when I earlier said "well documented" I thought about "well...
... I should remind everyone that Roger set up a work-in-progress web at eiffel-nice.org that we should keep up-to-date. Typically, whoever is driving the...
As the discussion has mostly died down, now would be the time to summarize and drive the discussion on. I am currently at the ACM CCS conference in Washngton...
Dear group! With the somewhat delayed poll result we can move on to the next step. (Delayed because of my set-up: I was not sure whether "close on the 7th"...
You should soon receive an automatically-generated message from the YahooGroups polling system, inviting you to vote on the following proposal: Refine the...
Hi, I am new to Eiffel (started 3 weeks ago) and I have a multiple inheritance problem which I am not quite sure how to implement in Eiffel. Can any of you...
Hi, I finally found the time to do all the remaining small things to COMPARABLE. As there are no fundamental questions open, I will call for a vote today or...
... Sorry I did not read that before. I agree with this "one-step- after-another" plan. Then I'll accept the COMPARABLE modification, provided that we talk...
Hello, And sorry to start again the discussion, but ... I voted "not happy either way". The problem I find with this spec is the same as the problem with...
Hi, I am new to Eiffel (started 3 weeks ago) and I have a multiple inheritance problem which I am not quite sure how to implement in Eiffel. Can any of you...
... It's just one instance of a catcall. All routines taking "like current" as a parameter create a cat call when used polymorphically. This in turn is a case...
Enter your vote today! Check out the new poll for the eiffel-nice-library group: Proposal for class STRING: Refine the specification of feature 'count': <pre>...
... [...] ... Extra,trailing paranthesis. ===== Apologies for the stupid Yahoo ad below. __________________________________________________ Do you Yahoo!? Y!...
... Yes, same here. The last 3 weeks where crazy (start of the lectures and the flu going round). As to Eric's comments: O.K., I have corrected the header and...
Hi, here is the last version, hopefully fit to be voted on. I have just added the things I proposed im my last message, namely head comment on nondeterminism...
Hi all, I finally found the time to prepare this. I atempted to incooperate all proposed changes. List of Changes: - Separated complex conditions into simpler...
Hi, since there seems to be no further discussion (which I will freely interpret as no serious problems with what was said so far), I will prepare a final...
Hi, I agree with Jim that '<' should be the one and only basic specifier. The central question is how to specify equality. When I tried to assess the degree...
Having problems with message search?
