UG9seS9NTCBkb2VzIG5vdCBjdXJyZW50bHkgc2VlbSB0byBwcm92aWRlIGFueSBmaXhlZCBwcmVj aXNpb24gaW50ZWdlcgptb2R1bGVzLiAgUG9ydGluZyBzb21lIG9mIG15IGNvZGUgdG8gUG9seS9N TCB3b3VsZCBiZSBlYXNpZXIgaWYKUG9seS9NTCB3b3VsZCBwcm92aWRlIGEgZml4ZWQgcHJlY2lz aW9uIGludGVnZXIgbW9kdWxlLCBsaWtlIEludDMyLAphbmQgdGhlIGFzc29jaWF0ZWQgb3Zlcmxv YWRzLiAgSGF2aW5nIGFyYml0cmFyeSBwcmVjaXNpb24gaW50ZWdlcnMgYXMKdGhlIGRlZmF1bHQg SW50IG1vZHVsZSBpcyBub3QgYSBwcm9ibGVtLiAgQXR0YWNoZWQgaXMgYSBxdWljayBoYWNrCnRo YXQgaW1wbGVtZW50cyBJbnQzMiBmb3IgUG9seS9NTC4gIEkgdGVzdGVkIGl0IGJyaWVmbHkgaW50 ZXJhY3RpdmVseQphbmQgaXQgc2VlbXMgdG8gd29yay4gIEkgYWxzbyBub3RpY2VkIHRoYXQgdGhl IG5lZ2F0aW9uIG9wZXJhdG9yLCB+LApoYXMgbm90IGJlZW4gb3ZlcmxvYWRlZCBmb3IgV29yZDMy IGFuZCBhZGRlZCB0aGUgYXBwcm9wcmlhdGUgb3ZlcmxvYWQuCgotVmVzYSBLYXJ2b25lbgotLS0t LS0tLS0tLS0tLSBuZXh0IHBhcnQgLS0tLS0tLS0tLS0tLS0KQSBub24tdGV4dCBhdHRhY2htZW50 IHdhcyBzY3J1YmJlZC4uLgpOYW1lOiB3b3JkMzItaW50MzIucGF0Y2gKVHlwZTogdGV4dC94LWRp ZmYKU2l6ZTogMTg5MiBieXRlcwpEZXNjOiBub3QgYXZhaWxhYmxlClVybCA6IGh0dHA6Ly9saXN0 cy5pbmYuZWQuYWMudWsvbWFpbG1hbi9wcml2YXRlL3BvbHltbC9hdHRhY2htZW50cy8yMDA3MTEw Ni9hODY1MmQ1ZC93b3JkMzItaW50MzIuYmluCi0tLS0tLS0tLS0tLS0tIG5leHQgcGFydCAtLS0t LS0tLS0tLS0tLQpBIG5vbi10ZXh0IGF0dGFjaG1lbnQgd2FzIHNjcnViYmVkLi4uCk5hbWU6IElu dDMyLnNtbApUeXBlOiBhcHBsaWNhdGlvbi9zbWlsClNpemU6IDQwMjAgYnl0ZXMKRGVzYzogbm90 IGF2YWlsYWJsZQpVcmwgOiBodHRwOi8vbGlzdHMuaW5mLmVkLmFjLnVrL21haWxtYW4vcHJpdmF0 ZS9wb2x5bWwvYXR0YWNobWVudHMvMjAwNzExMDYvYTg2NTJkNWQvSW50MzIuc21pCg==
Vesa Karvonen wrote:
Poly/ML does not currently seem to provide any fixed precision integer modules. Porting some of my code to Poly/ML would be easier if Poly/ML would provide a fixed precision integer module, like Int32, and the associated overloads. Having arbitrary precision integers as the default Int module is not a problem. Attached is a quick hack that implements Int32 for Poly/ML. I tested it briefly interactively and it seems to work. I also noticed that the negation operator, ~, has not been overloaded for Word32 and added the appropriate overload.
Thanks, I've added it. While checking it I noticed that Word32.~ wasn't actually right so I've fixed that as well.
David.
On Nov 6, 2007 6:20 PM, David Matthews David.Matthews@prolingua.co.uk wrote:
Vesa Karvonen wrote: [...] Thanks, I've added it. While checking it I noticed that Word32.~ wasn't actually right so I've fixed that as well.
Oops, and thanks for accepting the patches!
-Vesa Karvonen