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

Published 20 hours ago • verified publisher icon haskell

WIP hls-hectare-plugin

Open pepeiborra opened this issue 3 years ago • 3 comments

ECTA is a type-driven code synthesis tool presented at ICFP by @jkoppel. @tritlo packaged it in a GHC plugin, and this is a simple HLS plugin to expose it more conveniently

pepeiborra avatar Sep 14 '22 15:09 pepeiborra

Correction: ECTAs are a new data structure and constraint solver for enumerative program synthesis, available from https://hackage.haskell.org/package/ecta . The tool is Hectare. I failed one of the goals of the presentation if some people think it was just a tool.

jkoppel avatar Sep 14 '22 16:09 jkoppel

I think then that the plugin I published might be misnamed. Since the package on Hackage is called ecta, I named the plugin the ecta-plugin. We could rename it hectare-plugin, but since it's already published to hackage, the old one will still be there. Let's at least make the name correct in HLS, @pepeiborra.

Tritlo avatar Sep 14 '22 16:09 Tritlo

The plan here is to launch hls-hectare-plugin as an optional HLS plugin, disabled by default and enabled explicitly by the user. This requires #3193 to land first

pepeiborra avatar Sep 22 '22 07:09 pepeiborra

What's blocking this from getting merged?

jkoppel avatar Nov 29 '22 06:11 jkoppel

https://github.com/haskell/haskell-language-server/pull/3193

pepeiborra avatar Nov 29 '22 11:11 pepeiborra

rebased the PR, ready to get merged now?

fendor avatar Jun 09 '23 09:06 fendor

rebased the PR, ready to get merged now?

Haven't heard from @jkoppel and @Tritlo for a while, so I'll be closing this PR until further notice

pepeiborra avatar Jul 15 '23 17:07 pepeiborra