[ghc-steering-committee] Please review #608: no implicit bindings with -XPatternSignatures, Shepherd: Richard

[Joachim Breitner]

Dear Committee,

John Ericson continues his series of amendments to #448 (Modern Scoped
Type Variables); in #608 he scales back -XPatternSignatures so that it
does not include pattern signature bindings. This is quite similar to my #119
from 5 years ago.

https://github.com/ghc-proposals/ghc-proposals/pull/608

I’d like to assign this to Richard as one of the experts on scoped type variables.


Please guide us to a conclusion as outlined in 
https://github.com/ghc-proposals/ghc-proposals#committee-process


Cheers,
Joachim



-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/