
26 May
2021
26 May
'21
5:24 a.m.
Dear Committee, this is your secretary speaking: Visible 'forall' in types of terms has been proposed by Vladislav https://github.com/ghc-proposals/ghc-proposals/pull/281 https://github.com/int-index/ghc-proposals/blob/visible-forall/proposals/000... This was just resubmitted, given that #378 was accepted. The previous shepherd was Iavor; I am suggesting Richard as the new shepherd, as he was heavily involved in the Github thread already. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/