curry-language-server icon indicating copy to clipboard operation
curry-language-server copied to clipboard

Published 20 hours ago • verified publisher icon fwcd

Migrate to `OverloadedRecordDot`

Open fwcd opened this issue 11 months ago • 0 comments

This extension has been merged in GHC 9.2 and would allow us to drop the field prefixes.

fwcd avatar Jul 26 '23 16:07 fwcd