Re: [BLACKBOX] Matrix slices - syntax

From: [at]} <Aubrey>
Date: Thu, 1 Apr 2010 01:00:31 -0500

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

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

-- 
-- 
Aubrey McIntosh, Ph.D.
1502 Devon Circle
Austin TX 78723-1814
http://home.grandecom.net/~amcintosh/aubrey/Search/
----
To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to LISTSERV{([at]})nowhere.xy----boundary-LibPST-iamunique-547322232_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzc1xmY2hhcnNldDAgQXJpYWw7fQ0Ke1xmMVxmbW9kZXJuIENvdXJpZXIgTmV3O30NCntcZjJc
Zm5pbFxmY2hhcnNldDIgU3ltYm9sO30NCntcZjNcZm1vZGVyblxmY2hhcnNldDAgQ291cmllciBO
ZXc7fX0NCntcY29sb3J0YmxccmVkMFxncmVlbjBcYmx1ZTA7XHJlZDBcZ3JlZW4wXGJsdWUyNTU7
fQ0KXHVjMVxwYXJkXHBsYWluXGRlZnRhYjM2MCBcZjBcZnMyMCBUcnkgdGhpczpccGFyDQpNT0RV
TEUgUHJpdlRlc3QyO1xwYXINClxwYXINClRZUEVccGFyDQogVkRlc2MgPSBBUlJBWSBPRiBSRUFM
O1xwYXINCiBWM0Rlc2MgPSBBUlJBWSAzIE9GIFJFQUw7XHBhcg0KIE1EZXNjID0gQVJSQVkgT0Yg
QVJSQVkgT0YgUkVBTDtccGFyDQogTTNEZXNjID0gQVJSQVkgMywzIE9GIFJFQUw7XHBhcg0KIE1U
dWJlRGVzYyA9IEFSUkFZIDMgT0YgVjNEZXNjO1xwYXINClxwYXINCiAgUFJPQ0VEVVJFIFEgKElO
IHY6IFZEZXNjKTsgQkVHSU4gRU5EIFE7XHBhcg0KICBQUk9DRURVUkUgUTMgKElOIHY6IFYzRGVz
Yyk7IEJFR0lOIEVORCBRMztccGFyDQpccGFyDQogIFBST0NFRFVSRSBUZXN0O1xwYXINCiAgVkFS
XHBhcg0KXHRhYiBtdCA6IE1UdWJlRGVzYztccGFyDQpcdGFiIFxwYXINCiAgQkVHSU5ccGFyDQog
ICAgUShtdFswXSk7ICAoKiB3b3JrcyAqKVxwYXINClx0YWIgUTMgKG10WzBdKSAoKmFsc28gd29y
a3MqKVxwYXINCiAgRU5EIFRlc3Q7XHBhcg0KXHBhcg0KRU5EIFByaXZUZXN0Mi5ccGFyDQpccGFy
DQpccGFyDQpccGFyDQpPbiBXZWQsIE1hciAzMSwgMjAxMCBhdCA5OjIzIFBNLCBEb3VnbGFzIEcu
IERhbmZvcnRoXHBhcg0KPGRhbmZvcnRoQGdyZWVud29vZGZhcm0uY29tPiB3cm90ZTpccGFyDQo+
IEZvbGtzLFxwYXINCj5ccGFyDQo+IEkgZG9uJ3QgdW5kZXJzdGFuZCB0aGlzLlxwYXINCj4gSWYg
SSBkZWZpbmUgYSBwcm9jZWR1cmUgdGhhdCB0YWtlcyBhbiBBUlJBWSBPRiBSRUFMIGFuZFxwYXIN
Cj4gcGFzcyBpdCBhbiByb3cgb2YgYSBtYXRyaXggdGhlbiB0aGF0IHdvcmtzIEJVVCBpZiBJIHNw
ZWNpYWxpemVccGFyDQo+IHRoZSBwcm9jZWR1cmUgdG8gdGFrZSBhbiBBUlJBWSAzIE9GIFJFQUwg
YW5kIHBhc3MgaXQgYVxwYXINCj4gcm93IG9mIGEgbWF0cml4IEFSUkFZIDMsMyBPRiBSRUFMIHRo
ZW4gdGhlIGNvbXBpbGVyIGNvbXBsYWlucy5ccGFyDQo+XHBhcg0KPiBUWVBFXHBhcg0KPiBcJ2Ew
VkRlc2MgPSBBUlJBWSBPRiBSRUFMO1xwYXINCj4gXCdhMFYzRGVzYyA9IEFSUkFZIDMgT0YgUkVB
TDtccGFyDQo+IFwnYTBNRGVzYyA9IEFSUkFZIE9GIEFSUkFZIE9GIFJFQUw7XHBhcg0KPiBcJ2Ew
TTNEZXNjID0gQVJSQVkgMywzIE9GIFJFQUw7XHBhcg0KPlxwYXINCj4gXCdhMCBQUk9DRURVUkUg
USAoSU4gdjogVkRlc2MpOyBCRUdJTiBFTkQgUTtccGFyDQo+IFwnYTAgUFJPQ0VEVVJFIFEzIChJ
TiB2OiBWM0Rlc2MpOyBCRUdJTiBFTkQgUTM7XHBhcg0KPlxwYXINCj4gXCdhMCBQUk9DRURVUkUg
VGVzdDtccGFyDQo+IFwnYTAgVkFSIG0zOiBNM0Rlc2M7XHBhcg0KPiBcJ2EwIEJFR0lOXHBhcg0K
PiBcJ2EwXCdhMFwnYTAgUShtM1swXSk7XCdhMCAoKiB3b3JrcyAqKVxwYXINCj4gXCdhMFwnYTBc
J2EwIFEzKG0zWzBdKVwnYTAgKCogZmFpbHMhIGluY29tcGF0aWJsZSBhc3NpZ25tZW50ICopXHBh
cg0KPiBcJ2EwIEVORCBUZXN0O1xwYXINCj5ccGFyDQo+IFRoZSAic2xpY2UiIG0zWzBdLCB3aGlj
aCBpcyB0aGUgZmlyc3Qgcm93IG9mIG0zLCBpcyBhY2NlcHRlZCBieSBhIHJvdXRpbmVccGFyDQo+
IHRoYXQgYWNjZXB0cyBnZW5lcmFsIG5vbiBzcGVjaWZpYyB2ZWN0b3JzIGJ1dCB0aGF0IHNhbWUg
c2xpY2Ugd2hpY2hccGFyDQo+IGhhcyBsZW5ndGggMyBpcyByZWplY3RlZCBieSBhIHJvdXRpbmUg
dGhhdCB3YW50cyB2ZWN0b3JzIG9mIGxlbmd0aCAzLlxwYXINCj4gV2h5P1xwYXINCj4gSSByZWFs
bHkgZG9uJ3QgdW5kZXJzdGFuZCB0aGUgc3Ryb25nIHR5cGluZyBpbiB0aGlzIGNhc2UuXHBhcg0K
PlxwYXINCj4gLURvdWcgRGFuZm9ydGhccGFyDQo+XHBhcg0KPlxwYXINCj4gLS0tLSBUbyB1bnN1
YnNjcmliZSwgc2VuZCBhIG1lc3NhZ2Ugd2l0aCBib2R5ICJTSUdOT0ZGIEJMQUNLQk9YIiB0b1xw
YXINCj4gTElTVFNFUlZATElTVFMuT0JFUk9OLkNIXHBhcg0KXHBhcg0KXHBhcg0KXHBhcg0KLS0g
XHBhcg0KLS0gXHBhcg0KQXVicmV5IE1jSW50b3NoLCBQaC5ELlxwYXINCjE1MDIgRGV2b24gQ2ly
Y2xlXHBhcg0KQXVzdGluIFRYIDc4NzIzLTE4MTRccGFyDQpodHRwOi8vaG9tZS5ncmFuZGVjb20u
bmV0L35hbWNpbnRvc2gvYXVicmV5L1NlYXJjaC9ccGFyDQpccGFyDQpccGFyDQotLS0tXHBhcg0K
VG8gdW5zdWJzY3JpYmUsIHNlbmQgYSBtZXNzYWdlIHdpdGggYm9keSAiU0lHTk9GRiBCTEFDS0JP
WCIgdG8gTElTVFNFUlZATElTVFMuT319AApMaXN0LVN1YnNjcg=
----boundary-LibPST-iamunique-547322232_-_---

Received on Thu Apr 01 2010 - 08:00:31 UTC