Commanders with arguments

From: (wrong string) é Dorta <"René>
Date: Fri, 15 Nov 2002 12:45:29 -0400

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

(* Hi, everybody.
Commanders with integer arguments work fine, but with booleans you get
an odd error message. (!) *)

MODULE Commanders;

PROCEDURE Int* (x: INTEGER); END Int;

PROCEDURE Bool* (x: BOOLEAN); END Bool;

END Commanders.

^Q"Commanders.Int (1)"
^Q"Commanders.Bool (TRUE)"

René Dorta
Universidad de Carabobo. Valencia. Venezuela.



--------------------------------------------

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-775105440_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"

e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzc1xmY2hhcnNldDAgQXJpYWw7fQ0Ke1xmMVxmbW9kZXJuIENvdXJpZXIgTmV3O30NCntcZjJc
Zm5pbFxmY2hhcnNldDIgU3ltYm9sO30NCntcZjNcZm1vZGVyblxmY2hhcnNldDAgQ291cmllciBO
ZXc7fX0NCntcY29sb3J0YmxccmVkMFxncmVlbjBcYmx1ZTA7XHJlZDBcZ3JlZW4wXGJsdWUyNTU7
fQ0KXHVjMVxwYXJkXHBsYWluXGRlZnRhYjM2MCBcZjBcZnMyMCAoKiBIaSwgZXZlcnlib2R5Llxw
YXINCkNvbW1hbmRlcnMgd2l0aCBpbnRlZ2VyIGFyZ3VtZW50cyB3b3JrIGZpbmUsIGJ1dCB3aXRo
IGJvb2xlYW5zIHlvdSBnZXRccGFyDQphbiBvZGQgZXJyb3IgbWVzc2FnZS4gKCEpICopXHBhcg0K
XHBhcg0KTU9EVUxFIENvbW1hbmRlcnM7XHBhcg0KXHBhcg0KUFJPQ0VEVVJFIEludCogKHg6IElO
VEVHRVIpOyBFTkQgSW50O1xwYXINClxwYXINClBST0NFRFVSRSBCb29sKiAoeDogQk9PTEVBTik7
IEVORCBCb29sO1xwYXINClxwYXINCkVORCBDb21tYW5kZXJzLlxwYXINClxwYXINCl5RIkNvbW1h
bmRlcnMuSW50ICgxKSJccGFyDQpeUSJDb21tYW5kZXJzLkJvb2wgKFRSVUUpIlxwYXINClxwYXIN
ClJlblwnZTkgRG9ydGFccGFyDQpVbml2ZXJzaWRhZCBkZSBDYXJhYm9iby4gVmFsZW5jaWEuIFZl
bmV6dWVsYS5ccGFyDQpccGFyDQpccGFyDQpccGFyDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLVxwYXINClxwYXINClRvIHVuc3Vic2NyaWJlIGZyb20gdGhpcyBt
YWlsaW5nIGxpc3QsIHNlbmQgYSBtZXNzYWdlIGNvbnRhaW5pbmcgdGhlIHdvcmQgInVuc3Vic2Ny
aWJlIiB0bzpccGFyDQogICBibGFja2JveC1yZXF1ZXN0QG9iZXJvbi5jaFxwYXINClxwYXINClRv
IGdldCBhIGxpc3Qgb2YgdmFsaWQgZS1tYWlsIGNvbW1hbmRzIGFuZCBpbnN0cnVjdGlvbnMgb24g
dGhlaXIgdXNhZ2UsIHNlbmQgYSBtZXNzYWdlIGNvbnRhaW5pbmcgdGhlIHdvcmQgImhlbHAiIHRv
IHRoZSBhYm92ZSBhZGRyZXNzLlxwYXINClxwYXINClNlbmQgYW55IHByb2JsZW0gcmVwb3J0cyBv
ciBxdWVzdGlvbnMgcmVsYXRlZCB0byB0aGlzIGVtYWlsIGxpc3QgdG8gdGhlIGxpc3Qgb3duZXIg
YXRccGFyDQogICBvd25lci1ibGFja2JveEBvYmVyb24uY2hccGFyDQpccGFyDQpDdXJyZW50IHBv
c3RpbmcgcG9saWN5OlxwYXINClxwYXINCmEpIFRvIHBvc3QgeW91IHNob3VsZCB1c2UgdGhlIHNh
bWUgYWRkcmVzcyBieSB3aGljaCB5b3UgYXJlIHN1YnNjcmliZWQgdG8gdGhlIG1haWxpbmcgbGlz
dC4gVGhhdCB3YXksIHRoZSBsaXN0IHNlcnZlciB3aWxsIHJlY29nbml6ZSB5b3UgYXMgc3Vic2Ny
aWJlciBhbmQgZm9yd2FyZCB5b3VyIHBvc3RpbmcgaW1tZWRpYXRlbHksIHdpdGhvdXQgY3JlYXRp
bmcgYW55IG92ZXJoZWFkLlxwYXINClxwYXINCmIpIElmLCBmb3Igc29tZSByZWFzb24sIHlvdSBj
YW5ub3QgcG9zdCBmcm9tIHRoZSBhZGRyZXNzLCBieSB3aGljaCB5b3UgYXJlIHN1YnNjcmliZWQs
IHlvdXIgbWVzc2FnZSB3aWxsIGJlIG1vZGVyYXRlZCB0byBhdm9pZCBzcGFtLiBQbGVhc2UgdW5k
ZXJzdGFuZCB0aGF0IG1vZGVyYXRpb24gd2lsbCBvZnRlbiBjYXVzZSBzb21lIGRlbGF5LCBpbiBw
YXJ0aWN1bGFyIG92ZXIgd2Vla2VuZHMgb3IgaG9seWRheX19AHRvIGF2bw=


----boundary-LibPST-iamunique-775105440_-_---
Received on Fri Nov 15 2002 - 17:45:29 UTC