Re: [BLACKBOX] Matrix slices - syntax

From: Douglas G. Danforth <"Douglas>
Date: Fri, 2 Apr 2010 15:10:26 -0700

----boundary-LibPST-iamunique-1825502019_-_- Content-type: text/plain Rex, Strickly speaking I agree with you. Name wise "ARRAY OF REAL" and "ARRAY 3 OF REAL" are not the same. However, without "open" arrays one could never write a general procedure for one can not allocate an open (unspecified length) array. Hence only specific arrays types could be passed as arguments which means one would have to write F3 for arrays of length 3 and F4 for arrays of length 4, etc. So I have just convinced myself that open arrays are very necessary and must violate the strict name equivalence rule. -Doug Rex Couture wrote: 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 ---- To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to LISTSERV{([at]})nowhere.xy ----boundary-LibPST-iamunique-1825502019_-_- Content-type: application/rtf Content-transfer-encoding: base64 Content-Disposition: attachment; filename="rtf-body.rtf" e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbWh0bWwxIFxkZWZmMHtcZm9udHRibA0Ke1xmMFxm c3dpc3NcZmNoYXJzZXQwIEFyaWFsO30NCntcZjFcZm1vZGVybiBDb3VyaWVyIE5ldzt9DQp7XGYy XGZuaWxcZmNoYXJzZXQyIFN5bWJvbDt9DQp7XGYzXGZtb2Rlcm5cZmNoYXJzZXQwIENvdXJpZXIg TmV3O319DQp7XGNvbG9ydGJsXHJlZDBcZ3JlZW4wXGJsdWUwO1xyZWQwXGdyZWVuMFxibHVlMjU1 O30NClx1YzFccGFyZFxwbGFpblxkZWZ0YWIzNjAgXGYwXGZzMjQgDQp7XCpcaHRtbHRhZzI0MyA8 IURPQ1RZUEUgaHRtbCBQVUJMSUMgIi0vL1czQy8vRFREIEhUTUwgNC4wMSBUcmFuc2l0aW9uYWwv L0VOIj59DQp7XCpcaHRtbHRhZzMgXHBhciB9DQp7XCpcaHRtbHRhZzE5IDxodG1sPn0NCntcKlxo dG1sdGFnMiBccGFyIH0NCntcKlxodG1sdGFnMzQgPGhlYWQ+fQ0Ke1wqXGh0bWx0YWcxIFxwYXIg fQ0Ke1wqXGh0bWx0YWcyNDEgICB9DQp7XCpcaHRtbHRhZzEgXHBhciB9DQp7XCpcaHRtbHRhZzQx IDwvaGVhZD59DQp7XCpcaHRtbHRhZzIgXHBhciB9DQp7XCpcaHRtbHRhZzUwIDxib2R5IGJnY29s b3I9IiNmZmZmZmYiIHRleHQ9IiMwMDAwMDAiPn1caHRtbHJ0ZiBcdmlld2tpbmQ1DQp7XCpcYmFj a2dyb3VuZCB7XHNocHtcKlxzaHBpbnN0e1xzcHtcc24gZmlsbENvbG9yfXtcc3YgMTY3NzcyMTV9 fXtcc3B7XHNuIGZGaWxsZWR9e1xzdiAxfX19fX1caHRtbHJ0ZjAgDQp7XCpcaHRtbHRhZzAgXHBh ciB9e1wqXGh0bWx0YWc2NH1caHRtbHJ0ZiB7XGh0bWxydGYwIFJleCwNCntcKlxodG1sdGFnMTE2 IDxicj59XGh0bWxydGYgXGxpbmUNClxodG1scnRmMCANCntcKlxodG1sdGFnNCBccGFyIH0NCntc KlxodG1sdGFnMTE2IDxicj59XGh0bWxydGYgXGxpbmUNClxodG1scnRmMCANCntcKlxodG1sdGFn NCBccGFyIH1TdHJpY2tseSBzcGVha2luZyBJIGFncmVlIHdpdGggeW91Lg0Ke1wqXGh0bWx0YWcx MTYgPGJyPn1caHRtbHJ0ZiBcbGluZQ0KXGh0bWxydGYwIA0Ke1wqXGh0bWx0YWc0IFxwYXIgfU5h bWUgd2lzZSAiQVJSQVkgT0YgUkVBTCIgYW5kICJBUlJBWSAzIE9GIFJFQUwiIGFyZSBub3QgdGhl IHNhbWUuDQp7XCpcaHRtbHRhZzExNiA8YnI+fVxodG1scnRmIFxsaW5lDQpcaHRtbHJ0ZjAgDQp7 XCpcaHRtbHRhZzQgXHBhciB9SG93ZXZlciwgd2l0aG91dCAib3BlbiIgYXJyYXlzIG9uZSBjb3Vs ZCBuZXZlciB3cml0ZSBhIGdlbmVyYWwNCntcKlxodG1sdGFnNCBccGFyIH1caHRtbHJ0ZiAgXGh0 bWxydGYwIHByb2NlZHVyZSBmb3INCntcKlxodG1sdGFnMTE2IDxicj59XGh0bWxydGYgXGxpbmUN ClxodG1scnRmMCANCntcKlxodG1sdGFnNCBccGFyIH1vbmUgY2FuIG5vdCBhbGxvY2F0ZSBhbiBv cGVuICh1bnNwZWNpZmllZCBsZW5ndGgpIGFycmF5Lg0Ke1wqXGh0bWx0YWc4NCAmbmJzcDt9XGh0 bWxydGYgXCdhMFxodG1scnRmMCAgSGVuY2Ugb25seQ0Ke1wqXGh0bWx0YWc0IFxwYXIgfVxodG1s cnRmICBcaHRtbHJ0ZjAgc3BlY2lmaWMNCntcKlxodG1sdGFnMTE2IDxicj59XGh0bWxydGYgXGxp bmUNClxodG1scnRmMCANCntcKlxodG1sdGFnNCBccGFyIH1hcnJheXMgdHlwZXMgY291bGQgYmUg cGFzc2VkIGFzIGFyZ3VtZW50cyB3aGljaCBtZWFucyBvbmUgd291bGQgaGF2ZSB0bw0Ke1wqXGh0 bWx0YWcxMTYgPGJyPn1caHRtbHJ0ZiBcbGluZQ0KXGh0bWxydGYwIA0Ke1wqXGh0bWx0YWc0IFxw YXIgfXdyaXRlIEYzIGZvciBhcnJheXMgb2YgbGVuZ3RoIDMgYW5kIEY0IGZvciBhcnJheXMgb2Yg bGVuZ3RoIDQsIGV0Yy4NCntcKlxodG1sdGFnODQgJm5ic3A7fVxodG1scnRmIFwnYTBcaHRtbHJ0 ZjAgIFNvDQp7XCpcaHRtbHRhZzQgXHBhciB9XGh0bWxydGYgIFxodG1scnRmMCBJIGhhdmUNCntc KlxodG1sdGFnMTE2IDxicj59XGh0bWxydGYgXGxpbmUNClxodG1scnRmMCANCntcKlxodG1sdGFn NCBccGFyIH1qdXN0IGNvbnZpbmNlZCBteXNlbGYgdGhhdCBvcGVuIGFycmF5cyBhcmUgdmVyeSBu ZWNlc3NhcnkgYW5kIG11c3QNCntcKlxodG1sdGFnNCBccGFyIH1caHRtbHJ0ZiAgXGh0bWxydGYw IHZpb2xhdGUgdGhlDQp7XCpcaHRtbHRhZzExNiA8YnI+fVxodG1scnRmIFxsaW5lDQpcaHRtbHJ0 ZjAgDQp7XCpcaHRtbHRhZzQgXHBhciB9c3RyaWN0IG5hbWUgZXF1aXZhbGVuY2UgcnVsZS4NCntc KlxodG1sdGFnMTE2IDxicj59XGh0bWxydGYgXGxpbmUNClxodG1scnRmMCANCntcKlxodG1sdGFn NCBccGFyIH0NCntcKlxodG1sdGFnMTE2IDxicj59XGh0bWxydGYgXGxpbmUNClxodG1scnRmMCAN CntcKlxodG1sdGFnNCBccGFyIH0tRG91Zw0Ke1wqXGh0bWx0YWcxMTYgPGJyPn1caHRtbHJ0ZiBc bGluZQ0KXGh0bWxydGYwIA0Ke1wqXGh0bWx0YWc0IFxwYXIgfQ0Ke1wqXGh0bWx0YWcxMTYgPGJy Pn1caHRtbHJ0ZiBcbGluZQ0KXGh0bWxydGYwIA0Ke1wqXGh0bWx0YWc0IFxwYXIgfQ0Ke1wqXGh0 bWx0YWcxMTYgPGJyPn1caHRtbHJ0ZiBcbGluZQ0KXGh0bWxydGYwIA0Ke1wqXGh0bWx0YWc0IFxw YXIgfVJleCBDb3V0dXJlIHdyb3RlOg0Ke1wqXGh0bWx0YWc0IFxwYXIgfVxodG1scnRmICBcaHRt bHJ0ZjAge1wqXGh0bWx0YWc3Mn1caHRtbHJ0ZlxwYXJ9XGh0bWxydGYwDQoNCntcKlxodG1sdGFn OTYgPGJsb2NrcXVvdGUgY2l0ZT0ibWlkOjcuMC4xLjAuMS4yMDEwMDQwMjA5MjYwNi4wMWQ4MTE1 OEBsZXZlZS53dXN0bC5lZHUiXHBhciAgdHlwZT0iY2l0ZSI+fVxodG1scnRmIFxwYXINCntcaHRt bHJ0ZjAgDQp7XCpcaHRtbHRhZzAgXHBhciB9DQp7XCpcaHRtbHRhZzI0MCAgIH0NCntcKlxodG1s dGFnMTI4IDxwcmUgd3JhcD0iIj59XGh0bWxydGYge1xwYXJkXHBsYWluXGYxXGZzMjAgXGh0bWxy dGYwIFxodG1scnRmIHtcaHRtbHJ0ZjAgXGxpMzYwICAgICAgICAgVGhpcyBkaXNjdXNzaW9uIGlz IGEgZ29vZCByZW1pbmRlciBvZiB0aGUgYWR2YW50YWdlcyBhbmQgZGlzYWR2YW50YWdlcyBvZiBu YW1lIGVxdWl2YWxlbmNlIGFzIG9wcG9zZWQgdG8gc3RydWN0dXJhbCBlcXVpdmFsZW5jZS5cbGlu ZQ0KXGxpbmUNCiAgICAgICAgQnV0IEkgaGF2ZSB0byB3b25kZXIgd2h5IGNhbGxpbmcgUSB3b3Jr cywgc2luY2UgdGhlIHR5cGVzIGFyZSBub3QgbWF0Y2hlZC4gIFRoZSBhY3R1YWwgcGFyYW1ldGVy IGlzIG9mIHR5cGUgTTNEZXNjLCBidXQgUSByZXF1aXJlcyB0eXBlIFZEZXNjLlxsaW5lDQpcbGlu ZQ0KUFJPQ0VEVVJFIFEgKElOIHY6IFZEZXNjKTsgQkVHSU4gRU5EIFE7XGxpbmUNClZBUiBtMzog TTNEZXNjO1xsaW5lDQpRKG0zWzBdKTsgICgqIHdvcmtzICopXGxpbmUNClxsaW5lDQotLVJleCBD b3V0dXJlIFxsaW5lDQpcbGluZQ0KXGxpbmUNCi0tLS1cbGluZQ0KVG8gdW5zdWJzY3JpYmUsIHNl bmQgYSBtZXNzYWdlIHdpdGggYm9keSAiU0lHTk9GRiBCTEFDS0JPWCIgdG8ge30NCntcKlxodG1s dGFnODQgPGEgY2xhc3M9Im1vei10eHQtbGluay1hYmJyZXZpYXRlZCIgaHJlZj0ibWFpbHRvOkxJ U1RTRVJWQExJU1RTLk9CRVJPTi5DSCI+fVxodG1scnRmIHtcZmllbGR7XCpcZmxkaW5zdHtIWVBF UkxJTksgIm1haWx0bzpMSVNUU0VSVkBMSVNUUy5PQkVST04uQ0gifX17XGZsZHJzbHRcY2YxXHVs IFxodG1scnRmMCBMSVNUU0VSVkBMSVNUUy5PQkVST04uQ0hcaHRtbHJ0ZiB9XGh0bWxydGYwIFxo dG1scnRmIH1caHRtbHJ0ZjAgDQp7XCpcaHRtbHRhZzkyIDwvYT59XGxpbmUNClxsaW5lDQogIFxo dG1scnRmXHBhcn1caHRtbHJ0ZjANCg0Ke1wqXGh0bWx0YWcxMzYgPC9wcmU+fVxodG1scnRmIH1c aHRtbHJ0ZjAgDQp7XCpcaHRtbHRhZzAgXHBhciB9DQp7XCpcaHRtbHRhZzEwNCA8L2Jsb2NrcXVv dGU+fVxodG1scnRmIH1ccGFyDQpcaHRtbHJ0ZjAgDQp7XCpcaHRtbHRhZzAgXHBhciB9DQp7XCpc aHRtbHRhZzU4IDwvYm9keT59DQp7XCpcaHRtbHRhZzIgXHBhciB9DQp7XCpcaHRtbHRhZzI3IDwv aHRtbD59DQp7XCpcaHRtbHRhZzMgXHBhciB9DQp7XCpcaHRtbHRhZzY0IDxwPn1caHRtbHJ0ZiB7 XGh0bWxydGYwIA0Ke1wqXGh0bWx0YWc0IFxwYXIgfS0tLS0NCntcKlxodG1sdGFnNCBccGFyIH1c aHRtbHJ0ZiAgXGh0bWxydGYwIFRvIHVuc3Vic2NyaWJlLCBzZW5kIGEgbWVzc2FnZSB3aXRoIGJv ZHkgIlNJR05PRkYgQkxBQ0tCT1giIHRvIExJU1RTRVJWQExJU1RTLk9CRVJPTi5DSA0Ke1wqXGh0 bWx0YWc0IFxwYXIgfVxodG1scnRmICBcaHRtbHJ0ZjAgXGh0bWxydGZccGFyfVxodG1scnRmMA0K fQ== ----boundary-LibPST-iamunique-1825502019_-_--- Received on Sat Apr 03 2010 - 00:10:26 UTC