2019-06-03 18:34:15 +03:00
|
|
|
cabal-version: 2.2
|
|
|
|
|
|
|
|
|
|
name: semantic-core
|
|
|
|
|
version: 0.0.0.0
|
|
|
|
|
synopsis: Semantic core intermediate language
|
2019-06-11 18:26:47 +03:00
|
|
|
description: Core intermediate language for program analysis using abstract definitional interpretation.
|
2019-06-11 18:07:57 +03:00
|
|
|
homepage: https://github.com/github/semantic/tree/master/semantic-core#readme
|
2019-06-11 18:23:38 +03:00
|
|
|
bug-reports: https://github.com/github/semantic/issues
|
2019-06-03 18:34:15 +03:00
|
|
|
license: MIT
|
|
|
|
|
license-file: LICENSE
|
2019-06-11 18:07:57 +03:00
|
|
|
author: The Semantic authors
|
|
|
|
|
maintainer: opensource+semantic@github.com
|
|
|
|
|
copyright: (c) 2019 GitHub, Inc.
|
2019-06-03 18:34:15 +03:00
|
|
|
category: Language
|
|
|
|
|
build-type: Simple
|
2019-06-11 18:25:20 +03:00
|
|
|
stability: alpha
|
2019-06-03 18:34:15 +03:00
|
|
|
extra-source-files: README.md
|
|
|
|
|
|
|
|
|
|
tested-with: GHC == 8.6.4
|
|
|
|
|
|
|
|
|
|
library
|
2019-06-03 18:38:42 +03:00
|
|
|
exposed-modules: Analysis.Concrete
|
2019-06-03 18:40:37 +03:00
|
|
|
, Analysis.Eval
|
2019-06-03 18:38:42 +03:00
|
|
|
, Analysis.FlowInsensitive
|
2019-06-03 18:34:15 +03:00
|
|
|
, Analysis.ImportGraph
|
|
|
|
|
, Analysis.ScopeGraph
|
2019-06-03 18:38:42 +03:00
|
|
|
, Analysis.Typecheck
|
2019-06-03 18:34:15 +03:00
|
|
|
, Control.Effect.Readline
|
2019-06-03 18:47:03 +03:00
|
|
|
, Data.Core
|
2019-06-03 23:09:47 +03:00
|
|
|
, Data.Core.Parser
|
2019-06-04 17:54:39 +03:00
|
|
|
, Data.Core.Pretty
|
2019-06-03 18:34:15 +03:00
|
|
|
, Data.File
|
|
|
|
|
, Data.Loc
|
2019-06-03 18:45:12 +03:00
|
|
|
, Data.Name
|
2019-06-03 18:36:36 +03:00
|
|
|
, Data.Stack
|
2019-06-03 18:34:15 +03:00
|
|
|
-- other-modules:
|
|
|
|
|
-- other-extensions:
|
2019-06-04 17:54:39 +03:00
|
|
|
build-depends: algebraic-graphs ^>= 0.3
|
2019-06-05 17:38:51 +03:00
|
|
|
, base >= 4.12 && < 5
|
2019-06-04 17:54:39 +03:00
|
|
|
, containers ^>= 0.6
|
|
|
|
|
, directory ^>= 1.3
|
|
|
|
|
, filepath ^>= 1.4
|
|
|
|
|
, fused-effects ^>= 0.4
|
|
|
|
|
, haskeline ^>= 0.7.5
|
|
|
|
|
, parsers ^>= 0.12.10
|
|
|
|
|
, prettyprinter ^>= 1.2.1
|
|
|
|
|
, prettyprinter-ansi-terminal ^>= 1.1.1
|
|
|
|
|
, recursion-schemes ^>= 5.1
|
|
|
|
|
, semigroupoids ^>= 5.3
|
|
|
|
|
, transformers ^>= 0.5.6
|
|
|
|
|
, trifecta ^>= 2
|
|
|
|
|
, unordered-containers ^>= 0.2.10
|
2019-06-03 18:34:15 +03:00
|
|
|
hs-source-dirs: src
|
|
|
|
|
default-language: Haskell2010
|
2019-06-11 18:38:55 +03:00
|
|
|
ghc-options: -Weverything -Wno-missing-local-signatures -Wno-missing-import-lists -Wno-implicit-prelude -Wno-safe -Wno-unsafe -Wno-name-shadowing -Wno-monomorphism-restriction -Wno-missed-specialisations -Wno-all-missed-specialisations -Wno-star-is-type
|
2019-06-03 18:34:15 +03:00
|
|
|
|
|
|
|
|
test-suite doctest
|
|
|
|
|
type: exitcode-stdio-1.0
|
|
|
|
|
main-is: Doctest.hs
|
|
|
|
|
build-depends: base >=4.9 && <4.13
|
|
|
|
|
, doctest >=0.7 && <1.0
|
|
|
|
|
, QuickCheck
|
|
|
|
|
, semantic-core
|
|
|
|
|
hs-source-dirs: test
|
|
|
|
|
default-language: Haskell2010
|
2019-06-04 18:26:42 +03:00
|
|
|
|
|
|
|
|
test-suite spec
|
|
|
|
|
type: exitcode-stdio-1.0
|
|
|
|
|
main-is: Spec.hs
|
|
|
|
|
other-modules: Generators
|
|
|
|
|
build-depends: base
|
|
|
|
|
, semantic-core
|
|
|
|
|
, hedgehog >= 0.6 && <1
|
|
|
|
|
, tasty >= 1.2 && <2
|
|
|
|
|
, tasty-hedgehog >= 0.2 && <1
|
|
|
|
|
, tasty-hunit >= 0.10 && <1
|
|
|
|
|
, trifecta
|
|
|
|
|
hs-source-dirs: test
|
|
|
|
|
default-language: Haskell2010
|
