Name: morte
Version: 1.0.0
Cabal-Version: >=1.8.0.2
Build-Type: Simple
License: BSD3
License-File: LICENSE
Copyright: 2014 Gabriel Gonzalez
Author: Gabriel Gonzalez
Maintainer: Gabriel439@gmail.com
Bug-Reports: https://github.com/Gabriel439/Haskell-Morte-Library/issues
Synopsis: A bare-bones calculus of constructions
Description: Morte is a typed, purely functional, and strongly normalizing
    intermediate language designed for whole-program super-optimization.  Use
    this library to type-check, optimize, parse, pretty-print, serialize and
    deserialize expressions in this intermediate language.
    .
    This library also installs an executable that you can use to type-check and
    optimize a @morte@ program.
    .
    "Morte.Core" contains the core calculus of constructions for this language
    .
    "Morte.Lexer" contains the @alex@-generated lexer for Morte
    .
    "Morte.Parser" contains the @happy@-generated parser for Morte
    .
    Read "Morte.Tutorial" to learn how to use this library
Category: Compiler
Source-Repository head
    Type: git
    Location: https://github.com/Gabriel439/Haskell-Morte-Library

Library
    Hs-Source-Dirs: src
    Build-Depends:
        base                 >= 4        && < 5   ,
        array                >= 0.4.0.0  && < 0.6 ,
        binary                              < 0.8 ,
        containers                          < 0.6 ,
        lens-family-core     >= 1.0.0    && < 1.2 ,
        pipes                >= 4.0.0    && < 4.2 ,
        text                 >= 0.11.1.0 && < 1.3 ,
        transformers         >= 0.2.0.0  && < 0.5
    Exposed-Modules:
        Morte.Core,
        Morte.Lexer,
        Morte.Parser,
        Morte.Tutorial
    Build-Tools: alex, happy
    GHC-Options: -O2

Executable morte
    Hs-Source-Dirs: exec
    Main-Is: Main.hs
    Build-Depends:
        base                 >= 4        && < 5   ,
        morte                                     ,
        optparse-applicative                < 0.11,
        text                 >= 0.11.1.0 && < 1.3