[m-rev.] for review: options to show type representations

[Zoltan Somogyi]

During my talk last friday, people asked for a way to see the compiler's
decisions about type representations. Since HLDS dumps are too crude
a method for this, I implemented some options to report this information
in a more user-friendly manner.

What I am looking for feedback on in not so much the diff to the code,
but the format of the output file, and the usability and documentation
of the new options. Only when we get to at least a rough consensus on those
will a meaningful review of the code be possible.

So everyone, please have a look at the attached sample output file,
and report you opinions.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.show
Type: application/octet-stream
Size: 1176 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20181018/139fa372/attachment-0003.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.show
Type: application/octet-stream
Size: 37018 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20181018/139fa372/attachment-0004.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: construct_packed.type_repns
Type: application/octet-stream
Size: 17214 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20181018/139fa372/attachment-0005.obj>