Mark P Jones writes:
> Another possibility to consider: At some point in the past
> few years, the built-in printer was modified to prefix
> datatype constructors with type names, as in "Maybe_Just".
> I think there was probably some good justification for this,
I suspect I was responsible for this and it was probably due to poor
testing (when changing something else) rather than a deliberate
choice. However, it brings to mind the requests to use fully
qualified names in error messages - one might want a flag or flags to
select whether qualifiers are shown:
1) When using the builtin printer instead of Show.
2) In error messages (which use the same builtin printer).
3) Even if the unqualified name is in scope.
Alastair
