[M3devel] small objects

[hendrik at topoi.pooq.com]

On Tue, Apr 07, 2009 at 12:27:13AM -0700, Mika Nystrom wrote:
> Oh I see.  I think...
> 
> You're saying that because RT0.RefanyTypecode is essentially
> "useless", it's OK to have values with that typecode since no
> (existing) module can do anything with that knowledge?

This looks like inelegant semantics.  A way of retrofitting a new 
feature in an existing semantic gap.  The kind of patch that will bite 
us if ever there is a proper use for the typecode for REFANY.  (I can 
imagine someday someone might have a use for such a thing, such as a 
dynamic test on typecodes to determine whether one type is a subtypoe of 
another ... I can't really imagine what someone might need in the 
future).  But I thing this kind of thing might really stand in the way.

REFANY is about references.  Let's have a new type, with its own 
typecode, for things that can be other than references.

-- hendrik