[MLton-devel] types for RSSA

[Matthew Fluet]

> The enumSize was meant to specify the number of non-value-carrying
> variants.  The integer values of the tags was implicit.  Actually, to
> make stuff completely explicity, maybe I should go for the following
> ...
> So now, nonCarrying specifies the values of all the tags.

I like making the chosen tags explicit.  Again, it might make
representation/tag sharing a little clearer.

I'm guessing that we would also change the pointer-convention from
pointing to the first data-word to pointing to the header word.  Although,
that would seem to complicate indexing into arrays (the increment to the
first dataword might roll over a maxInt index).  So, maybe still pointing
to the first data-word is the right thing.



-------------------------------------------------------
This sf.net email is sponsored by: To learn the basics of securing 
your web site with SSL, click here to get a FREE TRIAL of a Thawte 
Server Certificate: http://www.gothawte.com/rd524.html
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel