[M3commit] CVS Update: cm3
Rodney M. Bates
rodney at elego.de
Wed Jun 25 04:18:49 CEST 2014
Changes by: rodney at birch. 14/06/25 04:18:49
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