I had a close look into the spec and the discussions up to now Unfortunately I must admit that I did not take the time to look into all assertions closely. .....
Frieder Monninger
fm@...
Aug 18, 1999 6:38 am
5
[ Note: This message is reposted here to help people catch up quickly with the ongoing discussions about ELKS 2000 based on an original draft proposal by...
olivier.zendra@...
Aug 18, 1999 12:09 pm
6
[ Note: This message is reposted here to help people catch up quickly with the ongoing discussions about ELKS 2000 based on an original draft proposal by...
olivier.zendra@...
Aug 18, 1999 12:10 pm
7
[ Note: This message is reposted here to help people catch up quickly with the ongoing discussions about ELKS 2000 based on an original draft proposal by...
olivier.zendra@...
Aug 18, 1999 12:13 pm
8
[ Note: This message is reposted here to help people catch up quickly with the ongoing discussions about ELKS 2000 based on an original draft proposal by...
olivier.zendra@...
Aug 18, 1999 12:15 pm
9
Sorry for the bother, I just want to be sure I can post to this list from e-mail as opposed to the web site. -- Jim McKim...
James McKim
jcm@...
Aug 18, 1999 1:28 pm
10
Note that I'm cc'ing this to the Eiffelbase group. Might as well hear from the widest possible audience. ... Hmmm... Always dangerous in my case :-). A couple...
James McKim
jcm@...
Aug 18, 1999 2:17 pm
11
Frieder wrote: original article:http://www.egroups.com/group/eiffel-nice-library/?start=4 ... We totally agree. Both the formal and practical point of view...
dominique.colnet@...
Aug 18, 1999 2:56 pm
12
James McKim wrote: original article:http://www.egroups.com/group/eiffel-nice-library/?start=10 ... OK with us. ... We also favor the second one. In fact, we...
dominique.colnet@...
Aug 18, 1999 3:53 pm
13
In order to make things go as smoothly and easily as possible for the new NICE ELKS proposal, we think it could be a good idea to have an HTML or texte file at...
Dominique Colnet
Dominique.Colnet@...
Aug 18, 1999 4:30 pm
14
... Yes, that's important to have a reference "state of the discussion" everybody can refer to so that we know what we are and we have a usable working draft...
franck_arnaud@...
Aug 18, 1999 6:52 pm
15
Once again I'm cc'ing this to the Eiffelbase group. I hope we can take this discussion forward in both groups. As I understand it the Eiffelbase group consists...
James McKim
jcm@...
Aug 18, 1999 9:31 pm
16
... Sure, If other people offer to do some work, It would be stupid to have anything against this :-) -- as long the work is done good. So, if you ask me, its...
Frieder Monninger
fm@...
Aug 19, 1999 8:15 am
17
... Sure, If other people offer to do some work, It would be stupid to have anything against this :-) -- as long the work is done good. So, if you ask me, its...
Frieder Monninger
monninger@...
Aug 19, 1999 8:25 am
18
James McKim wrote: original article:http://www.egroups.com/group/eiffel-nice-library/?start=15 ... So you may also want to crosspost to the SmallEiffel mailing...
olivier.zendra@...
Aug 19, 1999 1:56 pm
19
... Yes, I'm totally agree with this. In the case when run-time takes care about 'capacity' (if any), the only meaningful ensure for "adjust_capacity" is...
Alexander Kogtenkov
kwaxer@...
Aug 19, 1999 5:00 pm
20
Sounds good to me. I think the base document should be the initial draft version from Dominique/Manu/Olivier (DMO). I'll try to provide a repaired version of...
James McKim
jcm@...
Aug 19, 1999 9:38 pm
21
... Well, sure. In fact I wish you had crossposted to both as then I could have just replied "to all". Unfortunately I don't know the address of this group, so...
James McKim
jcm@...
Aug 19, 1999 9:38 pm
22
... I agree. With the contract above, the usage would be one of: 1. First grow the array, then add items 2. First remove items, then shrink the array ...and...
doylep@...
Aug 20, 1999 4:32 am
23
I was excited to read about the ELKS2000 effort and want to thank those who have worked on the proposal so far. I have looked at the String proposal and have...
Jim Weirich
jweirich@...
Aug 20, 1999 4:32 am
24
... This sounds very reasonable. Moreover, if "adjust" can be used to tell the implementation how to optimize the things, "capacity" seems to be useless,...
Alexander Kogtenkov
kwaxer@...
Aug 20, 1999 9:01 am
25
As Richie pointed out at Tools, this is the other big standardisation problem. It should allow to call things "from the outside" .. whatever it is. I see 3 big...
Frieder Monninger
fm@...
Aug 20, 1999 9:11 am
26
Here are some comments on the suggested ARRAY specification. 1. The comment for "make_from_array" does not seem to be clear: -- Useful in particular when `a'...
Alexander Kogtenkov
kwaxer@...
Aug 20, 1999 10:45 am
27
... This is true, but there are still some advantages: 1. In applications the assertions are checked in different states of ARRAY (e.g., when count=1, 8, 10,...
Alexander Kogtenkov
kwaxer@...
Aug 20, 1999 11:04 am
28
... I want to clarify that I like clear specifications - what I wanted to express is that (what can happen ..) the specification is 99% finished .. and the...
Frieder Monninger
monninger@...
Aug 20, 1999 11:59 am
30
Since our offer to act as maintainers has received positive feedback, we've put web pages to host the initial and current states of the proposal for STRING and...
dominique.colnet@...
Aug 20, 1999 3:24 pm
31
Dear Frieder, ... I'm willing to give some of my time (I don't have that much), but I believe that it should be part of the `eiffel-nice-language' discussion...
Emmanuel STAPF
manus@...
Aug 20, 1999 3:43 pm
32
... We've just put a message in the SmallEiffel mailing list (SmallEiffel@...) to invite people to participate in this NICE mailing list. We think this is...
dominique.colnet@...
Aug 20, 1999 4:52 pm
33
First let me apologize for some thickheadedness. The ARRAY god came to me in a dream last night and explained why something like `adjust' is valuable beyond...
James McKim
jcm@...
Aug 21, 1999 12:24 am
34
More comments below, but first a note that I am sorry to see some of these posts coming through with the subject: "Jim McKim's ARRAY spec". This was really a...
