Name:           ddc-core-eval
Version:        0.2.1.2
License:        MIT
License-file:   LICENSE
Author:         The Disciplined Disciple Compiler Strike Force
Maintainer:     Ben Lippmeier <benl@ouroborus.net>
Build-Type:     Simple
Cabal-Version:  >=1.6
Stability:      experimental
Category:       Compilers/Interpreters
Homepage:       http://disciple.ouroborus.net
Bug-reports:    disciple@ouroborus.net
Synopsis:       Disciple Core language semantic evaluator.
Description:
        This is a direct implementation of the operational semantics and is by no
        means fast, or a substitute for a real interpreter. Programs run with this
        evaluator will have an asymptotic complexity much worse than if they were
        compiled. This evaluator is intended for experimenting with the language
        semantics, and not running actual programs.

Library
  Build-Depends: 
        base            == 4.6.*,
        containers      == 0.5.*,
        array           == 0.4.*,
        transformers    == 0.3.*,
        mtl             == 2.1.*,
        ddc-base        == 0.2.1.*,
        ddc-core        == 0.2.1.*

  Exposed-modules:
        DDC.Core.Eval.Check
        DDC.Core.Eval.Compounds
        DDC.Core.Eval.Env
        DDC.Core.Eval.Name
        DDC.Core.Eval.Prim
        DDC.Core.Eval.Step
        DDC.Core.Eval.Store
        DDC.Core.Eval

  GHC-options:
        -Wall
        -fno-warn-orphans
        -fno-warn-missing-signatures
        -fno-warn-unused-do-bind

  Extensions:
        ParallelListComp
        PatternGuards
        RankNTypes
        FlexibleContexts
        FlexibleInstances
        MultiParamTypeClasses
        UndecidableInstances
        KindSignatures
        NoMonomorphismRestriction
        ScopedTypeVariables
        StandaloneDeriving
        DoAndIfThenElse