Re: PrivInf

From: Douglas G. Danforth <"Douglas>
Date: Mon, 13 Sep 2004 14:40:54 -0400

----boundary-LibPST-iamunique-860309225_-_-
Content-type: text/plain

The following compiles and gives the value 0.

MODULE PrivInf;
   IMPORT StdLog;
   VAR r: REAL;

   PROCEDURE Do*;
   BEGIN
     r := MAX(REAL) ;
     r := r / INF;
     StdLog.Real(r)
   END Do;

END PrivInf.


-Doug

Gérard Meunier wrote:

>>MODULE PrivInf;
>>VAR r: REAL;
>>BEGIN
>>r := MAX(REAL) / INF
>>END PrivInf.
>>
>>should - and before the last OMS update to BlackBox did - assign the value
>>0 to variable r.
>>Today I recognized that trying to compile this module results in a
>>compiler error: "number to large".
>>So, did anything go wrong somewhere, or am I wrong?

>
>
> Even more strange:
>
> MODULE PrivInf;
>
> VAR
>
> q, r: REAL;
>
> BEGIN (*PrivInf*)
> q := 3.402823466385288E38 / INF;
> r := 3.402823466385289E38 / INF;
> END PrivInf.
>
> q compiles but not r. Why?
>
> Regards.
>
> Gérard
>
> --------------------------------------------
>
> 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-860309225_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"

e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzc1xmY2hhcnNldDAgQXJpYWw7fQ0Ke1xmMVxmbW9kZXJuIENvdXJpZXIgTmV3O30NCntcZjJc
Zm5pbFxmY2hhcnNldDIgU3ltYm9sO30NCntcZjNcZm1vZGVyblxmY2hhcnNldDAgQ291cmllciBO
ZXc7fX0NCntcY29sb3J0YmxccmVkMFxncmVlbjBcYmx1ZTA7XHJlZDBcZ3JlZW4wXGJsdWUyNTU7
fQ0KXHVjMVxwYXJkXHBsYWluXGRlZnRhYjM2MCBcZjBcZnMyMCBUaGUgZm9sbG93aW5nIGNvbXBp
bGVzIGFuZCBnaXZlcyB0aGUgdmFsdWUgMC5ccGFyDQpccGFyDQpNT0RVTEUgUHJpdkluZjtccGFy
DQogICBJTVBPUlQgU3RkTG9nO1xwYXINCiAgIFZBUiByOiAgUkVBTDtccGFyDQpccGFyDQogICBQ
Uk9DRURVUkUgRG8qO1xwYXINCiAgIEJFR0lOXHBhcg0KICAgICByIDo9IE1BWChSRUFMKSA7XHBh
cg0KICAgICByIDo9IHIgLyBJTkY7XHBhcg0KICAgICBTdGRMb2cuUmVhbChyKVxwYXINCiAgIEVO
RCBEbztccGFyDQpccGFyDQpFTkQgUHJpdkluZi5ccGFyDQpccGFyDQpccGFyDQotRG91Z1xwYXIN
ClxwYXINCkdcJ2U5cmFyZCBNZXVuaWVyIHdyb3RlOlxwYXINClxwYXINCj4+TU9EVUxFIFByaXZJ
bmY7XHBhcg0KPj5WQVIgcjogIFJFQUw7XHBhcg0KPj5CRUdJTlxwYXINCj4+ciA6PSBNQVgoUkVB
TCkgLyBJTkZccGFyDQo+PkVORCBQcml2SW5mLlxwYXINCj4+XHBhcg0KPj5zaG91bGQgLSBhbmQg
YmVmb3JlIHRoZSBsYXN0IE9NUyB1cGRhdGUgdG8gQmxhY2tCb3ggZGlkIC0gYXNzaWduIHRoZSB2
YWx1ZVxwYXINCj4+MCB0byB2YXJpYWJsZSByLlxwYXINCj4+VG9kYXkgSSByZWNvZ25pemVkIHRo
YXQgdHJ5aW5nIHRvIGNvbXBpbGUgdGhpcyBtb2R1bGUgcmVzdWx0cyBpbiBhXHBhcg0KPj5jb21w
aWxlciBlcnJvcjogIm51bWJlciB0byBsYXJnZSIuXHBhcg0KPj5TbywgZGlkIGFueXRoaW5nIGdv
IHdyb25nIHNvbWV3aGVyZSwgb3IgYW0gSSB3cm9uZz9ccGFyDQo+IFxwYXINCj4gXHBhcg0KPiBF
dmVuIG1vcmUgc3RyYW5nZTpccGFyDQo+IFxwYXINCj4gTU9EVUxFIFByaXZJbmY7XHBhcg0KPiBc
cGFyDQo+ICBWQVJccGFyDQo+IFxwYXINCj4gICBxLCByOiBSRUFMO1xwYXINCj4gXHBhcg0KPiAg
QkVHSU4gKCpQcml2SW5mKilccGFyDQo+ICAgcSA6PSAzLjQwMjgyMzQ2NjM4NTI4OEUzOCAvIElO
RjtccGFyDQo+ICAgciA6PSAzLjQwMjgyMzQ2NjM4NTI4OUUzOCAvIElORjtccGFyDQo+ICBFTkQg
UHJpdkluZi5ccGFyDQo+IFxwYXINCj4gcSBjb21waWxlcyBidXQgbm90IHIuIFdoeT9ccGFyDQo+
IFxwYXINCj4gUmVnYXJkcy5ccGFyDQo+IFxwYXINCj4gR1wnZTlyYXJkXHBhcg0KPiBccGFyDQo+
IC0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tXHBhcg0KPiBccGFy
DQo+IFRvIHVuc3Vic2NyaWJlIGZyb20gdGhpcyBtYWlsaW5nIGxpc3QsIHNlbmQgYSBtZXNzYWdl
IGNvbnRhaW5pbmcgdGhlIHdvcmQgInVuc3Vic2NyaWJlIiB0bzpccGFyDQo+ICAgIGJsYWNrYm94
LXJlcXVlc3RAb2Jlcm9uLmNoXHBhcg0KPiBccGFyDQo+IFRvIGdldCBhIGxpc3Qgb2YgdmFsaWQg
ZS1tYWlsIGNvbW1hbmRzIGFuZCBpbnN0cnVjdGlvbnMgb24gdGhlaXIgdXNhZ2UsIHNlbmQgYSBt
ZXNzYWdlIGNvbnRhaW5pbmcgdGhlIHdvcmQgImhlbHAiIHRvIHRoZSBhYm92ZSBhZGRyZXNzLlxw
YXINCj4gXHBhcg0KPiBTZW5kIGFueSBwcm9ibGVtIHJlcG9ydHMgb3IgcXVlc3Rpb25zIHJlbGF0
ZWQgdG8gdGhpcyBlbWFpbCBsaXN0IHRvIHRoZSBsaXN0IG93bmVyIGF0XHBhcg0KPiAgICBvd25l
ci1ibGFja2JveEBvYmVyb24uY2hccGFyDQo+IFxwYXINCj4gQ3VycmVudCBwb3N0aW5nIHBvbGlj
eTpccGFyDQo+IFxwYXINCj4gYSkgVG8gcG9zdCB5b3Ugc2hvdWxkIHVzZSB0aGUgc2FtZSBhZGRy
ZXNzIGJ5IHdoaWNoIHlvdSBhcmUgc3Vic2NyaWJlZCB0byB0aGUgbWFpbGluZyBsaXN0LiBUaGF0
IHdheSwgdGhlIGxpc3Qgc2VydmVyIHdpbGwgcmVjb2duaXplIHlvdSBhcyBzdWJzY3JpYmVyIGFu
ZCBmb3J3YXJkIHlvdXIgcG9zdGluZyBpbW1lZGlhdGVseSwgd2l0aG91dCBjcmVhdGluZyBhbnkg
b3ZlcmhlYWQuXHBhcg0KPiBccGFyDQo+IGIpIElmLCBmb3Igc29tZSByZWFzb24sIHlvdSBjYW5u
b3QgcG9zdCBmcm9tIHRoZSBhZGRyZXNzLCBieSB3aGljaCB5b3UgYXJlIHN1YnNjcmliZWQsIHlv
dXIgbWVzc2FnZSB3aWxsIGJlIG1vZGVyYXRlZCB0byBhdm9pZCBzcGFtLiBQbGVhc2UgdW5kZXJz
dGFuZCB0aGF0IG1vZGVyYXRpb24gd2lsbCBvZnRlbiBjYXVzZSBzb21lIGRlbGF5LCBpbiBwYXJ0
aWN1bGFyIG92ZXIgd2Vla2VuZHMgb3IgaG9seWRheXMuXHBhcg0KPiBccGFyDQo+IFxwYXINCi0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tXHBhcg0KXHBhcg0KVG8g
dW5zdWJzY3JpYmUgZnJvbSB0aGlzIG1haWxpbmcgbGlzdCwgc2VuZCBhIG1lc3NhZ2UgY29udGFp
bmluZyB0aGUgd29yZCAidW5zdWJzY3JpYmUiIHRvOlxwYXINCiAgIGJsYWNrYm94LXJlcXVlc3RA
b2Jlcm9uLmNoXHBhcg0KXHBhcg0KVG8gZ2V0IGEgbGlzdCBvZiB2YWxpZCBlLW1haWwgY29tbWFu
ZHMgYW5kIGluc3RydWN0aW9ucyBvbiB0aGVpciB1c2FnZSwgc2VuZCBhIG1lc3NhZ2UgY29udGFp
bmluZyB0aGUgd29yZCAiaGVscCIgdG8gdGhlIGFib3ZlIGFkZHJlc3MuXHBhcg0KXHBhcg0KU2Vu
ZCBhbnkgcHJvYmxlbSByZXBvcnRzIG9yIHF1ZXN0aW9ucyByZWxhdGVkIHRvIHRoaXMgZW1haWwg
bGlzdCB0byB0aGUgbGlzdCBvd25lciBhdFxwYXINCiAgIG93bmVyLWJsYWNrYm94QG9iZXJvbi5j
aFxwYXINClxwYXINCkN1cnJlbnQgcG9zdGluZyBwb2xpY3k6XHBhcg0KXHBhcg0KYSkgVG8gcG9z
dCB5b3Ugc2hvdWxkIHVzZSB0aGUgc2FtZSBhZGRyZXNzIGJ5IHdoaWNoIHlvdSBhcmUgc3Vic2Ny
aWJlZCB0byB0aGUgbWFpbGluZyBsaXN0LiBUaGF0IHdheSwgdGhlIGxpc3Qgc2VydmVyIHdpbGwg
cmVjb2duaXplIHlvdSBhcyBzdWJzY3JpYmVyIGFuZCBmb3J3YXJkIHlvdXIgcG9zdGluZyBpbW1l
ZGlhdGVseSwgd2l0aG91dCBjcmVhdGluZyBhbnkgb3ZlcmhlYWQuXHBhcg0KXHBhcg0KYikgSWYs
IGZvciBzb21lIHJlYXNvbiwgeW91IGNhbm5vdCBwb3N0IGZyb20gdGhlIGFkZHJlc3MsIGJ5IHdo
aWNoIHlvdSBhcmUgc3Vic2NyaWJlZCwgeW91ciBtZXNzYWdlIHdpbGwgYmUgbW9kZXJhdGVkIHRv
IGF2b2lkIHNwYW0uIFBsZWFzZSB1bmRlcnN0YW5kIHRoYXQgbW9kZXJhdGlvbiB3aWxsIG9mdGVu
IGNhdXNlIHNvbWUgZGVsYXksIGluIHBhcnRpY3VsYXIgb3ZlciB3ZWVrZW5kcyBvciBob2x5ZGF5
cy5ccH19AD5z


----boundary-LibPST-iamunique-860309225_-_---
Received on Mon Sep 13 2004 - 20:40:54 UTC

This archive was generated by hypermail 2.3.0 : Thu Sep 26 2013 - 06:28:38 UTC