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

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_ergonomi... 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 wrote:

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee