inch.cabal

Name:                inch
Version:             0.2.0
Synopsis:            A type-checker for Haskell with integer constraints
Description:
    Inch is a type-checker for a subset of Haskell (plus some GHC
    extensions) with the addition of integer constraints. After
    successfully type-checking a source file, it outputs an
    operationally equivalent version with the type-level integers
    erased, so it can be used as a preprocessor in order to compile
    programs.

Homepage:            https://github.com/adamgundry/inch/
bug-reports:         https://github.com/adamgundry/inch/issues
License:             BSD3
License-file:        LICENSE
Author:              Adam Gundry <adam.gundry@strath.ac.uk>
Maintainer:          Adam Gundry <adam.gundry@strath.ac.uk>
Copyright:           Copyright (c) 2011 Adam Gundry
Category:            Language
Build-type:          Simple
Extra-source-files:  README.md
                     examples/Cost.hs
                     examples/MergeSort.hs
                     examples/NonlinearCost.hs
                     examples/Queue.hs
                     examples/RedBlack.hs
                     examples/RedBlackCost.hs
                     examples/Units.hs
                     examples/Vectors.hs
                     examples/Wires.hs
data-dir:            data
data-files:          *.inch

Cabal-version:       >=1.8

Executable inch
  ghc-options:       -Wall -rtsopts
  hs-source-dirs:    src
  Main-is:           Language/Inch/Main.lhs
  Build-depends:     base == 4.*,
                         IndentParser > 0.2 && < 0.3,
                         parsec > 3.1  && < 3.5,
                         presburger == 0.4.*,
                         pretty >= 1.0 && < 2,
                         mtl > 2.0  && < 2.3,
                         containers > 0.4  && < 0.6,
                         filepath > 1.2  && < 1.4
  Other-modules:     Language.Inch.BwdFwd,
                         Language.Inch.Check,
                         Language.Inch.Context
                         Language.Inch.Erase
                         Language.Inch.Error
                         Language.Inch.File
                         Language.Inch.KindCheck
                         Language.Inch.Kind
                         Language.Inch.Kit
                         Language.Inch.ModuleSyntax
                         Language.Inch.Parser
                         Language.Inch.PrettyPrinter
                         Language.Inch.ProgramCheck
                         Language.Inch.Solver
                         Language.Inch.Syntax
                         Language.Inch.TyNum
                         Language.Inch.TypeCheck
                         Language.Inch.Type
                         Language.Inch.Unify

Test-Suite test-inch
    type:            exitcode-stdio-1.0
    hs-source-dirs:  src tests
    main-is:         Main.lhs
    build-depends:   base == 4.*,
                         IndentParser > 0.2 && < 0.3,
                         parsec > 3.1  && < 3.5,
                         presburger == 0.4.*,
                         pretty >= 1.0 && < 2,
                         mtl > 2.0  && < 2.3,
                         containers > 0.4  && < 0.6,
                         filepath > 1.2  && < 1.4,
                         directory > 1.1 && < 1.3


source-repository head
  type:     git
  location: git://github.com/adamgundry/inch.git