mojito.cabal

name:                mojito
version:             0.0.0
Cabal-Version:       >= 1.2
synopsis:            Simple functional language with type inference
description:         The mojito package gives enough implementation
                     context to play with type inference algorithms. It uses
                     a simple s-expressions syntax. Milner's algorithm and
                     System CT (the 1999 version) are implemented.
category:            Language
license:             BSD3
license-file:        LICENSE
author:              Vo Minh Thu
maintainer:          noteed@gmail.com
build-type:          Simple

executable mojito
  main-is:             mojito.hs
  build-depends:       base >= 4 && < 5,
                       parsec, pretty, prettyclass,
                       network, fastcgi,
                       monads-fd, transformers,
                       array, containers,
                       xhtml,
                       time, datetime,
                       HUnit
  ghc-options:         -Wall

library
  build-depends:       base >= 4 && < 5,
                       parsec, pretty, prettyclass,
                       network, fastcgi,
                       monads-fd, transformers,
                       array, containers,
                       xhtml,
                       time, datetime,
                       HUnit
  ghc-options:         -Wall
  exposed-modules:     Language.Mojito.Inference.Cardelli.Cardelli,
                       Language.Mojito.Inference.SystemCT1999.Inferencer,
                       Language.Mojito.Inference.SystemCT1999.LCG,
                       Language.Mojito.Inference.SystemCT1999.Narrative,
                       Language.Mojito.Inference.SystemCT1999.NarrativeHtml,
                       Language.Mojito.Inference.SystemCT1999.Note,
                       Language.Mojito.Inference.SystemCT1999.Prelude,
                       Language.Mojito.Inference.SystemCT1999.SystemCT1999,
                       Language.Mojito.Inference.SystemCT1999.SystemCT1999Html,
                       Language.Mojito.Inference.Context,
                       Language.Mojito.Inference.Substitution,
                       Language.Mojito.Inference.Unification,
                       Language.Mojito.Prelude.Types,
                       Language.Mojito.Syntax.Expr,
                       Language.Mojito.Syntax.ExprBuilder,
                       Language.Mojito.Syntax.SExpr,
                       Language.Mojito.Syntax.Types