[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Stan's Comments

    rules for well-defined class structures would prevent
    situations like the one he mentions, but they don't. I suppose I
    had hoped for an upper semi-lattice, but it isn't in the cards. DAG
    it will probably be.

Since this is so, it means that we do not need a class named NIL to
close the bottom.  This allows (CLASS-NAME class) ->NIL to mean no name.