22 Sep
2009
22 Sep
'09
12:03 p.m.
On Wed, 16 Sep 2009, Makarius wrote:
On Wed, 16 Sep 2009, David Matthews wrote:
To be honest, when I think of an abstract type I think of the abstype construction rather than opaque signature matching.
Interestingly, opaque signature matching also causes problems in SML/NJ pretty printing. I consider to make another attempt at abstype within a non-opaque structure, trying to avoid the nested structure within the abstract type.
After looking at this again, I've found that all problems disappear if SML97's opaque matching is eliminated. With plain old abstype and SML90's signature matching, pretty printing works again as expected.
Makarius