home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / eiffel / 1077 < prev    next >
Encoding:
Internet Message Format  |  1992-08-21  |  1.4 KB
  1. Path: sparky!uunet!mcsun!uknet!mucs!cs.man.ac.uk!mod
  2. From: mod@cs.man.ac.uk (Michael O'Docherty (CAG ra))
  3. Newsgroups: comp.lang.eiffel
  4. Subject: system-level validity
  5. Summary: system-level-validity
  6. Keywords: system-level validity
  7. Message-ID: <mod.714411318@cs.man.ac.uk>
  8. Date: 21 Aug 92 15:35:18 GMT
  9. Sender: news@cs.man.ac.uk
  10. Lines: 26
  11.  
  12. In an earlier posting, I gave a type hole example and asked a few
  13. questions. Perhaps I was too subtle, for I received no answers. I'll
  14. try to be more concise and more direct about the most important issue.
  15.  
  16.    "Does ISE Eiffel 3.0 perform system-level validity checking?"
  17.  
  18. I only ask because I strongly believe that 3.0 vendors should be up
  19. front about this very important issue; after all, is a compiler that
  20. only performs 99% of the possible static checking any long term use,
  21. especially when Eiffel is trumpeted as robust? (Oops, slipped a second
  22. question in there ;-).
  23.  
  24. If the answer to the first question is "no" then we'll still buy
  25. EiffelBench but I would be disappointed if future versions don't do the
  26. checking either, (there's a third question in there if you look
  27. carefully :-).  Shortcomings are fine as long as they're temporary and
  28. we know what they are.
  29.  
  30. Yours eagerly awaiting the release,
  31.  
  32.     Mike.
  33.  
  34. ps. I know the people at ISE are doing a very difficult job, no
  35. criticism is intended.
  36.  
  37. Internet: mod@cs.man.ac.uk, wet string: (+44) 061 223 1301 ext. 2343
  38.