home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / sa104os2.zip / SATHR104.ZIP / SATHER / DOC / BUGS next >
Text File  |  1994-12-22  |  2KB  |  59 lines
  1. These are easy to avoid once you know about them.
  2. Send comments to "sather-bugs@icsi.berkeley.edu".
  3.  
  4. -----------------------------------------------------------------
  5. Major functionality omissions:
  6.  
  7.     Bound iters and dispatching over iters aren't implemented.
  8.  
  9.     If you dispatch to a routine that would require boxing or unboxing
  10.     of the arguments or return value, this may not occur.  (This only
  11.     happens when you mix value and abstract types.)  This will be fixed
  12.     in the next release.
  13.  
  14. Bugs of libraries and library support:
  15.  
  16.     FLTX and FLTDX aren't implemented; it's difficult when most C
  17.     compilers don't support them, either.
  18.  
  19.     Built-in INT operations such as "plus" don't work when you change
  20.     asize in a descendent.  AVAL{BOOL} and AREF{BOOL} use bytes instead
  21.     of bits for storage except in built-in classes.
  22.  
  23.     The FILE classes are currently being rewritten for portability
  24.     and proper error handling; expect them to change soon.
  25.  
  26. Bugs affecting checking:
  27.  
  28.     Not all the arithmetic checks happen.  IEEE exception handling
  29.     isn't implemented.
  30.  
  31.     Destroy checks are not performed.
  32.  
  33.     Static checks on classes with type bounds are not performed.  This
  34.     never affects the correctness of compiled code, but means that for
  35.     the moment it is possible for a new instantiation of parameters to
  36.     cause a type problem that wasn't recognized until that instantiation.
  37.  
  38.     Programs with infinite numbers of classes, for instance
  39.  
  40.     class BUG{T} is a:BUG{SAME} is end; end;
  41.  
  42.     aren't caught properly; the compiler infinite loops.
  43.     So, don't write programs like this.
  44.  
  45.     Invariants and postconditions don't always get checked,
  46.     in particular when using "return" or "yield" to exit a routine.
  47.  
  48.     Stack overflows are reported as void accesses under some
  49.     circumstances.
  50.  
  51. Bugs affecting invocation/environment:
  52.  
  53.     Symbolic info generated by -debug or -g may occasionally point to a
  54.     C file instead of Sather, but these may be ignored (it only happens
  55.     if there isn't an appropriate Sather line that corresponds to the C
  56.     statements, such as during automatic boxing of dispatched value types).
  57.  
  58.     "csh"-style globbing in the command files doesn't work.
  59.