mirror of
https://github.com/github/semantic.git
synced 2024-12-25 07:55:12 +03:00
Stub in a package for analysis.
This commit is contained in:
parent
6bac8d2770
commit
71a6331c7a
@ -1,4 +1,5 @@
|
|||||||
packages: .
|
packages: .
|
||||||
|
semantic-analysis
|
||||||
semantic-core
|
semantic-core
|
||||||
semantic-java
|
semantic-java
|
||||||
semantic-json
|
semantic-json
|
||||||
@ -11,6 +12,9 @@ jobs: $ncpus
|
|||||||
package semantic
|
package semantic
|
||||||
ghc-options: -Werror
|
ghc-options: -Werror
|
||||||
|
|
||||||
|
package semantic-analysis
|
||||||
|
ghc-options: -Werror
|
||||||
|
|
||||||
package semantic-core
|
package semantic-core
|
||||||
ghc-options: -Werror
|
ghc-options: -Werror
|
||||||
|
|
||||||
|
21
semantic-analysis/LICENSE
Normal file
21
semantic-analysis/LICENSE
Normal file
@ -0,0 +1,21 @@
|
|||||||
|
MIT License
|
||||||
|
|
||||||
|
Copyright (c) 2019 GitHub
|
||||||
|
|
||||||
|
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.
|
18
semantic-analysis/README.md
Normal file
18
semantic-analysis/README.md
Normal file
@ -0,0 +1,18 @@
|
|||||||
|
# semantic-analysis
|
||||||
|
|
||||||
|
Program analysis by abstract definitional interpretation.
|
||||||
|
|
||||||
|
|
||||||
|
## Development
|
||||||
|
|
||||||
|
This project consists of a Haskell package named `semantic-analysis`. The library’s sources are in [`src`][].
|
||||||
|
|
||||||
|
Development of `semantic-analysis` is typically done using `cabal v2-build`:
|
||||||
|
|
||||||
|
```shell
|
||||||
|
cabal v2-build # build the library
|
||||||
|
cabal v2-repl # load the package into ghci
|
||||||
|
cabal v2-test # build and run the doctests
|
||||||
|
```
|
||||||
|
|
||||||
|
[`src`]: https://github.com/github/semantic/tree/master/semantic-analysis/src
|
2
semantic-analysis/Setup.hs
Normal file
2
semantic-analysis/Setup.hs
Normal file
@ -0,0 +1,2 @@
|
|||||||
|
import Distribution.Simple
|
||||||
|
main = defaultMain
|
55
semantic-analysis/semantic-analysis.cabal
Normal file
55
semantic-analysis/semantic-analysis.cabal
Normal file
@ -0,0 +1,55 @@
|
|||||||
|
cabal-version: 2.4
|
||||||
|
|
||||||
|
name: semantic-analysis
|
||||||
|
version: 0.0.0.0
|
||||||
|
synopsis: Program analysis by abstract definitional interpretation.
|
||||||
|
description: Program analysis abstractions and implementations by abstract definitional interpretation.
|
||||||
|
homepage: https://github.com/github/semantic/tree/master/semantic-analysis#readme
|
||||||
|
bug-reports: https://github.com/github/semantic/issues
|
||||||
|
license: MIT
|
||||||
|
license-file: LICENSE
|
||||||
|
author: The Semantic authors
|
||||||
|
maintainer: opensource+semantic@github.com
|
||||||
|
copyright: (c) 2019 GitHub, Inc.
|
||||||
|
category: Language
|
||||||
|
build-type: Simple
|
||||||
|
stability: alpha
|
||||||
|
extra-source-files: README.md
|
||||||
|
|
||||||
|
tested-with:
|
||||||
|
GHC == 8.6.5
|
||||||
|
|
||||||
|
common common
|
||||||
|
default-language: Haskell2010
|
||||||
|
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
|
||||||
|
if (impl(ghc >= 8.8))
|
||||||
|
ghc-options: -Wno-missing-deriving-strategies
|
||||||
|
|
||||||
|
library
|
||||||
|
import: common
|
||||||
|
hs-source-dirs: src
|
||||||
|
-- exposed-modules:
|
||||||
|
build-depends:
|
||||||
|
base >= 4.12 && < 5
|
||||||
|
|
||||||
|
test-suite doctest
|
||||||
|
import: common
|
||||||
|
type: exitcode-stdio-1.0
|
||||||
|
hs-source-dirs: test
|
||||||
|
main-is: Doctest.hs
|
||||||
|
build-depends:
|
||||||
|
base >=4.9 && <4.13
|
||||||
|
, doctest >=0.7 && <1.0
|
||||||
|
, QuickCheck
|
||||||
|
, semantic-analysis
|
12
semantic-analysis/test/Doctest.hs
Normal file
12
semantic-analysis/test/Doctest.hs
Normal file
@ -0,0 +1,12 @@
|
|||||||
|
module Main
|
||||||
|
( main
|
||||||
|
) where
|
||||||
|
|
||||||
|
import System.Environment
|
||||||
|
import Test.DocTest
|
||||||
|
|
||||||
|
main :: IO ()
|
||||||
|
main = do
|
||||||
|
args <- getArgs
|
||||||
|
autogen <- fmap (<> "/build/doctest/autogen") <$> lookupEnv "HASKELL_DIST_DIR"
|
||||||
|
doctest (maybe id ((:) . ("-i" <>)) autogen ("-isemantic-analysis/src" : "--fast" : if null args then ["semantic-analysis/src"] else args))
|
Loading…
Reference in New Issue
Block a user