I've run into problems with ceiling (in both REAL and DOUBLE) with arguments that do not have a fractional part, with the post-condition "result_no_smaller"...
Prager, Daniel (CMIS,...
Daniel.Prager@...
May 1, 2000 8:11 am
1603
... First, I like the Eiffel approach because it is somewhat unambigous. E.g. in Borlands Delphi (some Pascal dialect) the boolean operators are short-cut...
Pascal Poncin
Pascal.Poncin@...
May 1, 2000 10:42 am
1604
... C is also unambiguous, providing only short-circuit evaluation. ... Of course there are. But are there times when "and" and "or" are useful? -- Patrick...
Patrick Doyle
doylep@...
May 1, 2000 2:18 pm
1605
... But you can't see that in the source code. You have to know that (BTW, I didn't). ... Probably not - unless one wants to do things during evaluation of an...
Pascal Poncin
Pascal.Poncin@...
May 1, 2000 6:34 pm
1606
... Well, you have to start somewhere! You have to know something about what you're typing in! :-) I don't see Eiffel's system as any more or less intuitive...
Patrick Doyle
doylep@...
May 1, 2000 6:48 pm
1607
I did some experiments with profiling Eiffel code using the gcc option -pg which generates output for gprof. It worked for a short running time, but after some...
Pirmin Kalberer
kalberer@...
May 1, 2000 7:20 pm
1608
I didn't realise that this bug had reported before; it seems to me that an online register of bugs could be very useful, listing things (in flat DB style) like...
Prager, Daniel (CMIS,...
Daniel.Prager@...
May 1, 2000 11:43 pm
1609
... What are the chances of having the SmallEiffel project move to SourceForge? We could have CVS with all the code, mailings list and a bug tracking system? ...
Richie Bielak
richieb@...
May 2, 2000 2:23 am
1610
... Actually, it provides both short circuit (&&) and non-short circuit (&), so (ival < 100) && (is_prime(ival)) will be executed L-to-R with short-circuiting...
David Broadfoot
david@...
May 2, 2000 3:31 am
1611
I looked up ELKS95 to see what the Eiffel semantics were actually supposed to be, and have some queries: 1) Why does it require "other /= Void" when "other" is...
David Broadfoot
david@...
May 2, 2000 3:34 am
1612
... Ew. Bitwise? That's the kind of coding that will keep you up at night. ... I don't buy it. If the calculation is simple enough that the compiler can ...
Patrick Doyle
doylep@...
May 2, 2000 4:17 am
1613
... Not really. The "and then" feature is bogus. It's only there for documentation. The semantics of Eiffel say that simply passing an argument to "and...
Patrick Doyle
doylep@...
May 2, 2000 4:19 am
1614
... Actually, I have no bug database. I have just run your program on my Linux and there is no assertion violation. Do you have 2 different C compilers on your...
Dominique Colnet
Dominique.Colnet@...
May 2, 2000 7:24 am
1615
... I have just looked for SourceForge on the web ... may I ask you on good link to get more information about this ? -- ... Dominique COLNET -- UHP (Nancy 1)...
Dominique Colnet
Dominique.Colnet@...
May 2, 2000 7:42 am
1616
I obtained the original assertion violation using lcc. I just tried MS VC++ 5.0: no problems! So it looks like an lcc problem - any ideas anyone (paging Jacob...
Prager, Daniel (CMIS,...
Daniel.Prager@...
May 2, 2000 9:23 am
1617
... Jacob and I are working on a similar problem ... I will forward this information to Jacob. Thanks, ... May be this information should be forwarded to Roger...
Dominique Colnet
Dominique.Colnet@...
May 2, 2000 9:58 am
1618
In a flat-short form produced by SmallEiffel, one can see assertions involving features that are *not* in the form (because they are exported to NONE). So that...
Jacques Bouchard
bouchard@...
May 2, 2000 8:59 pm
1619
... This sent me scurrying to check out the ELKS 95 definitions of ceiling and double: ceiling: INTEGER -- Smallest integral value no smaller than current...
Prager, Daniel (CMIS,...
Daniel.Prager@...
May 3, 2000 12:21 am
1620
... It's Command-Query Separation. -- Patrick Doyle doylep@......
Patrick Doyle
doylep@...
May 3, 2000 12:48 am
1621
In an earlier posts: I suggested that an online bug-tracking database for SmallEiffel would be useful, and Richie Bielak went further, suggesting putting the ...
Prager, Daniel (CMIS,...
Daniel.Prager@...
May 3, 2000 1:00 am
1622
Dear friends: I have found that dammed bug. When comparing a double precision number with an integer, I was emitting the instructions ficompl (address of...
Jacob Navia
jacob@...
May 3, 2000 10:08 am
1623
... Yes, but I didn't start right there. And, since I know Eiffel, C is more like some assembler language to me. (I know I can do things there but I won't...
Pascal Poncin
Pascal.Poncin@...
May 3, 2000 10:40 am
1624
... This is funny. But probably this is so because BOOLEAN inherits from BOOLEAN_REF. In the Visual Eiffel Kernel e.g. there "and" is declared inside...
Pascal Poncin
Pascal.Poncin@...
May 3, 2000 10:45 am
1625
... Why does SE change this to the different but equivalent result_no_smaller: Current <= Result; The ELKS expression following the comment more closely. ... ...
David Broadfoot
david@...
May 3, 2000 1:20 pm
1626
... Because those ensure assertions have been written before release -0.79 (ie. before implementation of the balancing rule). This is fixed in the next...
Dominique Colnet
Dominique.Colnet@...
May 3, 2000 2:53 pm
1627
... True. There is also the fact that someone (sorry!) ponted out that these names are reminiscient of if-then-else, with which they share certain properties....
Patrick Doyle
doylep@...
May 3, 2000 2:53 pm
1628
I have tested several Eiffel implementations of hash tables (and other associative arrays). Here are the results: http://mageos.ifrance.com/bouchard Jacques...
Jacques Bouchard
bouchard@...
May 3, 2000 8:00 pm
1629
... This is excellent. A good data point. Nice to see that the Eiffel hash tables are half an order of magnitude from hand-coded C for performance, although...
Patrick Doyle
doylep@...
May 4, 2000 4:17 am
1630
In c it is possible to write a system command such as "system xv foo.tga" Is this possible directly in SmallEiffel or must I write an external routine to do...
Chris Whyley
cschris@...
May 4, 2000 2:04 pm
1631
You can use the 'system' routine (defined in class GENERAL), to do something like: system("xv foo.tga") ... -- Alain Le Guennec, not speaking for IRISA....
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
