cabal-version: 2.2
name: ecta-plugin
build-type: Simple
version: 0.1.1.3
author: Matthías Páll Gissurarson
maintainer: mpg@mpg.is
synopsis: Hole-Fit Synthesis using ECTAs
description:

  A hole-fit plugin for GHC that invokes Hectare (based on ECTAs) to synthesize
  valid hole-fits.  See <https://github.com/jkoppel/ecta> and
  <https://dl.acm.org/doi/10.1145/3547622> for more details on ECTAs and Hectare!

category: Compiler Plugin
license: MIT
license-file: LICENSE

library
  default-language: Haskell2010
  build-depends: base >= 4.14 && < 4.15,
                 ghc > 8.10 && < 9,
                 text > 1.2 && <= 1.3,
                 containers > 0.6 && <= 0.7,
                 ecta >= 1.0 && < 1.1
  exposed-modules:
    ECTA.Plugin,
    ECTA.Plugin.Utils