Delta-Lambda-0.3.0.0: Delta-Lambda.cabal
-- Initial Delta-Lambda.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/
-- The name of the package.
name: Delta-Lambda
-- The package version. See the Haskell package versioning policy (PVP)
-- for standards guiding when and how versions should be incremented.
-- http://www.haskell.org/haskellwiki/Package_versioning_policy
-- PVP summary: +-+------- breaking API changes
-- | | +----- non-breaking API additions
-- | | | +--- code changes with no API change
version: 0.3.0.0
-- A short (one-line) description of the package.
synopsis: A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn)
-- A longer description of the package.
description: A demonstration package for the type system delta-lambda (of N.G. De-bruijn)
in ~1000 lines of haskell.
this is at the moment exceptionally ALPHA level software.
no tests for the validity of the type checker (only the
type synthesizer), or the parser, or the repl, etc...
there are dragons in here (soon to be tamed), and lots
of them!
todo: profiling, unit testing, formal verification of type correctness
adequacy proof of the implemented type system.
-- The license under which the package is released.
license: MIT
-- The file containing the license text.
license-file: LICENSE
-- The package author(s).
author: James M
-- An email address to which users can send suggestions, bug reports, and
-- patches.
maintainer: listofoptions@gmail.com
homepage: https://github.com/listofoptions/delta-lambda
bug-reports: https://github.com/listofoptions/delta-lambda/issues
stability: alpha
-- A copyright notice.
copyright: Copyright (c) 2016 James M
Permission is hereby granted, free of charge, to any person obtaining
a copy of this software and associated documentation files (the
"Software"), to deal in the Software without restriction, including
without limitation the rights to use, copy, modify, merge, publish,
distribute, sublicense, and/or sell copies of the Software, and to
permit persons to whom the Software is furnished to do so, subject to
the following conditions:
The above copyright notice and this permission notice shall be included
in all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
category: Compilers/Interpreters
build-type: Simple
-- Constraint on the version of Cabal needed to build this package.
cabal-version: >=1.10
-- Extra files to be distributed with the package, such as examples or a
-- README.
extra-source-files: README.md,
LICENSE,
library/stdlib.dl
Tested-With: GHC == 8.0.1
Test-Suite tests
type: detailed-0.9
test-module: Tests
hs-source-dirs: tests,
source
build-depends: base >= 4.8 && <4.10 ,
bytestring >= 0.10.6.0 ,
mtl >= 2.2 && <2.3 ,
text >= 1.2.2.0 ,
Cabal >= 1.9.2 ,
-- nonstandard packages that are cabal-install-ed
cereal >= 0.5 && <0.6 ,
cpphs >= 1.20 ,
filepath >= 1.4.0.0 ,
haskeline >= 0.7 && <0.8 ,
megaparsec >= 5.0 && <5.3 ,
options >= 1.2 && <1.3 ,
parallel >= 3.2 && <3.3 ,
wl-pprint >= 1.2
default-language: Haskell2010
other-modules: AST,
Reduction,
Check,
Parser,
Printer
Flag Debug
Description: Enable debugging
Default: False
manual: True
source-repository head
type: git
location: git://github.com/listofoptions/delta-lambda.git
executable Delta-Lambda
-- .hs or .lhs file containing the Main module.
main-is: dl.hs
hs-source-dirs: source
default-extensions: OverloadedStrings,
FlexibleContexts,
TypeSynonymInstances,
FlexibleInstances,
MultiParamTypeClasses,
DefaultSignatures,
DeriveGeneric,
ScopedTypeVariables
if !flag(debug)
ghc-options: -threaded
-with-rtsopts=-N
-W
-fno-warn-warnings-deprecations
-fno-warn-orphans
-fwarn-unused-binds
else
ghc-options: -with-rtsopts=-pa
-- Modules included in this executable, other than Main.
other-modules: AST,
Reduction,
Check,
Parser,
Printer
-- LANGUAGE extensions used by modules in this package.
-- other-extensions:
-- standard haskell platform packages.
build-depends: base >= 4.8 && <4.10 ,
bytestring >= 0.10.6.0 ,
mtl >= 2.2 && <2.3 ,
text >= 1.2.2.0 ,
Cabal >= 1.9.2 ,
-- nonstandard packages that are cabal-install-ed
cereal >= 0.5 && <0.6 ,
cpphs >= 1.20 ,
filepath >= 1.4.0.0 ,
haskeline >= 0.7 && <0.8 ,
megaparsec >= 5.0 && <5.3 ,
options >= 1.2 && <1.3 ,
parallel >= 3.2 && <3.3 ,
wl-pprint >= 1.2
-- Directories containing source files.
-- hs-source-dirs:
-- Base language which the package is written in.
default-language: Haskell2010