
15 Feb
2021
15 Feb
'21
11:39 a.m.
Simon Peyton Jones via ghc-devs
Ben
Can we get record dot syntax into 9.2?
* Shayne is really nearly there in !4532; he has been working hard and recently.
Yes, Shayne asked about this last week; I updated the milestone and added it to the milestone highlights [1].
* It depends on my !4981 (was 4722) which fixes some bugs and I'm keen to commit.
Alright, let's add it
So, is it ok in principle to pull to trigger on !4981, and hopefully !4532?
Yes, I've added !4981 to the merge queue. !4532 can be merged whenever it is ready. Cheers, - Ben