[Haskell-cafe] I'm afraid of OverloadedLabels

Anthony Clayden anthony_clayden at clear.net.nz
Mon Jul 10 01:55:25 UTC 2017

> On Sun Jul 9 21:04:33 UTC 2017, MarLinn wrote:

> ...

> Isn't it about time to allow explicit imports, and more
> explicit non-imports for instances?
> Some time ago I fantasised about some special syntax for
> calling the (very rough) idea "aspects" ...

Sorry, I didn't realise that "aspects" thread
was about controlling instance scope.
I did try to start a thread on instance scope
a few days ago

I am interested in use cases for scope-controlling

Specifically I'm not seeing how scoping instances
(instances of what, exactly?) helps with the "record
Typically if you have several record types with the
same-named field,
you want all of those to be in scope, where the field-access
gets resolved according to the record's type.

The `DuplicateRecordFields` extension now provides
reasonable support for that, doesn't it?


More information about the Haskell-Cafe mailing list