name:                   hindley-milner-type-check
version:                0.1.1.0
synopsis:               Type inference for Hindley-Milner based languages
description:
    This package contains an implemention of Hindley-Milner inference algorithm.
    It supports reporting of source code locations for errors.
    Language for type inference is labda-calculus augmented with primitive
    functions, let-expressions,  case-expressions and bottom.

    See github repo for tutorial and test-cases for examples.


license:                MIT
license-file:           LICENSE
author:                 Anton Kholomiov, Aleksey Khudyakov
maintainer:             anton.kholomiov@gmail.com
category:               Language
build-type:             Simple
cabal-version:          >=1.22

source-repository head
  type:                 git
  location:             https://github.com/anton-k/hindley-milner-type-check

library
  ghc-options:  -Wall
  exposed-modules:
    Type.Check.HM,
    Type.Check.HM.Infer,
    Type.Check.HM.Lang
    Type.Check.HM.Pretty,
    Type.Check.HM.Subst,
    Type.Check.HM.Term,
    Type.Check.HM.Type,
    Type.Check.HM.TypeError,
    Type.Check.HM.TyTerm

  other-modules:

  -- Other library packages from which modules are imported.
  build-depends: base                      >=4.8 && <5
               , deepseq                   >=1.4
               , containers                >=0.5
               , deriving-compat
               , data-fix                  >=0.3
               , dlist
               , mtl
               , prettyprinter
               , text

  -- Directories containing source files.
  hs-source-dirs:       src

  -- Base language which the package is written in.
  default-language:     Haskell2010

  default-extensions:
    ConstraintKinds
    DeriveDataTypeable
    DeriveFunctor,
    DeriveFoldable,
    DeriveTraversable,
    DeriveGeneric,
    FlexibleContexts,
    FlexibleInstances,
    GeneralizedNewtypeDeriving,
    LambdaCase,
    MultiParamTypeClasses,
    OverloadedStrings,
    RankNTypes
    RecordWildCards,
    ScopedTypeVariables,
    StandaloneDeriving,
    TemplateHaskell,
    TupleSections,
    TypeFamilies,
    TypeApplications
    TypeSynonymInstances

test-suite hindley-milner-type-check-tests
  Type:                exitcode-stdio-1.0
  Ghc-options:         -Wall -threaded -rtsopts
  Default-Language:    Haskell2010
  Build-Depends:       base              >=4.9 && <5
                     , hindley-milner-type-check
                     , containers
                     , text
                     , data-fix                  >=0.3
                     , tasty
                     , tasty-hunit
                     , prettyprinter
  hs-source-dirs:      test
  Main-is:             Main.hs
  Other-modules:       TM.SKI
                     , TM.NumLang