----boundary-LibPST-iamunique-502283127_-_-
Content-type: text/plain
Hi Wojtek
One can avoid range checks by using [untagged] arrays,
e.g. defining a procedure parameter with such attribute.
Type guards can be circumvented by using [union] etc. (see SYSTEM).
Looks like there is all one may need already.
I'd be against introducing switches to compiler.
Cheers
Fyodor tkachov
>
> Hi:
>
> does anybody know, it is possible to turn off assertions and
> other safety checks in BlackBox, either documented or undocumented?
>
> The compiler documentation says
>
> > The compiler has no compiler options. Safety-critical runtime checks are
> > always performed (type guards, array range checks, etc.),
>
> It follows there is no way to turn these off in the documented way.
> How about undocumented?
>
> > while non-critical runtime checks may not be generated (SHORT, integer
> > overflows, testing of set membership).
>
> How do I turn these off if there are no options?
>
> The DevCompiler interface shows a procedure
>
> PROCEDURE CompileOpt (opt: ARRAY OF CHAR);
>
> which is not documented. Any idea, how to use the undocumented options?
>
> Does Omi have any plans, documented or undocumented, to provide
> options to the compiler?
>
> Please respond to my e-mail directly since I am getting the BB mails
> with one week delay.
>
> Thank you,
>
> Wojtek Skulski skulski{([at]})nowhere.xy>
> --------------------------------------------
>
> 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-502283127_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIEhpIFdvanRla1xwYXINClxwYXINCk9uZSBjYW4g
YXZvaWQgcmFuZ2UgY2hlY2tzIGJ5IHVzaW5nIFt1bnRhZ2dlZF0gYXJyYXlzLFxwYXINCmUuZy4g
ZGVmaW5pbmcgYSBwcm9jZWR1cmUgcGFyYW1ldGVyIHdpdGggc3VjaCBhdHRyaWJ1dGUuXHBhcg0K
XHBhcg0KVHlwZSBndWFyZHMgY2FuIGJlIGNpcmN1bXZlbnRlZCBieSB1c2luZyBbdW5pb25dIGV0
Yy4gKHNlZSBTWVNURU0pLlxwYXINClxwYXINCkxvb2tzIGxpa2UgdGhlcmUgaXMgYWxsIG9uZSBt
YXkgbmVlZCBhbHJlYWR5LlxwYXINClxwYXINCkknZCBiZSBhZ2FpbnN0IGludHJvZHVjaW5nIHN3
aXRjaGVzIHRvIGNvbXBpbGVyLlxwYXINClxwYXINCkNoZWVyc1xwYXINCkZ5b2RvciB0a2FjaG92
XHBhcg0KXHBhcg0KPiBccGFyDQo+IEhpOlxwYXINCj4gXHBhcg0KPiAgIGRvZXMgYW55Ym9keSBr
bm93LCBpdCBpcyBwb3NzaWJsZSB0byB0dXJuIG9mZiBhc3NlcnRpb25zIGFuZFxwYXINCj4gb3Ro
ZXIgc2FmZXR5IGNoZWNrcyBpbiBCbGFja0JveCwgZWl0aGVyIGRvY3VtZW50ZWQgb3IgdW5kb2N1
bWVudGVkP1xwYXINCj4gXHBhcg0KPiBUaGUgY29tcGlsZXIgZG9jdW1lbnRhdGlvbiBzYXlzXHBh
cg0KPiBccGFyDQo+ID4gVGhlIGNvbXBpbGVyIGhhcyBubyBjb21waWxlciBvcHRpb25zLiBTYWZl
dHktY3JpdGljYWwgcnVudGltZSBjaGVja3MgYXJlXHBhcg0KPiA+IGFsd2F5cyBwZXJmb3JtZWQg
KHR5cGUgZ3VhcmRzLCBhcnJheSByYW5nZSBjaGVja3MsIGV0Yy4pLFxwYXINCj4gXHBhcg0KPiBJ
dCBmb2xsb3dzIHRoZXJlIGlzIG5vIHdheSB0byB0dXJuIHRoZXNlIG9mZiBpbiB0aGUgZG9jdW1l
bnRlZCB3YXkuXHBhcg0KPiBIb3cgYWJvdXQgdW5kb2N1bWVudGVkP1xwYXINCj4gXHBhcg0KPiA+
IHdoaWxlIG5vbi1jcml0aWNhbCBydW50aW1lIGNoZWNrcyBtYXkgbm90IGJlIGdlbmVyYXRlZCAo
U0hPUlQsIGludGVnZXJccGFyDQo+ID4gb3ZlcmZsb3dzLCB0ZXN0aW5nIG9mIHNldCBtZW1iZXJz
aGlwKS5ccGFyDQo+IFxwYXINCj4gSG93IGRvIEkgdHVybiB0aGVzZSBvZmYgaWYgdGhlcmUgYXJl
IG5vIG9wdGlvbnM/XHBhcg0KPiBccGFyDQo+IFRoZSBEZXZDb21waWxlciBpbnRlcmZhY2Ugc2hv
d3MgYSBwcm9jZWR1cmVccGFyDQo+IFxwYXINCj4gXHRhYiBQUk9DRURVUkUgQ29tcGlsZU9wdCAo
b3B0OiBBUlJBWSBPRiBDSEFSKTtccGFyDQo+IFxwYXINCj4gd2hpY2ggaXMgbm90IGRvY3VtZW50
ZWQuIEFueSBpZGVhLCBob3cgdG8gdXNlIHRoZSB1bmRvY3VtZW50ZWQgb3B0aW9ucz9ccGFyDQo+
IFxwYXINCj4gRG9lcyBPbWkgaGF2ZSBhbnkgcGxhbnMsIGRvY3VtZW50ZWQgb3IgdW5kb2N1bWVu
dGVkLCB0byBwcm92aWRlXHBhcg0KPiBvcHRpb25zIHRvIHRoZSBjb21waWxlcj9ccGFyDQo+IFxw
YXINCj4gUGxlYXNlIHJlc3BvbmQgdG8gbXkgZS1tYWlsIGRpcmVjdGx5IHNpbmNlIEkgYW0gZ2V0
dGluZyB0aGUgQkIgbWFpbHNccGFyDQo+IHdpdGggb25lIHdlZWsgZGVsYXkuXHBhcg0KPiBccGFy
DQo+IFRoYW5rIHlvdSxccGFyDQo+IFxwYXINCj4gV29qdGVrIFNrdWxza2kgc2t1bHNraUBwYXMu
cm9jaGVzdGVyLmVkdVxwYXINCj4gXHBhcg0KPiAtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLVxwYXINCj4gXHBhcg0KPiBUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMg
bWFpbGluZyBsaXN0LCBzZW5kIGEgbWVzc2FnZSBjb250YWluaW5nIHRoZSB3b3JkICJ1bnN1YnNj
cmliZSIgdG86XHBhcg0KPiAgICBibGFja2JveC1yZXF1ZXN0QG9iZXJvbi5jaFxwYXINCj4gXHBh
cg0KPiBUbyBnZXQgYSBsaXN0IG9mIHZhbGlkIGUtbWFpbCBjb21tYW5kcyBhbmQgaW5zdHJ1Y3Rp
b25zIG9uIHRoZWlyIHVzYWdlLCBzZW5kIGEgbWVzc2FnZSBjb250YWluaW5nIHRoZSB3b3JkICJo
ZWxwIiB0byB0aGUgYWJvdmUgYWRkcmVzcy5ccGFyDQo+IFxwYXINCj4gU2VuZCBhbnkgcHJvYmxl
bSByZXBvcnRzIG9yIHF1ZXN0aW9ucyByZWxhdGVkIHRvIHRoaXMgZW1haWwgbGlzdCB0byB0aGUg
bGlzdCBvd25lciBhdFxwYXINCj4gICAgb3duZXItYmxhY2tib3hAb2Jlcm9uLmNoXHBhcg0KPiBc
cGFyDQo+IEN1cnJlbnQgcG9zdGluZyBwb2xpY3k6XHBhcg0KPiBccGFyDQo+IGEpIFRvIHBvc3Qg
eW91IHNob3VsZCB1c2UgdGhlIHNhbWUgYWRkcmVzcyBieSB3aGljaCB5b3UgYXJlIHN1YnNjcmli
ZWQgdG8gdGhlIG1haWxpbmcgbGlzdC4gVGhhdCB3YXksIHRoZSBsaXN0IHNlcnZlciB3aWxsIHJl
Y29nbml6ZSB5b3UgYXMgc3Vic2NyaWJlciBhbmQgZm9yd2FyZCB5b3VyIHBvc3RpbmcgaW1tZWRp
YXRlbHksIHdpdGhvdXQgY3JlYXRpbmcgYW55IG92ZXJoZWFkLlxwYXINCj4gXHBhcg0KPiBiKSBJ
ZiwgZm9yIHNvbWUgcmVhc29uLCB5b3UgY2Fubm90IHBvc3QgZnJvbSB0aGUgYWRkcmVzcywgYnkg
d2hpY2ggeW91IGFyZSBzdWJzY3JpYmVkLCB5b3VyIG1lc3NhZ2Ugd2lsbCBiZSBtb2RlcmF0ZWQg
dG8gYXZvaWQgc3BhbS4gUGxlYXNlIHVuZGVyc3RhbmQgdGhhdCBtb2RlcmF0aW9uIHdpbGwgb2Z0
ZW4gY2F1c2Ugc29tZSBkZWxheSwgaW4gcGFydGljdWxhciBvdmVyIHdlZWtlbmRzIG9yIGhvbHlk
YXlzLlxwYXINCj4gXHBhcg0KXHBhcg0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS1ccGFyDQpccGFyDQpUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgbWFpbGluZyBs
aXN0LCBzZW5kIGEgbWVzc2FnZSBjb250YWluaW5nIHRoZSB3b3JkICJ1bnN1YnNjcmliZSIgdG86
XHBhcg0KICAgYmxhY2tib3gtcmVxdWVzdEBvYmVyb24uY2hccGFyDQpccGFyDQpUbyBnZXQgYSBs
aXN0IG9mIHZhbGlkIGUtbWFpbCBjb21tYW5kcyBhbmQgaW5zdHJ1Y3Rpb25zIG9uIHRoZWlyIHVz
YWdlLCBzZW5kIGEgbWVzc2FnZSBjb250YWluaW5nIHRoZSB3b3JkICJoZWxwIiB0byB0aGUgYWJv
dmUgYWRkcmVzcy5ccGFyDQpccGFyDQpTZW5kIGFueSBwcm9ibGVtIHJlcG9ydHMgb3IgcXVlc3Rp
b25zIHJlbGF0ZWQgdG8gdGhpcyBlbWFpbCBsaXN0IHRvIHRoZSBsaXN0IG93bmVyIGF0XHBhcg0K
ICAgb3duZXItYmxhY2tib3hAb2Jlcm9uLmNoXHBhcg0KXHBhcg0KQ3VycmVudCBwb3N0aW5nIHBv
bGljeTpccGFyDQpccGFyDQphKSBUbyBwb3N0IHlvdSBzaG91bGQgdXNlIHRoZSBzYW1lIGFkZHJl
c3MgYnkgd2hpY2ggeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBtYWlsaW5nIGxpc3QuIFRoYXQg
d2F5LCB0aGUgbGlzdCBzZXJ2ZXIgd2lsbCByZWNvZ25pemUgeW91IGFzIHN1YnNjcmliZXIgYW5k
IGZvcndhcmQgeW91ciBwb3N0aW5nIGltbWVkaWF0ZWx5LCB3aXRob3V0IGNyZWF0aW5nIGFueSBv
dmVyaGVhZC5ccGFyDQpccGFyDQpiKSBJZiwgZm9yIHNvbWUgcmVhc29uLCB5b3UgY2Fubm90IHBv
c3QgZnJvbSB0aGUgYWRkcmVzcywgYnkgd2hpY2ggeW91IGFyZSBzdWJzY3JpYmVkLCB5b3VyIG1l
c3NhZ2Ugd2lsbCBiZSBtb2RlcmF0ZWQgdG8gYXZvaWQgc3BhbS4gUGxlYXNlIHVuZGVyc3RhbmQg
dGhhdCBtb2RlcmF0aW9uIHdpbGwgb2Z0ZW4gY2F1c2Ugc29tZSBkZWxheSwgaW4gcGFydGljdWxh
ciBvdmVyIHdlZWtlbmRzIG9yIGhvbHlkYXlzLlxwYXINCn0=
----boundary-LibPST-iamunique-502283127_-_---
Received on Wed Jul 02 2003 - 01:19:37 UTC