On 22/08/2012 23:37, Phil Clayton wrote:
On 21/08/12 15:52, Matthew Fluet wrote:
As for "there must be a structure WordN equal to LargeWord", I've
understood that to mean that an implementation should include a
structure with the explicit width of LargeWord, such that
LargeWord.word = WordN.word.
In Poly/ML LargeWord is 62 bits in 32-bit mode (2*31-bits) and 126 bits
in 64-bit mode (2 * 63-bits). This is sufficient to implement SysWord.
It seems a bit artificial to insist that there must be Word62 and
Word126 structures. Perhaps it would be better to implement Word32 and
Word64 more efficiently (currently Word32 is implemented in terms of
LargeWord or Word) and then use that for LargeWord.
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
