Re: incompatible assignement (POINTER TO LIMITED RECORD)

From: Campbell, Robert D (SELEX) (UK Edinburgh) <"Campbell,>
Date: Mon, 29 Oct 2007 09:00:19 -0000

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

The assignment:
  b^ := a^
is not allowed if a & b are of type
  Ball* = POINTER TO LIMITED RECORD radius : REAL END
whereas it is if the word LIMITED is removed.

I asked if this was an error, or if I was missing something.



Thanks for peoples comments.


The key observation seems to be that the assignment is also
not allowed if LIMITED is replaced by EXTENSIBLE.

I think that is a reasonable, if not essentail, contraint.

What I missed was that LIMITED records are LESS limited than
plain ones (in their own module) because they allow extension.


Cheers

Robert



SELEX Sensors and Airborne Systems Limited
Registered Office: Sigma House, Christopher Martin Road, Basildon, Essex SS14 3EL
A company registered in England & Wales. Company no. 02426132
********************************************************************
This email and any attachments are confidential to the intended
recipient and may also be privileged. If you are not the intended
recipient please delete it from your system and notify the sender.
You should not copy it or use it for any purpose nor disclose or
distribute its contents to any other person.
********************************************************************

----
To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to LISTSERV{([at]})nowhere.xy----boundary-LibPST-iamunique-1555823733_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIFRoZSBhc3NpZ25tZW50OlxwYXINCiAgYl4gIDo9
ICBhXiBccGFyDQppcyBub3QgYWxsb3dlZCBpZiBhICYgYiBhcmUgb2YgdHlwZVxwYXINCiAgQmFs
bCogPSBQT0lOVEVSIFRPIExJTUlURUQgUkVDT1JEIHJhZGl1cyA6IFJFQUwgRU5EXHBhcg0Kd2hl
cmVhcyBpdCBpcyBpZiB0aGUgd29yZCBMSU1JVEVEIGlzIHJlbW92ZWQuXHBhcg0KXHBhcg0KSSBh
c2tlZCBpZiB0aGlzIHdhcyBhbiBlcnJvciwgb3IgaWYgSSB3YXMgbWlzc2luZyBzb21ldGhpbmcu
XHBhcg0KXHBhcg0KXHBhcg0KXHBhcg0KVGhhbmtzIGZvciBwZW9wbGVzIGNvbW1lbnRzLlxwYXIN
ClxwYXINClxwYXINClRoZSBrZXkgb2JzZXJ2YXRpb24gc2VlbXMgdG8gYmUgdGhhdCB0aGUgYXNz
aWdubWVudCBpcyBhbHNvXHBhcg0Kbm90IGFsbG93ZWQgaWYgTElNSVRFRCBpcyByZXBsYWNlZCBi
eSBFWFRFTlNJQkxFLlxwYXINClxwYXINCkkgdGhpbmsgdGhhdCBpcyBhIHJlYXNvbmFibGUsIGlm
IG5vdCBlc3NlbnRhaWwsIGNvbnRyYWludC5ccGFyDQpccGFyDQpXaGF0IEkgbWlzc2VkIHdhcyB0
aGF0IExJTUlURUQgcmVjb3JkcyBhcmUgTEVTUyBsaW1pdGVkIHRoYW5ccGFyDQpwbGFpbiBvbmVz
IChpbiB0aGVpciBvd24gbW9kdWxlKSBiZWNhdXNlIHRoZXkgYWxsb3cgZXh0ZW5zaW9uLlxwYXIN
ClxwYXINClxwYXINCkNoZWVyc1xwYXINClxwYXINClJvYmVydFxwYXINClxwYXINClxwYXINClxw
YXINClNFTEVYIFNlbnNvcnMgYW5kIEFpcmJvcm5lIFN5c3RlbXMgTGltaXRlZFxwYXINClJlZ2lz
dGVyZWQgT2ZmaWNlOiBTaWdtYSBIb3VzZSwgQ2hyaXN0b3BoZXIgTWFydGluIFJvYWQsIEJhc2ls
ZG9uLCBFc3NleCBTUzE0IDNFTFxwYXINCkEgY29tcGFueSByZWdpc3RlcmVkIGluIEVuZ2xhbmQg
JiBXYWxlcy4gIENvbXBhbnkgbm8uIDAyNDI2MTMyXHBhcg0KKioqKioqKioqKioqKioqKioqKioq
KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKipccGFyDQpUaGlz
IGVtYWlsIGFuZCBhbnkgYXR0YWNobWVudHMgYXJlIGNvbmZpZGVudGlhbCB0byB0aGUgaW50ZW5k
ZWRccGFyDQpyZWNpcGllbnQgYW5kIG1heSBhbHNvIGJlIHByaXZpbGVnZWQuIElmIHlvdSBhcmUg
bm90IHRoZSBpbnRlbmRlZFxwYXINCnJlY2lwaWVudCBwbGVhc2UgZGVsZXRlIGl0IGZyb20geW91
ciBzeXN0ZW0gYW5kIG5vdGlmeSB0aGUgc2VuZGVyLlxwYXINCllvdSBzaG91bGQgbm90IGNvcHkg
aXQgb3IgdXNlIGl0IGZvciBhbnkgcHVycG9zZSBub3IgZGlzY2xvc2Ugb3JccGFyDQpkaXN0cmli
dXRlIGl0cyBjb250ZW50cyB0byBhbnkgb3RoZXIgcGVyc29uLlxwYXINCioqKioqKioqKioqKioq
KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqXHBh
cg0KXHBhcg0KXHBhcg0KLS0tLVxwYXINClRvIHVuc3Vic2NyaWJlLCBzZW5kIGEgbWVzc2FnZSB3
aXRoIGJvZHkgIlNJR05PRkYgQkxBQ0tCT1giIHRvIExJU1RTRVJWQExJU1RTLk9CRVJPTi5DSH19
APM/AAA
----boundary-LibPST-iamunique-1555823733_-_---

Received on Mon Oct 29 2007 - 10:00:19 UTC