Re: typed-identity

[GSB@MIT-ML]

CC: (BUG LISP) at MIT-ML, (BUG LISPM) at MIT-ML, NIL at MIT-ML
The conceptualization i had for the use of this routine is that it
would not be something a user would use much if at all, but rather
the low-level form to be recognized by the compiler;  the named
types which would be allowed would be only certain data-types in the
implementation, eg, FIXNUM and FLONUM in Maclisp.  I would think
that a more reasonable user interface could then be built on top of
this, allowing extensible data-type information (even if it doesn't
allow these extended types to be different types in their own
right), maybe in a heirarchical or flavorful (hic?) form...  this 
routine just isn't high level enough in my opinion to warrant its
taking up a "good" name.