[ghc-steering-committee] Please review #270: Extend Term-Level Lookup rules
Joachim Breitner
mail at joachim-breitner.de
Tue Jun 2 08:55:42 UTC 2020
Hi,
Am Montag, den 01.06.2020, 09:39 -0700 schrieb Iavor Diatchki:
> I am the shepherd for proposal #270, and it is time for the committee to review the proposal. The discussion and the proposal are available here:
> https://github.com/ghc-proposals/ghc-proposals/pull/270
the author also put forward
“Visible 'forall' in types of terms”
https://github.com/int-index/ghc-proposals/blob/visible-forall/proposals/0000-visible-forall.rst
https://github.com/ghc-proposals/ghc-proposals/pull/281
which depends on #270 and should be considered as a motivation for #270
Cheers,
Joachim
--
Joachim Breitner
mail at joachim-breitner.de
http://www.joachim-breitner.de/
More information about the ghc-steering-committee
mailing list