[ghc-steering-committee] Please review #608: no implicit bindings with -XPatternSignatures, Shepherd: Richard
Joachim Breitner
mail at joachim-breitner.de
Thu Aug 17 11:53:20 UTC 2023
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/
More information about the ghc-steering-committee
mailing list