[M3commit] CVS Update: cm3

Rodney M. Bates rodney at elego.de
Wed Jun 25 04:18:49 CEST 2014

CVSROOT:	/usr/cvs
Changes by:	rodney at birch.	14/06/25 04:18:49

Modified files:
	cm3/m3-sys/m3front/src/values/: Revelation.m3 

Log message:
	The compiler was failing to detect that "REVEAL T = REFANY" violates
	the rule that the revealed type must be branded.  This because
	the internal type for REFANY has a brand field, even though it
	is not branded in the Modula-3 sense.
	This can further lead to a late and unhelpful message at runtime:
	"multiple full revelations of an opaque type".
	The compiler now correctly emits
	"right-hand side must be a branded type expression (T)"

More information about the M3commit mailing list