On Wednesday 25 July 2007 13:06:40 Andy Lester wrote: > > PMCNULL is a singleton Null PMC. It's good. We like it. Hooray > > for PMCNULL. > Except that PMCNULL is not a real NULL and therefore splint and lint > and whatnot can't keep track of it getting somewhere it shouldn't be.
They *can* track that anything that accepts a PMC is *not* NULL though and that everything which returns a PMC *never* returns a NULL. I like that. -- c