HLS Ecta plugin

Author: pepeiborra

cabal.project

@@ -31,6 +31,7 @@ packages:
          ./plugins/hls-code-range-plugin
          ./plugins/hls-change-type-signature-plugin
          ./plugins/hls-stan-plugin
+         ./plugins/hls-ecta-plugin
          ./plugins/hls-gadt-plugin
          ./plugins/hls-explicit-fixity-plugin
          ./plugins/hls-refactor-plugin

haskell-language-server.cabal

@@ -77,6 +77,11 @@ flag haddockComments
   default:     True
   manual:      True
 
+flag ecta
+  description: Enable ecta plugin
+  default:     True
+  manual:      True
+
 flag eval
   description: Enable eval plugin
   default:     True
@@ -214,6 +219,11 @@ common haddockComments
     build-depends: hls-haddock-comments-plugin ^>= 1.1
     cpp-options: -Dhls_haddockComments
 
+common ecta
+  if flag(ecta) && (impl(ghc < 9) || flag(ignore-plugins-ghc-bounds))
+    build-depends: hls-ecta-plugin
+    cpp-options: -Dhls_ecta
+
 common eval
   if flag(eval) && (impl(ghc < 9.4.1) || flag(ignore-plugins-ghc-bounds))
     build-depends: hls-eval-plugin ^>= 1.3
@@ -270,7 +280,7 @@ common splice
     cpp-options: -Dhls_splice
 
 common alternateNumberFormat
-  if flag(alternateNumberFormat) 
+  if flag(alternateNumberFormat)
     build-depends: hls-alternate-number-format-plugin ^>= 1.2
     cpp-options: -Dhls_alternateNumberFormat
 
@@ -341,6 +351,7 @@ library
                   , changeTypeSignature
                   , class
                   , haddockComments
+                  , ecta
                   , eval
                   , importLens
                   , refineImports

plugins/hls-ecta-plugin/Ide/Plugin/Ecta/Plugin.hs

@@ -0,0 +1,21 @@
+module Ide.Plugin.Ecta (descriptor) where
+
+import           Development.IDE.GHC.Compat
+import           Development.IDE.GHC.Compat.Util
+import qualified Ecta.Plugin                     as Ecta
+import           Ide.Types
+
+descriptor :: Recorder (WithPriority Log) -> PluginId -> PluginDescriptor IdeState
+descriptor recorder pluginId = (defaultPluginDescriptor pluginId)
+  { pluginModifyDynflags = staticPlugin
+  }
+
+staticPlugin :: DynFlagsModifications
+staticPlugin = mempty
+  { dynFlagsModifyGlobal = \df -> df
+    { staticPlugins = staticPlugins df <> [metaprogrammingPlugin]
+    }
+  }
+
+ectaPlugin :: StaticPlugin
+ectaPlugin = StaticPlugin $ PluginWithArgs Ecta.plugin []

plugins/hls-ecta-plugin/hls-ecta-plugin.cabal

@@ -0,0 +1,31 @@
+cabal-version:      2.2
+name:               hls-ecta-plugin
+version:            1.0
+synopsis:           Code synthesis for typed holes via ECTA
+description:
+  Please see the README on GitHub at <https://github.com/haskell/haskell-language-server#readme>
+license:            Apache-2.0
+license-file:       LICENSE
+author:             Pepe Iborra
+maintainer:         pepeiborra@gmail.com
+category:           Development
+build-type:         Simple
+extra-source-files:
+  LICENSE
+
+library
+  if impl(ghc > 8.9) && impl(ghc < 9.0)
+    buildable: True
+  else
+    buildable: False
+  exposed-modules:    Ide.Plugin.Ecta
+  hs-source-dirs:     src
+  build-depends:
+      base                  >=4.12 && <5
+    , ecta
+    , ecta-plugin
+    , ghcide                >=1.8
+    , hls-graph
+    , hls-plugin-api        >=1.4
+
+  default-language:   Haskell2010

src/HlsPlugins.hs

@@ -29,6 +29,10 @@ import qualified Ide.Plugin.Class                  as Class
 import qualified Ide.Plugin.HaddockComments        as HaddockComments
 #endif
 
+#if hls_ecta
+import qualified Ide.Plugin.Ecta                   as Ecta
+#endif
+
 #if hls_eval
 import qualified Ide.Plugin.Eval                   as Eval
 #endif
@@ -173,6 +177,9 @@ idePlugins recorder = pluginDescToIdePlugins allPlugins
 #if hls_haddockComments
       HaddockComments.descriptor pluginRecorder "haddockComments" :
 #endif
+#if hls_ecta
+      Ecta.descriptor pluginRecorder "ecta" :
+#endif
 #if hls_eval
       Eval.descriptor pluginRecorder "eval" :
 #endif