Poly/ML November 2007

polyml@lists.polyml.org

4 participants
13 discussions

Int32 hack and patch to Word32.sml
by vesa.a.j.k＠gmail.com 06 Nov '07

06 Nov '07

UG9seS9NTCBkb2VzIG5vdCBjdXJyZW50bHkgc2VlbSB0byBwcm92aWRlIGFueSBmaXhlZCBwcmVj aXNpb24gaW50ZWdlcgptb2R1bGVzLiAgUG9ydGluZyBzb21lIG9mIG15IGNvZGUgdG8gUG9seS9N TCB3b3VsZCBiZSBlYXNpZXIgaWYKUG9seS9NTCB3b3VsZCBwcm92aWRlIGEgZml4ZWQgcHJlY2lz aW9uIGludGVnZXIgbW9kdWxlLCBsaWtlIEludDMyLAphbmQgdGhlIGFzc29jaWF0ZWQgb3Zlcmxv YWRzLiAgSGF2aW5nIGFyYml0cmFyeSBwcmVjaXNpb24gaW50ZWdlcnMgYXMKdGhlIGRlZmF1bHQg SW50IG1vZHVsZSBpcyBub3QgYSBwcm9ibGVtLiAgQXR0YWNoZWQgaXMgYSBxdWljayBoYWNrCnRo YXQgaW1wbGVtZW50cyBJbnQzMiBmb3IgUG9seS9NTC4gIEkgdGVzdGVkIGl0IGJyaWVmbHkgaW50 ZXJhY3RpdmVseQphbmQgaXQgc2VlbXMgdG8gd29yay4gIEkgYWxzbyBub3RpY2VkIHRoYXQgdGhl IG5lZ2F0aW9uIG9wZXJhdG9yLCB+LApoYXMgbm90IGJlZW4gb3ZlcmxvYWRlZCBmb3IgV29yZDMy IGFuZCBhZGRlZCB0aGUgYXBwcm9wcmlhdGUgb3ZlcmxvYWQuCgotVmVzYSBLYXJ2b25lbgotLS0t LS0tLS0tLS0tLSBuZXh0IHBhcnQgLS0tLS0tLS0tLS0tLS0KQSBub24tdGV4dCBhdHRhY2htZW50 IHdhcyBzY3J1YmJlZC4uLgpOYW1lOiB3b3JkMzItaW50MzIucGF0Y2gKVHlwZTogdGV4dC94LWRp ZmYKU2l6ZTogMTg5MiBieXRlcwpEZXNjOiBub3QgYXZhaWxhYmxlClVybCA6IGh0dHA6Ly9saXN0 cy5pbmYuZWQuYWMudWsvbWFpbG1hbi9wcml2YXRlL3BvbHltbC9hdHRhY2htZW50cy8yMDA3MTEw Ni9hODY1MmQ1ZC93b3JkMzItaW50MzIuYmluCi0tLS0tLS0tLS0tLS0tIG5leHQgcGFydCAtLS0t LS0tLS0tLS0tLQpBIG5vbi10ZXh0IGF0dGFjaG1lbnQgd2FzIHNjcnViYmVkLi4uCk5hbWU6IElu dDMyLnNtbApUeXBlOiBhcHBsaWNhdGlvbi9zbWlsClNpemU6IDQwMjAgYnl0ZXMKRGVzYzogbm90 IGF2YWlsYWJsZQpVcmwgOiBodHRwOi8vbGlzdHMuaW5mLmVkLmFjLnVrL21haWxtYW4vcHJpdmF0 ZS9wb2x5bWwvYXR0YWNobWVudHMvMjAwNzExMDYvYTg2NTJkNWQvSW50MzIuc21pCg==

2 2

Patch(es) to Poly/ML's Basis library (REAL, TEXT_IO, CHAR, STRING)
by vesa.a.j.k＠gmail.com 06 Nov '07

06 Nov '07

V2hpbGUgdXBkYXRpbmcgbXkgRXh0ZW5kZWQgQmFzaXMgbGlicmFyeQooaHR0cDovL21sdG9uLm9y Zy9jZ2ktYmluL3ZpZXdzdm4uY2dpL21sdG9ubGliL3RydW5rL2NvbS9zc2gvZXh0ZW5kZWQtYmFz aXMvdW5zdGFibGUvKQp0byBjb21waWxlIHdpdGggUG9seS9NTCwgSSBmaXhlZCBzb21lIGlzc3Vl cyBpbiBQb2x5L01MJ3MgQmFzaXMKbGlicmFyeSBpbXBsZW1lbnRhdGlvbjoKCi0gSSBmaXhlZCB0 aGUgUkVBTCBzaWduYXR1cmUsIHdoaWNoIGRpZCBub3QgY29ycmVzcG9uZCB0byB0aGUgUmVhbApz dHJ1Y3R1cmUuICBJIGFsc28gc2VhbGVkIHRoZSBSZWFsIHN0cnVjdHVyZSB3aXRoIHRoZSBSRUFM IHNpZ25hdHVyZQp0byBhdm9pZCBwcm9ibGVtcyBsaWtlIHRoYXQgaW4gdGhlIGZ1dHVyZS4KCi0g SSBhZGRlZCB0aGUgbWlzc2luZyBURVhUX0lPIHNpZ25hdHVyZS4gIEkgaGF2ZW4ndCBjaGVja2Vk IHdoZXRoZXIgaXQKY29uZm9ybXMgdG8gdGhlIEJhc2lzIGxpYnJhcnkgc3BlYywgYnV0IGF0IGxl YXN0IHRoZXJlIG5vdyBpcyBhClRFWFRfSU8gc2lnbmF0dXJlICh3aGljaCBpcyBuZWVkZWQgYnkg bXkgbGlicmFyeSkuCgotIEkgZml4ZWQgc29tZSBzcGVjaWZpY2F0aW9ucyBpbiB0aGUgQ0hBUiBh bmQgU1RSSU5HIHNpZ25hdHVyZXMgdG8KY29uZm9ybSB0byB0aGUgQmFzaXMgc3BlYywgd2l0aCB0 aGUgZXhjZXB0aW9uIG9mIHRoZSBTVFJJTkcuc2Nhbgp2YWx1ZSwgd2hpY2ggc2VlbXMgdG8gYmUg c3BlY2lmaWVkIGluY29ycmVjdGx5IGluIHRoZSBCYXNpcyBzcGVjIChzZWUKaHR0cDovL21sdG9u Lm9yZy9waXBlcm1haWwvbWx0b24vMjAwNy1NYXJjaC8wMjk3MDAuaHRtbCkuCgpBdHRhY2hlZCBp cyBhIHBhdGNoIG9mIHRoZXNlIGNoYW5nZXMuCgotVmVzYSBLYXJ2b25lbgotLS0tLS0tLS0tLS0t LSBuZXh0IHBhcnQgLS0tLS0tLS0tLS0tLS0KQSBub24tdGV4dCBhdHRhY2htZW50IHdhcyBzY3J1 YmJlZC4uLgpOYW1lOiBiYXNpcy1maXhlcy5wYXRjaApUeXBlOiB0ZXh0L3gtZGlmZgpTaXplOiAx MDgyNCBieXRlcwpEZXNjOiBub3QgYXZhaWxhYmxlClVybCA6IGh0dHA6Ly9saXN0cy5pbmYuZWQu YWMudWsvbWFpbG1hbi9wcml2YXRlL3BvbHltbC9hdHRhY2htZW50cy8yMDA3MTEwNi9kMTY2MjRk Yy9iYXNpcy1maXhlcy5iaW4K

2 1

Wrong type for Real.fromDecimal
by vesa.a.j.k＠gmail.com 06 Nov '07

06 Nov '07

Hi, The type of Real.fromDecimal Poly/ML 5.1 Testing > Real.fromDecimal ; val it = fn : IEEEReal.decimal_approx -> Real.real SML# 0.30 (2007-07-03 16:16:12 JST) # Real.fromDecimal ; val it = fn : IEEEReal.decimal_approx -> Real.Math.real Standard ML of New Jersey v110.66 [built: Thu Oct 25 11:43:30 2007] - Real.fromDecimal ; [autoloading] [library $SMLNJ-BASIS/basis.cm is stable] [autoloading done] val it = fn : IEEEReal.decimal_approx -> real disagrees with the Basis Library specification (http://www.standardml.org/Basis/real.html#SIG:REAL.toDecimal:VAL) val fromDecimal : IEEEReal.decimal_approx -> real option in all of the three compiler's implementation of the Basis Library. Also note that the description in the Basis Library spec includes the equation fromDecimal (toDecimal r) = r which is incorrect, of course. -Vesa Karvonen

2 1

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML November 2007