I'm strongly against this proposal due to its new semantics for expression-level `_`s. My argument is here: https://github.com/ghc-proposals/ghc-proposals/pull/194#issuecomment-555435625

On Sun, Nov 17, 2019 at 9:44 PM Vitaly Bragilevsky <bravit111@gmail.com> wrote:

Hi everyone,

Being the shepherd to the Updated partial type signatures proposal (#194, https://github.com/ghc-proposals/ghc-proposals/pull/194), I recommend acceptance. I've posted the rationale behind this recommendation on Github thread (https://github.com/ghc-proposals/ghc-proposals/pull/194#issuecomment-554751379).

In short: the proposal unifies the treatment of underscores and identifiers beginning with underscores everywhere outside patterns. It also brings more control to partial type signatures.

Please, raise your voices here or there. As usual, silence is understood as an agreement.

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

I'm currently travelling the world, sleeping on people's couches and doing full-time collaboration on Haskell projects. If this seems interesting to you, please consider signing up as a host! https://isovector.github.io/erdos/