[MLton-devel] new header words

[Henry Cejtin]

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?


-------------------------------------------------------
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