[m-dev.] reporting inconsistencies when building interface files

[Zoltan Somogyi]

Would anyone object to the second approach described by the
long comment in the attached partial diff? The comment also describes
the issues involved, and my reason for why bugs such as defining a type
as being both a du and an equivalence type should be detected and
reported at interface file build time. Since such errors are rare in
my experience, which way we handle them do not much matter,
but having all the relevant definitions available all at once
will simplify the code that makes type representation decisions.

At the moment, we make such decisions only at code generation
time, so we need to make them only for the currently targeted
platform, but type representation decisions that are recorded
in interface files must cover ALL platforms. This is why I need
this extra info.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.ctor_defn_map
Type: application/octet-stream
Size: 11675 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/developers/attachments/20190911/e864a770/attachment.obj>