30 May
2022
30 May
'22
9:28 a.m.
Dear Committee, Empty records with {} have been proposed by John Ericsson https://github.com/ghc-proposals/ghc-proposals/pull/496 https://github.com/Ericson2314/ghc-proposals/blob/empty-record-wildcards/pro... This seems to be about straightening a corner case, so to say. I suggest Eric as the shepherd. 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/