cabal-version: 2.4 name: hls-gadt-plugin version: 1.0.0.0 synopsis: Convert to GADT syntax plugin description: Please see the README on GitHub at license: Apache-2.0 license-file: LICENSE author: Lei Zhu maintainer: julytreee@gmail.com category: Development build-type: Simple extra-source-files: LICENSE test/testdata/*.hs library if impl(ghc >= 9.3) buildable: False else buildable: True exposed-modules: Ide.Plugin.GADT other-modules: Ide.Plugin.GHC hs-source-dirs: src build-depends: , aeson , base >=4.12 && <5 , containers , extra , ghc , ghcide ^>= 1.8 , ghc-boot-th , ghc-exactprint , hls-plugin-api ^>= 1.5 , hls-refactor-plugin , lens , lsp >=1.2.0.1 , mtl , text , transformers , unordered-containers ghc-options: -Wall -Wno-name-shadowing -Wno-unticked-promoted-constructors default-language: Haskell2010 default-extensions: DataKinds test-suite tests if impl(ghc >= 9.3) buildable: False else buildable: True type: exitcode-stdio-1.0 default-language: Haskell2010 hs-source-dirs: test main-is: Main.hs ghc-options: -threaded -rtsopts -with-rtsopts=-N build-depends: , base , filepath , hls-gadt-plugin , hls-test-utils ^>=1.4 , lens , lsp , lsp-test , text