🚀 go-pugleaf

I am beginner in modula2 programming. I am confused about some
features:

1. Is the type checking based on name equivalence or structure
equivalence? More specifically, Is the following construct allowed:

	Type
	 P= Record
		...
	    End;
	 Q = P;
If yes, can a variable of type P be assigned a value of type Q and
vice-versa?

2. Can a global module export an item which it has imported?

3. Can the definition of a global-module M refer to a type P which is
neither declared there (either as opaque or transparent) nor is
imported from some other module but is defined/imported in the
corresponding implementation module of M?

4. Is the following construct allowed:

	Definition:
		procedure abc (..);
	Implementation:
		var x: ...;
		procedure abc (...);
			...
			x := ...;
		end;
		...

i.e., can an exported procedure make a change in a variable defined in
the module exporting that procedure?

I suspect that the ans to 4 is yes, but I want to make sure.


Thanks in advance for helpful responses.
-- 

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

	"To every action, there is an OVER-REACTION"