2017-06-26 12:15:03 +03:00
|
|
|
name: CarpHask
|
|
|
|
|
version: 0.2.0.0
|
|
|
|
|
-- synopsis:
|
|
|
|
|
-- description:
|
|
|
|
|
homepage: https://github.com/eriksvedang/Carp
|
|
|
|
|
license: Apache-2.0
|
|
|
|
|
license-file: LICENSE
|
|
|
|
|
author: Erik Svedäng
|
|
|
|
|
maintainer: erik.svedang@gmail.com
|
|
|
|
|
copyright: Erik Svedäng
|
|
|
|
|
category: General
|
|
|
|
|
build-type: Simple
|
|
|
|
|
extra-source-files: README.md
|
|
|
|
|
cabal-version: >=1.10
|
|
|
|
|
|
|
|
|
|
library
|
|
|
|
|
hs-source-dirs: src
|
|
|
|
|
exposed-modules: Obj,
|
|
|
|
|
Parsing,
|
2017-10-20 00:36:17 +03:00
|
|
|
Infer,
|
2017-06-26 12:15:03 +03:00
|
|
|
Emit,
|
|
|
|
|
ColorText,
|
|
|
|
|
Constraints,
|
|
|
|
|
Deftype,
|
|
|
|
|
Commands,
|
|
|
|
|
Template,
|
|
|
|
|
Types,
|
|
|
|
|
Util,
|
2017-08-31 16:25:28 +03:00
|
|
|
Eval,
|
|
|
|
|
TypeError,
|
|
|
|
|
InitialTypes,
|
2017-08-31 17:40:56 +03:00
|
|
|
AssignTypes,
|
2017-08-31 16:46:13 +03:00
|
|
|
GenerateConstraints,
|
2017-09-01 07:31:26 +03:00
|
|
|
Polymorphism,
|
2017-09-06 09:57:48 +03:00
|
|
|
Concretize,
|
2017-12-15 18:37:03 +03:00
|
|
|
ArrayTemplates,
|
2018-02-01 19:41:29 +03:00
|
|
|
Expand,
|
2018-02-01 19:52:50 +03:00
|
|
|
Scoring,
|
|
|
|
|
Lookup,
|
2018-02-06 10:39:28 +03:00
|
|
|
Qualify,
|
|
|
|
|
Repl,
|
|
|
|
|
StartingEnv
|
2017-10-20 00:36:17 +03:00
|
|
|
|
2017-06-26 12:15:03 +03:00
|
|
|
build-depends: base >= 4.7 && < 5
|
|
|
|
|
, parsec == 3.1.*
|
|
|
|
|
, mtl
|
|
|
|
|
, containers
|
|
|
|
|
, process
|
|
|
|
|
, directory
|
2018-03-12 18:30:36 +03:00
|
|
|
, filepath
|
2017-06-26 12:15:03 +03:00
|
|
|
, split
|
2018-02-06 10:39:28 +03:00
|
|
|
, haskeline
|
2017-10-20 00:36:17 +03:00
|
|
|
|
2017-06-26 12:15:03 +03:00
|
|
|
default-language: Haskell2010
|
|
|
|
|
|
2017-06-26 13:04:39 +03:00
|
|
|
executable carp
|
2017-06-26 12:15:03 +03:00
|
|
|
hs-source-dirs: app
|
|
|
|
|
main-is: Main.hs
|
|
|
|
|
ghc-options: -threaded -rtsopts -with-rtsopts=-N
|
|
|
|
|
build-depends: base
|
|
|
|
|
, CarpHask
|
|
|
|
|
, containers
|
2017-10-23 00:34:06 +03:00
|
|
|
, directory
|
2017-10-20 00:36:17 +03:00
|
|
|
, haskeline
|
2017-06-26 12:15:03 +03:00
|
|
|
, process
|
|
|
|
|
default-language: Haskell2010
|
|
|
|
|
|
2018-02-27 11:50:20 +03:00
|
|
|
executable carp-header-parse
|
|
|
|
|
hs-source-dirs: headerparse
|
|
|
|
|
main-is: Main.hs
|
|
|
|
|
ghc-options: -threaded -rtsopts -with-rtsopts=-N
|
|
|
|
|
build-depends: base
|
|
|
|
|
, CarpHask
|
|
|
|
|
, containers
|
|
|
|
|
, directory
|
|
|
|
|
, cmdargs
|
|
|
|
|
, parsec
|
|
|
|
|
default-language: Haskell2010
|
|
|
|
|
|
2017-06-26 12:15:03 +03:00
|
|
|
test-suite CarpHask-test
|
|
|
|
|
type: exitcode-stdio-1.0
|
|
|
|
|
hs-source-dirs: test
|
|
|
|
|
main-is: Spec.hs
|
|
|
|
|
build-depends: base
|
|
|
|
|
, CarpHask
|
|
|
|
|
, HUnit
|
|
|
|
|
, containers
|
|
|
|
|
ghc-options: -threaded -rtsopts -with-rtsopts=-N
|
|
|
|
|
default-language: Haskell2010
|
|
|
|
|
|
|
|
|
|
source-repository head
|
|
|
|
|
type: git
|
2018-02-27 11:50:20 +03:00
|
|
|
location: https://github.com/carp-lang/Carp
|
