[M3commit] CVS Update: cm3

[Jay Krell]

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	10/08/29 14:13:33

Modified files:
	cm3/m3-sys/m3linker/src/: MxCheck.m3 

Log message:
	Allow opaque types to be defined (not revealed, defined) multiple
	times, as long as every definition has the same super type.
	
	This is needed for another change I'm still working on.
	
	I actually think this could/should be even further relaxed.
	It should be ok to say:
	TYPE Base = ...;
	TYPE Middle <: Base;
	TYPE Leaf <: Middle;
	TYPE Leaf <: Base;
	
	but no such change is here or in the works by me.