- EXTENSIBLE Types

From: A Thomas <"A>
Date: Thu, 13 Sep 2007 11:14:50 +0300

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

Robert,

To my reading of the language report allocation and extension of LIMITED
types is allowed within the module where they are defined. Obviously
allocation must be possible within the defining module, and I can not see
why extension should not be allowed.

Andrew

-----Original Message-----
From: blackbox{([at]})nowhere.xy
Robert D (SELEX) (UK Edinburgh)
Sent: 13. syyskuuta 2007 10:45
To: BlackBox Mailing List
Subject: [BlackBox] - EXTENSIBLE Types


 
Hi

The Report says that ABSTRACT and EXTENSIBLE types
are extensible. Does this mean that LIMITED types are not?

The code:

TYPE
  A* = POINTER TO LIMITED RECORD END;
  B* = POINTER TO LIMITED RECORD (A) END;

compiles with the Oms compiler and is rejected by the Gardens Point
compiler.


Is the Report ambiguous, or is this a compiler bug?

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.
********************************************************************

--- BlackBox
--- send subject HELP or UNSUBSCRIBE to blackbox{([at]})nowhere.xy

--- BlackBox
--- send subject HELP or UNSUBSCRIBE to blackbox{([at]})nowhere.xy


----boundary-LibPST-iamunique-1705759593_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"

e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIFJvYmVydCxccGFyDQpccGFyDQpUbyBteSByZWFk
aW5nIG9mIHRoZSBsYW5ndWFnZSByZXBvcnQgYWxsb2NhdGlvbiBhbmQgZXh0ZW5zaW9uIG9mIExJ
TUlURURccGFyDQp0eXBlcyBpcyBhbGxvd2VkIHdpdGhpbiB0aGUgbW9kdWxlIHdoZXJlIHRoZXkg
YXJlIGRlZmluZWQuIE9idmlvdXNseVxwYXINCmFsbG9jYXRpb24gbXVzdCBiZSBwb3NzaWJsZSB3
aXRoaW4gdGhlIGRlZmluaW5nIG1vZHVsZSwgYW5kIEkgY2FuIG5vdCBzZWVccGFyDQp3aHkgZXh0
ZW5zaW9uIHNob3VsZCBub3QgYmUgYWxsb3dlZC5ccGFyDQpccGFyDQpBbmRyZXdccGFyDQpccGFy
DQotLS0tLU9yaWdpbmFsIE1lc3NhZ2UtLS0tLVxwYXINCkZyb206IGJsYWNrYm94QG9iZXJvbi5j
aCBbbWFpbHRvOmJsYWNrYm94QG9iZXJvbi5jaF0gT24gQmVoYWxmIE9mIENhbXBiZWxsLFxwYXIN
ClJvYmVydCBEIChTRUxFWCkgKFVLIEVkaW5idXJnaClccGFyDQpTZW50OiAxMy4gc3l5c2t1dXRh
IDIwMDcgMTA6NDVccGFyDQpUbzogQmxhY2tCb3ggTWFpbGluZyBMaXN0XHBhcg0KU3ViamVjdDog
W0JsYWNrQm94XSAtIEVYVEVOU0lCTEUgVHlwZXNccGFyDQpccGFyDQpccGFyDQogXHBhcg0KSGlc
cGFyDQpccGFyDQpUaGUgUmVwb3J0IHNheXMgdGhhdCBBQlNUUkFDVCBhbmQgRVhURU5TSUJMRSB0
eXBlc1xwYXINCmFyZSBleHRlbnNpYmxlLiBEb2VzIHRoaXMgbWVhbiB0aGF0IExJTUlURUQgdHlw
ZXMgYXJlIG5vdD9ccGFyDQpccGFyDQpUaGUgY29kZTpccGFyDQpccGFyDQpUWVBFXHBhcg0KICBB
KiA9IFBPSU5URVIgVE8gTElNSVRFRCBSRUNPUkQgRU5EO1xwYXINCiAgQiogPSBQT0lOVEVSIFRP
IExJTUlURUQgUkVDT1JEIChBKSBFTkQ7XHBhcg0KXHBhcg0KY29tcGlsZXMgd2l0aCB0aGUgT21z
IGNvbXBpbGVyIGFuZCBpcyByZWplY3RlZCBieSB0aGUgR2FyZGVucyBQb2ludFxwYXINCmNvbXBp
bGVyLlxwYXINClxwYXINClxwYXINCklzIHRoZSBSZXBvcnQgYW1iaWd1b3VzLCBvciBpcyB0aGlz
IGEgY29tcGlsZXIgYnVnP1xwYXINClxwYXINCkNoZWVyc1xwYXINClxwYXINClJvYmVydFxwYXIN
ClxwYXINClxwYXINClNFTEVYIFNlbnNvcnMgYW5kIEFpcmJvcm5lIFN5c3RlbXMgTGltaXRlZFxw
YXINClJlZ2lzdGVyZWQgT2ZmaWNlOiBTaWdtYSBIb3VzZSwgQ2hyaXN0b3BoZXIgTWFydGluIFJv
YWQsIEJhc2lsZG9uLCBFc3NleFxwYXINClNTMTQgM0VMXHBhcg0KQSBjb21wYW55IHJlZ2lzdGVy
ZWQgaW4gRW5nbGFuZCAmIFdhbGVzLiAgQ29tcGFueSBuby4gMDI0MjYxMzJccGFyDQoqKioqKioq
KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq
KioqKlxwYXINClRoaXMgZW1haWwgYW5kIGFueSBhdHRhY2htZW50cyBhcmUgY29uZmlkZW50aWFs
IHRvIHRoZSBpbnRlbmRlZFxwYXINCnJlY2lwaWVudCBhbmQgbWF5IGFsc28gYmUgcHJpdmlsZWdl
ZC4gSWYgeW91IGFyZSBub3QgdGhlIGludGVuZGVkXHBhcg0KcmVjaXBpZW50IHBsZWFzZSBkZWxl
dGUgaXQgZnJvbSB5b3VyIHN5c3RlbSBhbmQgbm90aWZ5IHRoZSBzZW5kZXIuXHBhcg0KWW91IHNo
b3VsZCBub3QgY29weSBpdCBvciB1c2UgaXQgZm9yIGFueSBwdXJwb3NlIG5vciBkaXNjbG9zZSBv
clxwYXINCmRpc3RyaWJ1dGUgaXRzIGNvbnRlbnRzIHRvIGFueSBvdGhlciBwZXJzb24uXHBhcg0K
KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq
KioqKioqKioqKipccGFyDQpccGFyDQotLS0gQmxhY2tCb3hccGFyDQotLS0gc2VuZCBzdWJqZWN0
IEhFTFAgb3IgVU5TVUJTQ1JJQkUgdG8gYmxhY2tib3hAb2Jlcm9uLmNoXHBhcg0KXHBhcg0KLS0t
IEJsYWNrQm94XHBhcg0KLS0tIHNlbmQgc3ViamVjdCBIRUxQIG9yIFVOU1VCU0NSSUJFIHRvIGJs
YWNrYm94QG9iZXJvbn19AGhlciBNYXJ0aW4gUm8=


----boundary-LibPST-iamunique-1705759593_-_---
Received on Thu Sep 13 2007 - 10:14:50 UTC