From 67a192c7cda27dbe42252e17823f02277a18828b Mon Sep 17 00:00:00 2001 From: Michael Peyton Jones Date: Mon, 28 Feb 2022 10:28:00 +0000 Subject: [PATCH] Add idea for OverloadedRecordDot support in HLS --- content/ideas/hls-dot-support.md | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 content/ideas/hls-dot-support.md diff --git a/content/ideas/hls-dot-support.md b/content/ideas/hls-dot-support.md new file mode 100644 index 0000000..601b7e9 --- /dev/null +++ b/content/ideas/hls-dot-support.md @@ -0,0 +1,27 @@ +--- +title: Support `OverloadedRecordDot` in Haskell Language Server +--- + +[Haskell Language Server][hls] (HLS) has support for many GHC language features, +but new ones (particularly ones that add syntax) sometimes require additional work. +Currently HLS does [not](https://github.com/haskell/haskell-language-server/issues/2732) +have good support for `OverloadedRecordDot`, introduced in GHC 9.2. + +The following improvements would bring us up to a reasonable level of support: + +- Hover information for fields accessed through dot notation. +- Completions for record fields after a dot. + +Once this is completed, more advanced support could be provided: + +- Completions for [virtual record fields](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/hasfield.html#virtual-record-fields). +- Code actions to rewrite non-dot-using field accesses into dot-using field accesses. +- More as inspiration strikes. + +[hls]: https://haskell-language-server.readthedocs.io/en/latest/ + +**Potential Mentors**: Michael Peyton Jones/Pepe Iborra + +**Difficulty**: Medium + +**Size**: 175 hours