Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!seismo!husc6!bloom-beacon!gatech!rutgers!topaz.rutgers.edu!dalal
From: dalal@topaz.rutgers.edu (Mukesh Dalal)
Newsgroups: comp.lang.modula2
Subject: Dereferencing of opaquely exported pointers?
Message-ID: <14474@topaz.rutgers.edu>
Date: Sat, 5-Sep-87 11:59:54 EDT
Article-I.D.: topaz.14474
Posted: Sat Sep  5 11:59:54 1987
Date-Received: Sun, 6-Sep-87 06:00:10 EDT
Organization: Rutgers Univ., New Brunswick, N.J.
Lines: 26
Keywords: Dereferencing,pointers.


Assume that a module M1 exports a pointer type P opaquely, and a
module M2 imports P from M1 and declares a variable p of type P.
Can M2 refer to p^, new(p) and dispose(p) {allocate, or deallocate}?

i.e.,

DEFINITION M1;
	TYPE P;
....


IMPLEMENTATION M2;
	FROM M1 IMPORT P;
	VAR p:P;
	....
	  BEGIN
	    new(p);
	    ....(p^);
	...

Thanks in advance for the response.
-- 

Mukesh Dalal				Voice: (201)-878-1763
Dept. of Computer Sc. (Rutgers)		Net: dalal@topaz.rutgers.edu