[MLton-devel] new header words

[Stephen Weeks]

> 19 bits seems huge, but I could imagine hitting that limit.  A bit scary.
> Even more scary is the use of shorts for number of pointers and non-pointers.
> Not that it would happen in human-generated code, but couldn't it happen after
> flattening or with machine generated code?

Sure.  But we've never seen it, and have had an even more restrictive
limit (14 bits) forever.  Remember that the number of pointers and
nonpointers used to fit directly in the header word.  

Anyways, we can always use variable length encoding if we ever hit the
limit.


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Bringing you mounds of caffeinated joy.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel