ecta-plugin-0.1.0.1: ecta-plugin.cabal

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

  A hole-fit plugin for GHC that uses an ECTA to synthesize valid hole-fits.
  See <https://github.com/jkoppel/ecta> for more details on ECTAs!

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

library
  default-language: Haskell2010
  build-depends: base >= 4 && < 5,
                 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