Re: [BLACKBOX] Matrix slices - syntax

From: [at]} <Robert>
Date: Thu, 1 Apr 2010 18:53:33 +0100

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

Maybe it would (*look*) more likeable if you wrote

TYPE
   Vector3 = ARRAY 3 OF REAL;
   Matrix3 = ARRAY 3 OF Vector;

If you look at the language reference you require
formal parameters to 'match', which in this case requires them to be
'equal' types, which in this case requires them to be the 'same' type,
which in this case requires them to be the same identifier.

So
   VectorA = ARRAY 3 OF REAL

does not 'match' with
   VectorB = ARRAY 3 OF REAL.


I am guessing there is a good reason for this?


In your case you were passing an anonomous type which is not the 'same' as
another type.


Regards

Robert


On 01/04/2010 07:22, Douglas G. Danforth wrote:
> Thanks Aubrey.
> Not sure I like it but thanks.
>
> I have adopted the strategy that all procedures
> that accept vectors or matrices specify their
> arguments for general forms (i.e.
> VDesc and MDesc) even when they only want
> a restricted subset. I let the module context
> enforce the preconditions.
>
> -Doug
>
> Aubrey McIntosh wrote:
>> Try this:
>> MODULE PrivTest2;
>>
>> TYPE
>> VDesc = ARRAY OF REAL;
>> V3Desc = ARRAY 3 OF REAL;
>> MDesc = ARRAY OF ARRAY OF REAL;
>> M3Desc = ARRAY 3,3 OF REAL;
>> MTubeDesc = ARRAY 3 OF V3Desc;
>>
>> PROCEDURE Q (IN v: VDesc); BEGIN END Q;
>> PROCEDURE Q3 (IN v: V3Desc); BEGIN END Q3;
>>
>> PROCEDURE Test;
>> VAR
>> mt : MTubeDesc;
>>
>> BEGIN
>> Q(mt[0]); (* works *)
>> Q3 (mt[0]) (*also works*)
>> END Test;
>>
>> END PrivTest2.
>>
>>
>>
>> On Wed, Mar 31, 2010 at 9:23 PM, Douglas G. Danforth
>> <danforth{([at]})nowhere.xy
>>
>>> Folks,
>>>
>>> I don't understand this.
>>> If I define a procedure that takes an ARRAY OF REAL and
>>> pass it an row of a matrix then that works BUT if I specialize
>>> the procedure to take an ARRAY 3 OF REAL and pass it a
>>> row of a matrix ARRAY 3,3 OF REAL then the compiler complains.
>>>
>>> TYPE
>>> VDesc = ARRAY OF REAL;
>>> V3Desc = ARRAY 3 OF REAL;
>>> MDesc = ARRAY OF ARRAY OF REAL;
>>> M3Desc = ARRAY 3,3 OF REAL;
>>>
>>> PROCEDURE Q (IN v: VDesc); BEGIN END Q;
>>> PROCEDURE Q3 (IN v: V3Desc); BEGIN END Q3;
>>>
>>> PROCEDURE Test;
>>> VAR m3: M3Desc;
>>> BEGIN
>>> Q(m3[0]); (* works *)
>>> Q3(m3[0]) (* fails! incompatible assignment *)
>>> END Test;
>>>
>>> The "slice" m3[0], which is the first row of m3, is accepted by a routine
>>> that accepts general non specific vectors but that same slice which
>>> has length 3 is rejected by a routine that wants vectors of length 3.
>>> Why?
>>> I really don't understand the strong typing in this case.
>>>
>>> -Doug Danforth
>>>
>>>
>>> ---- To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to
>>> LISTSERV{([at]})nowhere.xy
>>>
>>
>>
>>
>>
>
> ---- To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to
> LISTSERV{([at]})nowhere.xy
>
>
>
>
> No virus found in this incoming message.
> Checked by AVG - www.avg.com
> Version: 9.0.800 / Virus Database: 271.1.1/2783 - Release Date: 04/01/10 07:35:00
>

----
To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to LISTSERV{([at]})nowhere.xy----boundary-LibPST-iamunique-1708016268_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIE1heWJlIGl0IHdvdWxkICgqbG9vayopIG1vcmUg
bGlrZWFibGUgaWYgeW91IHdyb3RlXHBhcg0KXHBhcg0KVFlQRVxwYXINCiAgIFZlY3RvcjMgID0g
IEFSUkFZIDMgT0YgUkVBTDtccGFyDQogICBNYXRyaXgzICA9ICBBUlJBWSAzIE9GIFZlY3Rvcjtc
cGFyDQpccGFyDQpJZiB5b3UgbG9vayBhdCB0aGUgbGFuZ3VhZ2UgcmVmZXJlbmNlIHlvdSByZXF1
aXJlXHBhcg0KZm9ybWFsIHBhcmFtZXRlcnMgdG8gJ21hdGNoJywgd2hpY2ggaW4gdGhpcyBjYXNl
IHJlcXVpcmVzIHRoZW0gdG8gYmVccGFyDQonZXF1YWwnIHR5cGVzLCB3aGljaCBpbiB0aGlzIGNh
c2UgcmVxdWlyZXMgdGhlbSB0byBiZSB0aGUgJ3NhbWUnIHR5cGUsXHBhcg0Kd2hpY2ggaW4gdGhp
cyBjYXNlIHJlcXVpcmVzIHRoZW0gdG8gYmUgdGhlIHNhbWUgaWRlbnRpZmllci5ccGFyDQpccGFy
DQpTb1xwYXINCiAgIFZlY3RvckEgPSBBUlJBWSAzIE9GIFJFQUxccGFyDQpccGFyDQpkb2VzIG5v
dCAnbWF0Y2gnIHdpdGhccGFyDQogICBWZWN0b3JCID0gQVJSQVkgMyBPRiBSRUFMLlxwYXINClxw
YXINClxwYXINCkkgYW0gZ3Vlc3NpbmcgdGhlcmUgaXMgYSBnb29kIHJlYXNvbiBmb3IgdGhpcz9c
cGFyDQpccGFyDQpccGFyDQpJbiB5b3VyIGNhc2UgeW91IHdlcmUgcGFzc2luZyBhbiBhbm9ub21v
dXMgdHlwZSB3aGljaCBpcyBub3QgdGhlICdzYW1lJyBhcyBccGFyDQphbm90aGVyIHR5cGUuXHBh
cg0KXHBhcg0KXHBhcg0KUmVnYXJkc1xwYXINClxwYXINClJvYmVydFxwYXINClxwYXINClxwYXIN
Ck9uIDAxLzA0LzIwMTAgMDc6MjIsIERvdWdsYXMgRy4gRGFuZm9ydGggd3JvdGU6XHBhcg0KPiBU
aGFua3MgQXVicmV5LlxwYXINCj4gTm90IHN1cmUgSSBsaWtlIGl0IGJ1dCB0aGFua3MuXHBhcg0K
PlxwYXINCj4gSSBoYXZlIGFkb3B0ZWQgdGhlIHN0cmF0ZWd5IHRoYXQgYWxsIHByb2NlZHVyZXNc
cGFyDQo+IHRoYXQgYWNjZXB0IHZlY3RvcnMgb3IgbWF0cmljZXMgc3BlY2lmeSB0aGVpclxwYXIN
Cj4gYXJndW1lbnRzIGZvciBnZW5lcmFsIGZvcm1zIChpLmUuXHBhcg0KPiBWRGVzYyBhbmQgTURl
c2MpIGV2ZW4gd2hlbiB0aGV5IG9ubHkgd2FudFxwYXINCj4gYSByZXN0cmljdGVkIHN1YnNldC4g
SSBsZXQgdGhlIG1vZHVsZSBjb250ZXh0XHBhcg0KPiBlbmZvcmNlIHRoZSBwcmVjb25kaXRpb25z
LlxwYXINCj5ccGFyDQo+IC1Eb3VnXHBhcg0KPlxwYXINCj4gQXVicmV5IE1jSW50b3NoIHdyb3Rl
OlxwYXINCj4+IFRyeSB0aGlzOlxwYXINCj4+IE1PRFVMRSBQcml2VGVzdDI7XHBhcg0KPj5ccGFy
DQo+PiBUWVBFXHBhcg0KPj4gICBWRGVzYyA9IEFSUkFZIE9GIFJFQUw7XHBhcg0KPj4gICBWM0Rl
c2MgPSBBUlJBWSAzIE9GIFJFQUw7XHBhcg0KPj4gICBNRGVzYyA9IEFSUkFZIE9GIEFSUkFZIE9G
IFJFQUw7XHBhcg0KPj4gICBNM0Rlc2MgPSBBUlJBWSAzLDMgT0YgUkVBTDtccGFyDQo+PiAgIE1U
dWJlRGVzYyA9IEFSUkFZIDMgT0YgVjNEZXNjO1xwYXINCj4+XHBhcg0KPj4gICAgUFJPQ0VEVVJF
IFEgKElOIHY6IFZEZXNjKTsgQkVHSU4gRU5EIFE7XHBhcg0KPj4gICAgUFJPQ0VEVVJFIFEzIChJ
TiB2OiBWM0Rlc2MpOyBCRUdJTiBFTkQgUTM7XHBhcg0KPj5ccGFyDQo+PiAgICBQUk9DRURVUkUg
VGVzdDtccGFyDQo+PiAgICBWQVJccGFyDQo+PiBcdGFiIG10IDogTVR1YmVEZXNjO1xwYXINCj4+
IFx0YWIgXHBhcg0KPj4gICAgQkVHSU5ccGFyDQo+PiAgICAgIFEobXRbMF0pOyAgKCogd29ya3Mg
KilccGFyDQo+PiBcdGFiIFEzIChtdFswXSkgKCphbHNvIHdvcmtzKilccGFyDQo+PiAgICBFTkQg
VGVzdDtccGFyDQo+PlxwYXINCj4+IEVORCBQcml2VGVzdDIuXHBhcg0KPj5ccGFyDQo+PlxwYXIN
Cj4+XHBhcg0KPj4gT24gV2VkLCBNYXIgMzEsIDIwMTAgYXQgOToyMyBQTSwgRG91Z2xhcyBHLiBE
YW5mb3J0aFxwYXINCj4+IDxkYW5mb3J0aEBncmVlbndvb2RmYXJtLmNvbT4gIHdyb3RlOlxwYXIN
Cj4+XHBhcg0KPj4+IEZvbGtzLFxwYXINCj4+PlxwYXINCj4+PiBJIGRvbid0IHVuZGVyc3RhbmQg
dGhpcy5ccGFyDQo+Pj4gSWYgSSBkZWZpbmUgYSBwcm9jZWR1cmUgdGhhdCB0YWtlcyBhbiBBUlJB
WSBPRiBSRUFMIGFuZFxwYXINCj4+PiBwYXNzIGl0IGFuIHJvdyBvZiBhIG1hdHJpeCB0aGVuIHRo
YXQgd29ya3MgQlVUIGlmIEkgc3BlY2lhbGl6ZVxwYXINCj4+PiB0aGUgcHJvY2VkdXJlIHRvIHRh
a2UgYW4gQVJSQVkgMyBPRiBSRUFMIGFuZCBwYXNzIGl0IGFccGFyDQo+Pj4gcm93IG9mIGEgbWF0
cml4IEFSUkFZIDMsMyBPRiBSRUFMIHRoZW4gdGhlIGNvbXBpbGVyIGNvbXBsYWlucy5ccGFyDQo+
Pj5ccGFyDQo+Pj4gVFlQRVxwYXINCj4+PiAgIFZEZXNjID0gQVJSQVkgT0YgUkVBTDtccGFyDQo+
Pj4gICBWM0Rlc2MgPSBBUlJBWSAzIE9GIFJFQUw7XHBhcg0KPj4+ICAgTURlc2MgPSBBUlJBWSBP
RiBBUlJBWSBPRiBSRUFMO1xwYXINCj4+PiAgIE0zRGVzYyA9IEFSUkFZIDMsMyBPRiBSRUFMO1xw
YXINCj4+PlxwYXINCj4+PiAgICAgUFJPQ0VEVVJFIFEgKElOIHY6IFZEZXNjKTsgQkVHSU4gRU5E
IFE7XHBhcg0KPj4+ICAgICBQUk9DRURVUkUgUTMgKElOIHY6IFYzRGVzYyk7IEJFR0lOIEVORCBR
MztccGFyDQo+Pj5ccGFyDQo+Pj4gICAgIFBST0NFRFVSRSBUZXN0O1xwYXINCj4+PiAgICAgVkFS
IG0zOiBNM0Rlc2M7XHBhcg0KPj4+ICAgICBCRUdJTlxwYXINCj4+PiAgICAgICAgIFEobTNbMF0p
OyAgICAoKiB3b3JrcyAqKVxwYXINCj4+PiAgICAgICAgIFEzKG0zWzBdKSAgICAoKiBmYWlscyEg
aW5jb21wYXRpYmxlIGFzc2lnbm1lbnQgKilccGFyDQo+Pj4gICAgIEVORCBUZXN0O1xwYXINCj4+
PlxwYXINCj4+PiBUaGUgInNsaWNlIiBtM1swXSwgd2hpY2ggaXMgdGhlIGZpcnN0IHJvdyBvZiBt
MywgaXMgYWNjZXB0ZWQgYnkgYSByb3V0aW5lXHBhcg0KPj4+IHRoYXQgYWNjZXB0cyBnZW5lcmFs
IG5vbiBzcGVjaWZpYyB2ZWN0b3JzIGJ1dCB0aGF0IHNhbWUgc2xpY2Ugd2hpY2hccGFyDQo+Pj4g
aGFzIGxlbmd0aCAzIGlzIHJlamVjdGVkIGJ5IGEgcm91dGluZSB0aGF0IHdhbnRzIHZlY3RvcnMg
b2YgbGVuZ3RoIDMuXHBhcg0KPj4+IFdoeT9ccGFyDQo+Pj4gSSByZWFsbHkgZG9uJ3QgdW5kZXJz
dGFuZCB0aGUgc3Ryb25nIHR5cGluZyBpbiB0aGlzIGNhc2UuXHBhcg0KPj4+XHBhcg0KPj4+IC1E
b3VnIERhbmZvcnRoXHBhcg0KPj4+XHBhcg0KPj4+XHBhcg0KPj4+IC0tLS0gVG8gdW5zdWJzY3Jp
YmUsIHNlbmQgYSBtZXNzYWdlIHdpdGggYm9keSAiU0lHTk9GRiBCTEFDS0JPWCIgdG9ccGFyDQo+
Pj4gTElTVFNFUlZATElTVFMuT0JFUk9OLkNIXHBhcg0KPj4+XHBhcg0KPj5ccGFyDQo+PlxwYXIN
Cj4+XHBhcg0KPj5ccGFyDQo+XHBhcg0KPiAtLS0tIFRvIHVuc3Vic2NyaWJlLCBzZW5kIGEgbWVz
c2FnZSB3aXRoIGJvZHkgIlNJR05PRkYgQkxBQ0tCT1giIHRvXHBhcg0KPiBMSVNUU0VSVkBMSVNU
Uy5PQkVST04uQ0hccGFyDQo+XHBhcg0KPlxwYXINCj5ccGFyDQo+XHBhcg0KPiBObyB2aXJ1cyBm
b3VuZCBpbiB0aGlzIGluY29taW5nIG1lc3NhZ2UuXHBhcg0KPiBDaGVja2VkIGJ5IEFWRyAtIHd3
dy5hdmcuY29tXHBhcg0KPiBWZXJzaW9uOiA5LjAuODAwIC8gVmlydXMgRGF0YWJhc2U6IDI3MS4x
LjEvMjc4MyAtIFJlbGVhc2UgRGF0ZTogMDQvMDEvMTAgMDc6MzU6MDBccGFyDQo+XHBhcg0KXHBh
cg0KXHBhcg0KLS0tLVxwYXINClRvIHVuc3Vic2NyaWJlLCBzZW5kIGEgbWVzc2FnZSB3aXRoIGJv
ZHkgIlNJR05PRkYgQkxBQ0tCT1giIHRvIExJU1RTRVJWQExJU1RTLk99fQCy+1iTVYFiVmBhIQg=
----boundary-LibPST-iamunique-1708016268_-_---

Received on Thu Apr 01 2010 - 19:53:33 UTC