Re: [BLACKBOX] Matrix slices - syntax

From: [at]} <Rex>
Date: Fri, 2 Apr 2010 09:32:33 -0600

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

        This discussion is a good reminder of the advantages and disadvantages of name equivalence as opposed to structural equivalence.

        But I have to wonder why calling Q works, since the types are not matched. The actual parameter is of type M3Desc, but Q requires type VDesc.

PROCEDURE Q (IN v: VDesc); BEGIN END Q;
VAR m3: M3Desc;
Q(m3[0]); (* works *)

--Rex Couture


----
To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to LISTSERV{([at]})nowhere.xy----boundary-LibPST-iamunique-469011568_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwICAgICAgICAgVGhpcyBkaXNjdXNzaW9uIGlzIGEg
Z29vZCByZW1pbmRlciBvZiB0aGUgYWR2YW50YWdlcyBhbmQgZGlzYWR2YW50YWdlcyBvZiBuYW1l
IGVxdWl2YWxlbmNlIGFzIG9wcG9zZWQgdG8gc3RydWN0dXJhbCBlcXVpdmFsZW5jZS5ccGFyDQpc
cGFyDQogICAgICAgIEJ1dCBJIGhhdmUgdG8gd29uZGVyIHdoeSBjYWxsaW5nIFEgd29ya3MsIHNp
bmNlIHRoZSB0eXBlcyBhcmUgbm90IG1hdGNoZWQuICBUaGUgYWN0dWFsIHBhcmFtZXRlciBpcyBv
ZiB0eXBlIE0zRGVzYywgYnV0IFEgcmVxdWlyZXMgdHlwZSBWRGVzYy5ccGFyDQpccGFyDQpQUk9D
RURVUkUgUSAoSU4gdjogVkRlc2MpOyBCRUdJTiBFTkQgUTtccGFyDQpWQVIgbTM6IE0zRGVzYztc
cGFyDQpRKG0zWzBdKTsgICgqIHdvcmtzICopXHBhcg0KXHBhcg0KLS1SZXggQ291dHVyZSBccGFy
DQpccGFyDQpccGFyDQotLS0tXHBhcg0KVG8gdW5zdWJzY3JpYmUsIHNlbmQgYSBtZXNzYWdlIHdp
dGggYm9keSAiU0lHTk9GRiBCTEFDS0JPWCIgdG8gTElTVFNFUlZATElTVFMuT0JFUk9OLkNIXHBh
cg0KfQ==
----boundary-LibPST-iamunique-469011568_-_---
Received on Fri Apr 02 2010 - 17:32:33 UTC

This archive was generated by hypermail 2.3.0 : Thu Sep 26 2013 - 06:30:33 UTC