23 Aug
2012
23 Aug
'12
2:11 p.m.
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