[Haskell-cafe] I'm afraid of OverloadedLabels
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
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