2018-02-26 21:16:56 +03:00
|
|
|
name: semantic
|
2017-04-12 23:32:33 +03:00
|
|
|
version: 0.3.0
|
2015-11-18 01:44:16 +03:00
|
|
|
synopsis: Initial project template from stack
|
|
|
|
description: Please see README.md
|
2018-02-26 21:16:56 +03:00
|
|
|
homepage: http://github.com/github/semantic#readme
|
2015-11-18 01:44:16 +03:00
|
|
|
author: Rob Rix, Josh Vera
|
2015-11-18 01:52:41 +03:00
|
|
|
maintainer: rob.rix@github.com
|
2016-01-05 19:26:58 +03:00
|
|
|
copyright: 2016 GitHub
|
2015-11-18 01:44:16 +03:00
|
|
|
category: Web
|
2017-07-23 17:34:30 +03:00
|
|
|
build-type: Simple
|
2015-11-18 01:44:16 +03:00
|
|
|
-- extra-source-files:
|
|
|
|
cabal-version: >=1.10
|
|
|
|
|
|
|
|
library
|
|
|
|
hs-source-dirs: src
|
2017-11-27 22:28:28 +03:00
|
|
|
exposed-modules:
|
2017-11-27 22:32:13 +03:00
|
|
|
-- Analyses & term annotations
|
2018-03-06 19:21:04 +03:00
|
|
|
Analysis.Abstract.Caching
|
2018-02-23 22:11:13 +03:00
|
|
|
-- , Analysis.Abstract.Collecting
|
2018-03-06 19:21:04 +03:00
|
|
|
, Analysis.Abstract.Dead
|
2018-03-02 00:04:58 +03:00
|
|
|
, Analysis.Abstract.Evaluating
|
2018-03-07 01:13:58 +03:00
|
|
|
, Analysis.Abstract.Tracing
|
2017-12-01 01:16:26 +03:00
|
|
|
, Analysis.ConstructorName
|
2017-11-27 22:52:27 +03:00
|
|
|
, Analysis.CyclomaticComplexity
|
2017-11-27 22:45:13 +03:00
|
|
|
, Analysis.Decorator
|
2017-11-28 17:17:41 +03:00
|
|
|
, Analysis.Declaration
|
2017-12-12 22:32:12 +03:00
|
|
|
, Analysis.IdentifierName
|
2018-01-25 22:12:57 +03:00
|
|
|
, Analysis.ModuleDef
|
2017-11-27 22:28:28 +03:00
|
|
|
-- Semantic assignment
|
2017-11-27 22:32:13 +03:00
|
|
|
, Assigning.Assignment
|
2017-11-27 21:19:20 +03:00
|
|
|
, Assigning.Assignment.Table
|
2018-03-01 19:46:32 +03:00
|
|
|
-- Control structures & interfaces for abstract interpretation
|
2018-03-01 19:50:38 +03:00
|
|
|
, Control.Abstract.Addressable
|
2018-03-01 22:57:45 +03:00
|
|
|
, Control.Abstract.Analysis
|
2018-03-01 19:46:32 +03:00
|
|
|
, Control.Abstract.Evaluator
|
2018-03-02 22:45:56 +03:00
|
|
|
, Control.Abstract.Value
|
2017-12-01 01:16:26 +03:00
|
|
|
-- Control flow
|
|
|
|
, Control.Effect
|
2018-03-01 20:05:15 +03:00
|
|
|
-- Effects used for program analysis
|
2018-03-06 19:21:04 +03:00
|
|
|
, Control.Monad.Effect.Cache
|
2018-03-01 20:05:15 +03:00
|
|
|
, Control.Monad.Effect.Fresh
|
2018-02-23 22:40:28 +03:00
|
|
|
-- , Control.Monad.Effect.GC
|
2018-03-06 19:21:04 +03:00
|
|
|
, Control.Monad.Effect.NonDet
|
2018-03-01 19:47:21 +03:00
|
|
|
-- Datatypes for abstract interpretation
|
2017-12-01 02:08:46 +03:00
|
|
|
, Data.Abstract.Address
|
2017-12-01 03:16:28 +03:00
|
|
|
, Data.Abstract.Cache
|
2017-12-01 01:57:58 +03:00
|
|
|
, Data.Abstract.Configuration
|
2017-12-01 01:55:18 +03:00
|
|
|
, Data.Abstract.Environment
|
2018-03-01 19:54:05 +03:00
|
|
|
, Data.Abstract.Evaluatable
|
2018-02-13 01:28:04 +03:00
|
|
|
, Data.Abstract.Linker
|
2017-12-01 02:02:14 +03:00
|
|
|
, Data.Abstract.FreeVariables
|
2017-12-01 21:57:15 +03:00
|
|
|
, Data.Abstract.Live
|
2017-12-01 02:32:05 +03:00
|
|
|
, Data.Abstract.Store
|
2017-12-01 02:21:02 +03:00
|
|
|
, Data.Abstract.Type
|
2017-12-01 02:27:35 +03:00
|
|
|
, Data.Abstract.Value
|
2018-03-01 19:47:21 +03:00
|
|
|
-- General datatype definitions & generic algorithms
|
2017-11-27 22:36:20 +03:00
|
|
|
, Data.Algebra
|
2016-07-11 20:55:27 +03:00
|
|
|
, Data.Align.Generic
|
2017-11-27 21:45:37 +03:00
|
|
|
, Data.AST
|
2017-06-24 17:00:40 +03:00
|
|
|
, Data.Blob
|
2017-09-27 19:41:41 +03:00
|
|
|
, Data.Diff
|
2017-08-06 19:29:28 +03:00
|
|
|
, Data.Error
|
2016-02-29 05:29:59 +03:00
|
|
|
, Data.Functor.Both
|
2017-11-30 18:14:21 +03:00
|
|
|
, Data.Functor.Classes.Generic
|
2017-09-09 19:15:22 +03:00
|
|
|
, Data.JSON.Fields
|
2017-11-27 22:17:48 +03:00
|
|
|
, Data.Language
|
2018-03-07 20:22:52 +03:00
|
|
|
, Data.Map.Monoidal
|
2016-07-23 00:38:10 +03:00
|
|
|
, Data.Mergeable
|
2017-07-28 18:11:30 +03:00
|
|
|
, Data.Output
|
2017-09-27 19:29:07 +03:00
|
|
|
, Data.Patch
|
2017-06-24 16:46:28 +03:00
|
|
|
, Data.Range
|
2016-10-06 19:03:06 +03:00
|
|
|
, Data.Record
|
2017-06-24 16:59:41 +03:00
|
|
|
, Data.Source
|
2017-06-24 16:41:51 +03:00
|
|
|
, Data.Span
|
2017-09-27 19:43:11 +03:00
|
|
|
, Data.SplitDiff
|
2017-11-27 22:28:28 +03:00
|
|
|
-- À la carte syntax types
|
2017-03-26 19:02:40 +03:00
|
|
|
, Data.Syntax
|
2017-03-26 22:34:44 +03:00
|
|
|
, Data.Syntax.Comment
|
2017-03-27 00:31:10 +03:00
|
|
|
, Data.Syntax.Declaration
|
2017-03-29 22:47:12 +03:00
|
|
|
, Data.Syntax.Expression
|
2017-03-26 22:30:33 +03:00
|
|
|
, Data.Syntax.Literal
|
2017-03-27 00:31:50 +03:00
|
|
|
, Data.Syntax.Statement
|
2017-03-29 23:23:02 +03:00
|
|
|
, Data.Syntax.Type
|
2017-09-27 19:37:37 +03:00
|
|
|
, Data.Term
|
2017-11-27 22:28:28 +03:00
|
|
|
-- Diffing algorithms & interpretation thereof
|
2017-11-27 19:41:50 +03:00
|
|
|
, Diffing.Algorithm
|
2017-11-27 19:51:39 +03:00
|
|
|
, Diffing.Algorithm.RWS
|
|
|
|
, Diffing.Algorithm.RWS.FeatureVector
|
2017-11-27 19:48:39 +03:00
|
|
|
, Diffing.Algorithm.SES
|
2017-11-27 19:45:08 +03:00
|
|
|
, Diffing.Interpreter
|
2017-11-27 22:28:28 +03:00
|
|
|
-- Language-specific grammar/syntax types, & assignments
|
2017-10-11 01:24:25 +03:00
|
|
|
, Language.Markdown.Assignment
|
2017-06-07 23:18:49 +03:00
|
|
|
, Language.Markdown.Syntax
|
2017-08-23 00:48:18 +03:00
|
|
|
, Language.Go.Grammar
|
2017-10-11 20:12:32 +03:00
|
|
|
, Language.Go.Assignment
|
2017-04-12 17:53:04 +03:00
|
|
|
, Language.Go.Syntax
|
2017-11-21 23:48:29 +03:00
|
|
|
, Language.Go.Type
|
2017-07-17 19:52:50 +03:00
|
|
|
, Language.JSON.Grammar
|
2017-10-11 01:14:57 +03:00
|
|
|
, Language.JSON.Assignment
|
2017-05-17 21:08:54 +03:00
|
|
|
, Language.Ruby.Grammar
|
2017-10-11 01:36:09 +03:00
|
|
|
, Language.Ruby.Assignment
|
2017-10-11 01:55:42 +03:00
|
|
|
, Language.TypeScript.Assignment
|
2017-08-08 18:19:42 +03:00
|
|
|
, Language.TypeScript.Grammar
|
2017-04-12 17:51:31 +03:00
|
|
|
, Language.TypeScript.Syntax
|
2017-12-15 22:14:08 +03:00
|
|
|
, Language.PHP.Assignment
|
|
|
|
, Language.PHP.Grammar
|
|
|
|
, Language.PHP.Syntax
|
2017-10-11 01:26:29 +03:00
|
|
|
, Language.Python.Assignment
|
2017-05-17 22:32:07 +03:00
|
|
|
, Language.Python.Grammar
|
2017-05-12 02:45:05 +03:00
|
|
|
, Language.Python.Syntax
|
2017-11-27 22:28:28 +03:00
|
|
|
-- Parser glue
|
2017-11-27 21:24:45 +03:00
|
|
|
, Parsing.CMark
|
2017-11-27 22:28:28 +03:00
|
|
|
, Parsing.Parser
|
2017-11-27 21:24:45 +03:00
|
|
|
, Parsing.TreeSitter
|
2018-02-26 21:16:56 +03:00
|
|
|
, Paths_semantic
|
2017-11-27 22:28:28 +03:00
|
|
|
-- Rendering formats
|
2017-12-19 21:09:30 +03:00
|
|
|
, Rendering.DOT
|
2018-01-23 22:21:42 +03:00
|
|
|
, Rendering.Imports
|
2017-11-27 21:30:38 +03:00
|
|
|
, Rendering.JSON
|
|
|
|
, Rendering.Renderer
|
|
|
|
, Rendering.SExpression
|
2018-01-17 23:54:17 +03:00
|
|
|
, Rendering.Symbol
|
2017-11-27 21:30:38 +03:00
|
|
|
, Rendering.TOC
|
2017-11-27 22:28:28 +03:00
|
|
|
-- High-level flow & operational functionality (logging, stats, etc.)
|
2017-04-20 02:33:27 +03:00
|
|
|
, Semantic
|
2017-11-27 19:57:27 +03:00
|
|
|
, Semantic.CLI
|
2017-11-27 21:09:03 +03:00
|
|
|
, Semantic.IO
|
2017-07-29 03:07:48 +03:00
|
|
|
, Semantic.Log
|
2017-10-04 03:22:26 +03:00
|
|
|
, Semantic.Stat
|
2017-05-29 20:11:17 +03:00
|
|
|
, Semantic.Task
|
2017-10-04 19:45:55 +03:00
|
|
|
, Semantic.Queue
|
2017-08-28 19:48:36 +03:00
|
|
|
, Semantic.Util
|
2018-02-28 23:27:51 +03:00
|
|
|
-- Custom Prelude
|
|
|
|
other-modules: Prologue
|
2016-10-06 04:47:47 +03:00
|
|
|
build-depends: base >= 4.8 && < 5
|
|
|
|
, aeson
|
2018-02-07 20:54:15 +03:00
|
|
|
, algebraic-graphs
|
2017-05-19 23:03:44 +03:00
|
|
|
, ansi-terminal
|
2017-02-03 21:32:52 +03:00
|
|
|
, array
|
2017-04-22 01:40:37 +03:00
|
|
|
, async
|
2016-03-18 03:07:28 +03:00
|
|
|
, bifunctors
|
2015-12-15 19:47:52 +03:00
|
|
|
, bytestring
|
2017-08-03 10:22:40 +03:00
|
|
|
, cmark-gfm
|
2016-10-06 04:47:47 +03:00
|
|
|
, comonad
|
2015-11-18 02:03:25 +03:00
|
|
|
, containers
|
2016-02-27 01:56:38 +03:00
|
|
|
, directory
|
2017-04-07 21:44:37 +03:00
|
|
|
, effects
|
2016-02-17 00:09:58 +03:00
|
|
|
, filepath
|
2016-10-06 04:47:47 +03:00
|
|
|
, free
|
2017-02-24 21:28:44 +03:00
|
|
|
, freer-cofreer
|
2017-10-27 02:04:56 +03:00
|
|
|
, ghc-prim
|
2016-10-06 19:03:06 +03:00
|
|
|
, gitrev
|
2017-10-17 19:48:27 +03:00
|
|
|
, Glob
|
2016-06-22 00:24:18 +03:00
|
|
|
, hashable
|
2016-06-24 18:10:18 +03:00
|
|
|
, kdt
|
2017-02-03 23:27:37 +03:00
|
|
|
, mersenne-random-pure64
|
2016-10-06 04:47:47 +03:00
|
|
|
, mtl
|
2017-10-04 06:38:36 +03:00
|
|
|
, network
|
2017-10-04 19:34:44 +03:00
|
|
|
, network-uri
|
2016-10-06 04:47:47 +03:00
|
|
|
, optparse-applicative
|
2017-04-04 17:57:18 +03:00
|
|
|
, parallel
|
2017-08-06 18:21:35 +03:00
|
|
|
, parsers
|
2016-10-06 04:47:47 +03:00
|
|
|
, recursion-schemes
|
2018-03-07 19:27:17 +03:00
|
|
|
, reducers
|
2016-04-15 19:20:27 +03:00
|
|
|
, semigroups
|
2017-04-03 22:26:28 +03:00
|
|
|
, split
|
2017-07-21 19:13:50 +03:00
|
|
|
, stm-chans
|
2017-04-11 18:50:59 +03:00
|
|
|
, template-haskell
|
2015-12-15 19:47:52 +03:00
|
|
|
, text >= 1.2.1.3
|
2016-04-15 05:00:00 +03:00
|
|
|
, these
|
2017-07-23 21:12:13 +03:00
|
|
|
, time
|
2017-07-31 18:56:17 +03:00
|
|
|
, unix
|
2017-01-31 01:03:22 +03:00
|
|
|
, haskell-tree-sitter
|
2017-08-11 15:03:27 +03:00
|
|
|
, tree-sitter-go
|
2017-08-11 15:03:55 +03:00
|
|
|
, tree-sitter-json
|
2017-12-15 22:14:08 +03:00
|
|
|
, tree-sitter-php
|
2017-08-11 15:06:08 +03:00
|
|
|
, tree-sitter-python
|
2017-08-11 15:06:37 +03:00
|
|
|
, tree-sitter-ruby
|
2017-08-11 15:07:03 +03:00
|
|
|
, tree-sitter-typescript
|
2015-11-18 01:44:16 +03:00
|
|
|
default-language: Haskell2010
|
2018-02-27 20:04:05 +03:00
|
|
|
default-extensions: DeriveFoldable
|
|
|
|
, DeriveFunctor
|
|
|
|
, DeriveGeneric
|
|
|
|
, DeriveTraversable
|
|
|
|
, FlexibleContexts
|
|
|
|
, FlexibleInstances
|
|
|
|
, OverloadedStrings
|
|
|
|
, RecordWildCards
|
|
|
|
, StrictData
|
2017-06-15 19:00:01 +03:00
|
|
|
ghc-options: -Wall -fno-warn-name-shadowing -O -j
|
|
|
|
ghc-prof-options: -fprof-auto
|
2015-11-18 01:44:16 +03:00
|
|
|
|
2017-04-03 19:28:53 +03:00
|
|
|
executable semantic
|
2016-10-06 02:17:46 +03:00
|
|
|
hs-source-dirs: app
|
|
|
|
main-is: Main.hs
|
2017-06-15 19:00:01 +03:00
|
|
|
ghc-options: -threaded -rtsopts "-with-rtsopts=-N -A4m -n2m" -static -j -O
|
2016-10-06 02:17:46 +03:00
|
|
|
cc-options: -DU_STATIC_IMPLEMENTATION=1
|
|
|
|
cpp-options: -DU_STATIC_IMPLEMENTATION=1
|
|
|
|
build-depends: base
|
2018-02-26 21:16:56 +03:00
|
|
|
, semantic
|
2016-10-06 02:17:46 +03:00
|
|
|
default-language: Haskell2010
|
2017-07-28 21:37:02 +03:00
|
|
|
default-extensions: FlexibleInstances, OverloadedStrings, RecordWildCards
|
2016-10-06 02:17:46 +03:00
|
|
|
|
2016-09-15 00:12:06 +03:00
|
|
|
test-suite test
|
2015-11-18 01:44:16 +03:00
|
|
|
type: exitcode-stdio-1.0
|
|
|
|
hs-source-dirs: test
|
|
|
|
main-is: Spec.hs
|
2017-11-27 21:47:04 +03:00
|
|
|
other-modules: Assigning.Assignment.Spec
|
2017-11-27 21:59:44 +03:00
|
|
|
, Data.Diff.Spec
|
2017-11-30 18:24:48 +03:00
|
|
|
, Data.Functor.Classes.Generic.Spec
|
2017-09-09 16:44:57 +03:00
|
|
|
, Data.Functor.Listable
|
2016-07-26 10:56:52 +03:00
|
|
|
, Data.Mergeable.Spec
|
2017-11-27 21:49:52 +03:00
|
|
|
, Data.Source.Spec
|
2017-11-27 22:02:03 +03:00
|
|
|
, Data.Term.Spec
|
2017-11-27 21:48:43 +03:00
|
|
|
, Diffing.Algorithm.RWS.Spec
|
2017-11-27 21:51:05 +03:00
|
|
|
, Diffing.Algorithm.SES.Spec
|
2017-11-27 22:03:45 +03:00
|
|
|
, Diffing.Interpreter.Spec
|
2017-11-27 22:06:12 +03:00
|
|
|
, Integration.Spec
|
2018-02-07 23:20:41 +03:00
|
|
|
, Rendering.Imports.Spec
|
2017-11-27 22:04:58 +03:00
|
|
|
, Rendering.TOC.Spec
|
2017-11-27 22:00:53 +03:00
|
|
|
, Semantic.Spec
|
2017-11-27 21:57:25 +03:00
|
|
|
, Semantic.CLI.Spec
|
2017-11-27 21:52:48 +03:00
|
|
|
, Semantic.IO.Spec
|
2017-11-27 21:58:23 +03:00
|
|
|
, Semantic.Stat.Spec
|
2017-04-19 19:12:19 +03:00
|
|
|
, SpecHelpers
|
2017-01-06 00:41:23 +03:00
|
|
|
, Test.Hspec.LeanCheck
|
2017-02-23 07:05:20 +03:00
|
|
|
build-depends: aeson
|
|
|
|
, array
|
2017-02-03 23:57:05 +03:00
|
|
|
, base
|
2016-03-22 01:53:57 +03:00
|
|
|
, bifunctors
|
2017-03-09 00:56:08 +03:00
|
|
|
, bytestring
|
2017-07-28 21:37:02 +03:00
|
|
|
, comonad
|
2017-09-26 02:08:55 +03:00
|
|
|
, effects
|
2016-02-17 00:38:31 +03:00
|
|
|
, filepath
|
2017-07-28 21:37:02 +03:00
|
|
|
, free
|
2016-02-17 00:38:31 +03:00
|
|
|
, Glob
|
2017-04-18 18:06:24 +03:00
|
|
|
, haskell-tree-sitter
|
2017-02-17 19:27:51 +03:00
|
|
|
, hspec >= 2.4.1
|
2017-01-08 07:16:27 +03:00
|
|
|
, hspec-core
|
2016-10-06 04:47:47 +03:00
|
|
|
, hspec-expectations-pretty-diff
|
2017-02-14 17:57:21 +03:00
|
|
|
, HUnit
|
2017-01-08 07:16:27 +03:00
|
|
|
, leancheck
|
2016-05-21 07:07:35 +03:00
|
|
|
, mtl
|
2017-10-04 21:40:39 +03:00
|
|
|
, network
|
2017-02-25 03:46:22 +03:00
|
|
|
, containers
|
2016-08-05 03:42:39 +03:00
|
|
|
, recursion-schemes >= 4.1
|
2018-02-26 21:16:56 +03:00
|
|
|
, semantic
|
2015-12-15 22:53:03 +03:00
|
|
|
, text >= 1.2.1.3
|
2016-04-15 05:00:00 +03:00
|
|
|
, these
|
2017-06-15 00:35:50 +03:00
|
|
|
ghc-options: -threaded -rtsopts -with-rtsopts=-N -j
|
2015-11-18 01:44:16 +03:00
|
|
|
default-language: Haskell2010
|
2017-07-28 21:37:02 +03:00
|
|
|
default-extensions: DeriveFunctor, DeriveGeneric, FlexibleContexts, FlexibleInstances, OverloadedStrings, RecordWildCards
|
2015-11-18 01:44:16 +03:00
|
|
|
|
|
|
|
source-repository head
|
|
|
|
type: git
|
2018-02-26 21:16:56 +03:00
|
|
|
location: https://github.com/github/semantic
|