2004-09-16:

Obscure bug: If a special variable 'v' has the same name as a slot in type
Y, and the 'cluster' handler (see deftyp.lisp) defines a conser for Y,
then the argument list for (assuming *integrable) the conser will
look like --

       (lambda (... v ...) ...)

and this 'v' will be declared special (!).  If there's a type
declaration for 'v', then applying this conser and binding 'v' to
something not of that type might cause a run-time or compile-time
error.  (This bug was caught by CMUCL at compile time.)

I haven't fixed this because (a) special variables "always" have names
ending in asterisks; (b) it would make the code for consers uglier.
The fix, of course, is to avoid using slot names for such variables. 


04-01-04:

numdcl doesn't know Double-float is contagious.  (It doesn't know
Double-floats exist, really.)

03-05-31:

:ydecl package must export all ytools symbols.

;;;$Id: notes.txt,v 2.10 2005/12/26 00:46:18 dvm Exp $

