🚀 go-pugleaf

Page 2, Sect. 2, Par. 1 Line 1 of "Modula-3 Report (revised)" by
Cardelli, Donahue et al indicates Modula-3 uses structural type
equivalence, instead of name type equivalence used in Modula-2.

I thought (perhaps mistakenly) that name equivalence was both
easier to implement, -and- more secure than structural equivalence.
If this is true, why does M-3 get structural equivalence?  More
than one instructor of mine has lambasted Pascal for allowing
code like

type
	apple = integer;
	orange = integer;

var
	a : apple;
	o : orange;

begin
	...
	a := o;
	...
end.
----------------------------------

Is there some (obvious?) system programming application that is
facilitated by structural (vs. name) equivalence?

If this issue/question has already been beat to death, my apologies.

Thanks,

Lou Glassy
icsu8209@caesar.cs.montana.edu