[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