[r6rs-discuss] [Formal] Enumeration types should be reified

[John Cowan]

Jed Davis scripsit:

> These objections would not apply to equivalencing any two enumeration
> types representing the same *sequence* of symbols (which would be
> sufficient to make make-enumeration referentially transparent, I think,
> for whatever that's worth).

It still makes the bit-vector implementation unnecessarily annoying,
though; either you need to implement hash consing, or you end up
applying "equal?" rather than "eqv?" on the underlying lists of symbols.

-- 
Clear?  Huh!  Why a four-year-old child         John Cowan
could understand this report.  Run out          cowan at ccil.org
and find me a four-year-old child.  I           http://www.ccil.org/~cowan
can't make head or tail out of it.
        --Rufus T. Firefly on government reports