Brian Hulley wrote:
However I think it could be solved by a more complex desugaring:
The proposed desugarings allow us to either make all dotted fields in a record visible, or none of them visible, but I don't think there exists a desugaring that would allow some to be visible while others were hidden. However this wouldn't be a problem because we could just have the rule that if people want to use dotted fields, they must either export all the fields in the record or no fields in the record (including non-dotted fields). This restriction could later be relaxed when tools/compilers etc implemented dotted fields directly. I don't think it's that important as I've never encountered a situation where I wanted to make only part of a record visible - I suppose I'm just an "all or nothing" person ;-) Apologies for the multiple posts, Brian.