----boundary-LibPST-iamunique-499655605_-_-
Content-type: text/plain
> rather than relying on rounding the REAL variable in some implicit way.
The REAL variable is not rounded in any way, but rather the int (or long)
is converted to a REAL, in this example without loss of precision (as the
integer 1 can be represented exactly as REAL).
The comparison is then performed between two real numbers, and I would
expect that the tests both either return true or false.
- Dominik
----- Original Message -----
From: "Wojtek Skulski" <skulski{([at]})nowhere.xy
To: <support{([at]})nowhere.xy
Cc: "Wojtek Skulski" <skulski{([at]})nowhere.xy
Sent: Sunday, February 16, 2003 4:52 AM
Subject: Numeric problem in BlackBox 1.4
> Hello:
>
> the following code illustrates a numeric problem with CP
> compiler, version BlackBox 1.4 unpatched. The comparison
> yields either TRUE or FALSE depending on the precision
> of the REAL number. (Try exchanging the order of the
> lines where the REAL variable is assigned). The language
> report does not say anything about such a mixed comparison
> (realVar = intVar). In the spirit of robustness I would
> rather prefer that this expression does not compile at all.
> ENTIER should be necessary, rather than relying on
> rounding the REAL variable in some implicit way.
>
> Excuse me if this was already patched.
>
> Wojtek Skulski skulski{([at]})nowhere.xy>
> MODULE TestEqual;
> IMPORT StdLog;
> PROCEDURE Test*;
> VAR
> tst: BOOLEAN;
> r: REAL; long: LONGINT; int: INTEGER;
> BEGIN
> long := 1; int := 1;
> r := 1.000000000000000001; (* TRUE*)
> r := 1.0000000000001; (* FALSE*)
> tst := (r = long);
> StdLog.String("Real = long: ");
> StdLog.Bool (tst); StdLog.Ln;
> tst := (r = int);
> StdLog.String("Real = int: ");
> StdLog.Bool (tst); StdLog.Ln;
> END Test;
> END TestEqual.
>
> TestEqual.Test
>
> --------------------------------------------
>
> To unsubscribe from this mailing list, send a message containing the word "unsubscribe" to:
> blackbox-request{([at]})nowhere.xy>
> To get a list of valid e-mail commands and instructions on their usage, send a message containing the word "help" to the above
address.
>
> Send any problem reports or questions related to this email list to the list owner at
> owner-blackbox{([at]})nowhere.xy>
> Current posting policy:
>
> a) To post you should use the same address by which you are subscribed to the mailing list. That way, the list server will
recognize you as subscriber and forward your posting immediately, without creating any overhead.
>
> b) If, for some reason, you cannot post from the address, by which you are subscribed, your message will be moderated to avoid
spam. Please understand that moderation will often cause some delay, in particular over weekends or holydays.
>
>
--------------------------------------------
To unsubscribe from this mailing list, send a message containing the word "unsubscribe" to:
blackbox-request{([at]})nowhere.xy
To get a list of valid e-mail commands and instructions on their usage, send a message containing the word "help" to the above address.
Send any problem reports or questions related to this email list to the list owner at
owner-blackbox{([at]})nowhere.xy
Current posting policy:
a) To post you should use the same address by which you are subscribed to the mailing list. That way, the list server will recognize you as subscriber and forward your posting immediately, without creating any overhead.
b) If, for some reason, you cannot post from the address, by which you are subscribed, your message will be moderated to avoid spam. Please understand that moderation will often cause some delay, in particular over weekends or holydays.
----boundary-LibPST-iamunique-499655605_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwID4gcmF0aGVyIHRoYW4gcmVseWluZyBvbiByb3Vu
ZGluZyB0aGUgUkVBTCB2YXJpYWJsZSBpbiBzb21lIGltcGxpY2l0IHdheS5ccGFyDQpUaGUgUkVB
TCB2YXJpYWJsZSBpcyBub3Qgcm91bmRlZCBpbiBhbnkgd2F5LCBidXQgcmF0aGVyIHRoZSBpbnQg
KG9yIGxvbmcpXHBhcg0KaXMgY29udmVydGVkIHRvIGEgUkVBTCwgaW4gdGhpcyBleGFtcGxlIHdp
dGhvdXQgbG9zcyBvZiBwcmVjaXNpb24gKGFzIHRoZVxwYXINCmludGVnZXIgMSBjYW4gYmUgcmVw
cmVzZW50ZWQgZXhhY3RseSBhcyBSRUFMKS5ccGFyDQpccGFyDQpUaGUgY29tcGFyaXNvbiBpcyB0
aGVuIHBlcmZvcm1lZCBiZXR3ZWVuIHR3byByZWFsIG51bWJlcnMsIGFuZCBJIHdvdWxkXHBhcg0K
ZXhwZWN0IHRoYXQgdGhlIHRlc3RzIGJvdGggZWl0aGVyIHJldHVybiB0cnVlIG9yIGZhbHNlLlxw
YXINClxwYXINCi0gRG9taW5pa1xwYXINClxwYXINClxwYXINCi0tLS0tIE9yaWdpbmFsIE1lc3Nh
Z2UgLS0tLS1ccGFyDQpGcm9tOiAiV29qdGVrIFNrdWxza2kiIDxza3Vsc2tpQHBhcy5yb2NoZXN0
ZXIuZWR1PlxwYXINClRvOiA8c3VwcG9ydEBvYmVyb24uY2g+XHBhcg0KQ2M6ICJXb2p0ZWsgU2t1
bHNraSIgPHNrdWxza2lAcGFzLnJvY2hlc3Rlci5lZHU+OyAiQmxhY2tCb3giIDxibGFja2JveEBv
YmVyb24uY2g+XHBhcg0KU2VudDogU3VuZGF5LCBGZWJydWFyeSAxNiwgMjAwMyA0OjUyIEFNXHBh
cg0KU3ViamVjdDogTnVtZXJpYyBwcm9ibGVtIGluIEJsYWNrQm94IDEuNFxwYXINClxwYXINClxw
YXINCj4gSGVsbG86XHBhcg0KPlxwYXINCj4gICB0aGUgZm9sbG93aW5nIGNvZGUgaWxsdXN0cmF0
ZXMgYSBudW1lcmljIHByb2JsZW0gd2l0aCBDUFxwYXINCj4gY29tcGlsZXIsIHZlcnNpb24gQmxh
Y2tCb3ggMS40IHVucGF0Y2hlZC4gVGhlIGNvbXBhcmlzb25ccGFyDQo+IHlpZWxkcyBlaXRoZXIg
VFJVRSBvciBGQUxTRSBkZXBlbmRpbmcgb24gdGhlIHByZWNpc2lvblxwYXINCj4gb2YgdGhlIFJF
QUwgbnVtYmVyLiAoVHJ5IGV4Y2hhbmdpbmcgdGhlIG9yZGVyIG9mIHRoZVxwYXINCj4gbGluZXMg
d2hlcmUgdGhlIFJFQUwgdmFyaWFibGUgaXMgYXNzaWduZWQpLiBUaGUgbGFuZ3VhZ2VccGFyDQo+
IHJlcG9ydCBkb2VzIG5vdCBzYXkgYW55dGhpbmcgYWJvdXQgc3VjaCBhIG1peGVkIGNvbXBhcmlz
b25ccGFyDQo+IChyZWFsVmFyID0gaW50VmFyKS4gSW4gdGhlIHNwaXJpdCBvZiByb2J1c3RuZXNz
IEkgd291bGRccGFyDQo+IHJhdGhlciBwcmVmZXIgdGhhdCB0aGlzIGV4cHJlc3Npb24gZG9lcyBu
b3QgY29tcGlsZSBhdCBhbGwuXHBhcg0KPiBFTlRJRVIgc2hvdWxkIGJlIG5lY2Vzc2FyeSwgcmF0
aGVyIHRoYW4gcmVseWluZyBvblxwYXINCj4gcm91bmRpbmcgdGhlIFJFQUwgdmFyaWFibGUgaW4g
c29tZSBpbXBsaWNpdCB3YXkuXHBhcg0KPlxwYXINCj4gRXhjdXNlIG1lIGlmIHRoaXMgd2FzIGFs
cmVhZHkgcGF0Y2hlZC5ccGFyDQo+XHBhcg0KPiBXb2p0ZWsgU2t1bHNraSBza3Vsc2tpQHBhcy5y
b2NoZXN0ZXIuZWR1XHBhcg0KPlxwYXINCj4gTU9EVUxFIFRlc3RFcXVhbDtccGFyDQo+IElNUE9S
VCBTdGRMb2c7XHBhcg0KPiBQUk9DRURVUkUgVGVzdCo7XHBhcg0KPiBWQVJccGFyDQo+IHRzdDog
Qk9PTEVBTjtccGFyDQo+IHI6IFJFQUw7IGxvbmc6IExPTkdJTlQ7IGludDogSU5URUdFUjtccGFy
DQo+IEJFR0lOXHBhcg0KPiBsb25nIDo9IDE7IGludCA6PSAxO1xwYXINCj4gciA6PSAxLjAwMDAw
MDAwMDAwMDAwMDAwMTsgICAgKCogVFJVRSopXHBhcg0KPiByIDo9IDEuMDAwMDAwMDAwMDAwMTsg
ICAgICAgICAoKiBGQUxTRSopXHBhcg0KPiB0c3QgOj0gKHIgPSBsb25nKTtccGFyDQo+IFN0ZExv
Zy5TdHJpbmcoIlJlYWwgPSBsb25nOiAiKTtccGFyDQo+IFN0ZExvZy5Cb29sICh0c3QpOyBTdGRM
b2cuTG47XHBhcg0KPiB0c3QgOj0gKHIgPSBpbnQpO1xwYXINCj4gU3RkTG9nLlN0cmluZygiUmVh
bCA9IGludDogIik7XHBhcg0KPiBTdGRMb2cuQm9vbCAodHN0KTsgU3RkTG9nLkxuO1xwYXINCj4g
RU5EIFRlc3Q7XHBhcg0KPiBFTkQgVGVzdEVxdWFsLlxwYXINCj5ccGFyDQo+IFRlc3RFcXVhbC5U
ZXN0XHBhcg0KPlxwYXINCj4gLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS1ccGFyDQo+XHBhcg0KPiBUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgbWFpbGluZyBsaXN0
LCBzZW5kIGEgbWVzc2FnZSBjb250YWluaW5nIHRoZSB3b3JkICJ1bnN1YnNjcmliZSIgdG86XHBh
cg0KPiAgICBibGFja2JveC1yZXF1ZXN0QG9iZXJvbi5jaFxwYXINCj5ccGFyDQo+IFRvIGdldCBh
IGxpc3Qgb2YgdmFsaWQgZS1tYWlsIGNvbW1hbmRzIGFuZCBpbnN0cnVjdGlvbnMgb24gdGhlaXIg
dXNhZ2UsIHNlbmQgYSBtZXNzYWdlIGNvbnRhaW5pbmcgdGhlIHdvcmQgImhlbHAiIHRvIHRoZSBh
Ym92ZVxwYXINCmFkZHJlc3MuXHBhcg0KPlxwYXINCj4gU2VuZCBhbnkgcHJvYmxlbSByZXBvcnRz
IG9yIHF1ZXN0aW9ucyByZWxhdGVkIHRvIHRoaXMgZW1haWwgbGlzdCB0byB0aGUgbGlzdCBvd25l
ciBhdFxwYXINCj4gICAgb3duZXItYmxhY2tib3hAb2Jlcm9uLmNoXHBhcg0KPlxwYXINCj4gQ3Vy
cmVudCBwb3N0aW5nIHBvbGljeTpccGFyDQo+XHBhcg0KPiBhKSBUbyBwb3N0IHlvdSBzaG91bGQg
dXNlIHRoZSBzYW1lIGFkZHJlc3MgYnkgd2hpY2ggeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBt
YWlsaW5nIGxpc3QuIFRoYXQgd2F5LCB0aGUgbGlzdCBzZXJ2ZXIgd2lsbFxwYXINCnJlY29nbml6
ZSB5b3UgYXMgc3Vic2NyaWJlciBhbmQgZm9yd2FyZCB5b3VyIHBvc3RpbmcgaW1tZWRpYXRlbHks
IHdpdGhvdXQgY3JlYXRpbmcgYW55IG92ZXJoZWFkLlxwYXINCj5ccGFyDQo+IGIpIElmLCBmb3Ig
c29tZSByZWFzb24sIHlvdSBjYW5ub3QgcG9zdCBmcm9tIHRoZSBhZGRyZXNzLCBieSB3aGljaCB5
b3UgYXJlIHN1YnNjcmliZWQsIHlvdXIgbWVzc2FnZSB3aWxsIGJlIG1vZGVyYXRlZCB0byBhdm9p
ZFxwYXINCnNwYW0uIFBsZWFzZSB1bmRlcnN0YW5kIHRoYXQgbW9kZXJhdGlvbiB3aWxsIG9mdGVu
IGNhdXNlIHNvbWUgZGVsYXksIGluIHBhcnRpY3VsYXIgb3ZlciB3ZWVrZW5kcyBvciBob2x5ZGF5
cy5ccGFyDQo+XHBhcg0KPlxwYXINClxwYXINClxwYXINCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tXHBhcg0KXHBhcg0KVG8gdW5zdWJzY3JpYmUgZnJvbSB0aGlz
IG1haWxpbmcgbGlzdCwgc2VuZCBhIG1lc3NhZ2UgY29udGFpbmluZyB0aGUgd29yZCAidW5zdWJz
Y3JpYmUiIHRvOlxwYXINCiAgIGJsYWNrYm94LXJlcXVlc3RAb2Jlcm9uLmNoXHBhcg0KXHBhcg0K
VG8gZ2V0IGEgbGlzdCBvZiB2YWxpZCBlLW1haWwgY29tbWFuZHMgYW5kIGluc3RydWN0aW9ucyBv
biB0aGVpciB1c2FnZSwgc2VuZCBhIG1lc3NhZ2UgY29udGFpbmluZyB0aGUgd29yZCAiaGVscCIg
dG8gdGhlIGFib3ZlIGFkZHJlc3MuXHBhcg0KXHBhcg0KU2VuZCBhbnkgcHJvYmxlbSByZXBvcnRz
IG9yIHF1ZXN0aW9ucyByZWxhdGVkIHRvIHRoaXMgZW1haWwgbGlzdCB0byB0aGUgbGlzdCBvd25l
ciBhdFxwYXINCiAgIG93bmVyLWJsYWNrYm94QG9iZXJvbi5jaFxwYXINClxwYXINCkN1cnJlbnQg
cG9zdGluZyBwb2xpY3k6XHBhcg0KXHBhcg0KYSkgVG8gcG9zdCB5b3Ugc2hvdWxkIHVzZSB0aGUg
c2FtZSBhZGRyZXNzIGJ5IHdoaWNoIHlvdSBhcmUgc3Vic2NyaWJlZCB0byB0aGUgbWFpbGluZyBs
aXN0LiBUaGF0IHdheSwgdGhlIGxpc3Qgc2VydmVyIHdpbGwgcmVjb2duaXplIHlvdSBhcyBzdWJz
Y3JpYmVyIGFuZCBmb3J3YXJkIHlvdXIgcG9zdGluZyBpbW1lZGlhdGVseSwgd2l0aG91dCBjcmVh
dGluZyBhbnkgb3ZlcmhlYWQuXHBhcg0KXHBhcg0KYikgSWYsIGZvciBzb21lIHJlYXNvbiwgeW91
IGNhbm5vdCBwb3N0IGZyb20gdGhlIGFkZHJlc3MsIGJ5IHdoaWNoIHlvdSBhcmUgc3Vic2NyaWJl
ZCwgeW91ciBtZXNzYWdlIHdpbGwgYmUgbW9kZXJhdGVkIHRvIGF2b2lkIHNwYW0uIFBsZWFzZSB1
bmRlcnN0YW5kIHRoYXQgbW9kZXJhdGlvbiB3aWxsIG9mdGVuIGNhdXNlIHNvbWUgZGVsYXksIGlu
IHBhcnRpY3VsYXIgb3ZlciB3ZWVrZW5kcyBvciBob2x5ZGF5cy5ccGFyDQp9
----boundary-LibPST-iamunique-499655605_-_---
Received on Sun Feb 16 2003 - 13:26:11 UTC