[ghc-steering-committee] Is @ a name-space override, or a visibility override?

[Alejandro Serrano Mena]

 This might be relevant to this discussion. Richard Eisenberg has opened a
proposal to give a “general steering” towards Dependent Haskell, or not.
- Proposal: https://github.com/ghc-proposals/ghc-proposals/pull/378
- Reddit:
https://www.reddit.com/r/haskell/comments/jtvf06/should_ghc_support_ergonomic_dependent_types/

I think it’s also a place where we all should express our opinion.

Alejandro

On 13 Nov 2020 at 16:51:58, Iavor Diatchki <iavor.diatchki at gmail.com> wrote:

> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20201114/f63b784b/attachment.html>