agda2hs.cabal

name:                agda2hs
version:             0.1
license:             BSD3
license-file:        LICENSE
author:              Ulf Norell, Jesper Cockx, James Chapman, Orestis Melkonian
maintainer:          ulf.norell@gmail.com
copyright:           Ulf Norell, 2020
category:            Language, Compiler
build-type:          Simple
cabal-version:       >=1.10
synopsis:            Compiling Agda code to readable Haskell.
description:
  Allows compiling Agda functions in a subset of Agda to readable Haskell code.
  The tool is implemented as an Agda backend, which means that `agda2hs` is a
  fully functional Agda compiler.

source-repository head
  type:     git
  location: https://github.com/agda/agda2hs.git

executable agda2hs
  main-is:             Main.hs
  other-modules:       HsUtils
  build-depends:       base >= 4.10 && < 4.15,
                       Agda >= 2.6 && < 2.6.2,
                       containers >= 0.6 && < 0.7,
                       directory >= 1.2.6.2 && < 1.4,
                       filepath >= 1.4.1.0 && < 1.5,
                       haskell-src-exts >= 1.23 && < 1.25,
                       syb >= 0.7
  default-language:    Haskell2010
  default-extensions:  LambdaCase,
                       RecordWildCards,
                       FlexibleContexts

  -- Agda-2.6.1.2 does not work with ghc-8.10.3 (see https://github.com/agda/agda/issues/5136)
  if impl(ghc == 8.10.3)
    build-depends: Agda == 2.6.1.1