github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 21:31:48 +03:00
Code Issues Projects Releases Wiki Activity
a83b6ea10a
semantic/semantic.cabal

412 lines
17 KiB
Plaintext
Raw Normal View History

Require Cabal 2.4.
2019-06-13 21:20:22 +03:00
cabal-version: 2.4
Make the different cabal files line up.
2019-06-11 18:25:11 +03:00
Rename semantic-diff to semantic
2018-02-26 21:16:56 +03:00
name: semantic
Release semantic-0.8.0.0. This is a major version bump because the CLI interface changed with #283.
2019-09-30 23:54:39 +03:00
version: 0.8.0.0
Fixes for build time.
2019-06-10 22:03:47 +03:00
synopsis: Framework and executable for analyzing and diffing untrusted code.
description: Semantic is a library for parsing, analyzing, and comparing source code across many languages.
🤠 fix the repo URL in the cabal file.
2019-06-03 19:39:04 +03:00
homepage: http://github.com/github/semantic#readme
Add bug-reports fields.
2019-06-11 18:23:38 +03:00
bug-reports: https://github.com/github/semantic/issues
Add license and maintainer to cabal file
2019-03-21 15:52:18 +03:00
license: MIT
license-file: LICENSE
Make the different cabal files line up.
2019-06-11 18:25:11 +03:00
author: The Semantic authors
maintainer: opensource+semantic@github.com
Fix a disagreement between the LICENSE file and Copyright field.
2019-06-11 18:12:58 +03:00
copyright: (c) 2015-2019 GitHub, Inc.
Change the category for semantic to Language.
2019-06-11 18:25:34 +03:00
category: Language
Use the simple build type.
2017-07-23 17:34:30 +03:00
build-type: Simple
Factor out common libraries.
2019-02-19 22:20:33 +03:00
stability: alpha
Add extra-source-files to semantic.
2019-06-11 18:25:56 +03:00
extra-source-files: README.md
I mean, sure.
2015-11-18 01:44:16 +03:00
Specify version bounds in .cabal file (#1) Establish library bounds based on Stackage LTS 13.13. We use the new cabal `^>=` operator to establish PVP-compatible versioning.
2019-04-03 16:12:49 +03:00
tested-with: GHC == 8.6.4
Make builds run at -O0 by default, except for CI/deploy. It's always been easy to forget the `--fast` flag. With the introduction of `semanticd`, forgetting that carries a significant speed hit, as GHC optimizes the resulting executable very thoroughly, which entails a significant uptick in time spent building. For our collective sanity's sake, this patch makes `stack build` operate without optimizations. CI and deploy jobs pass `--flag semantic:release` to `stack`, which specifies the `-O2` level of optimizations. Timing `stack clean && stack build` (which rebuilds the tree-sitter packages) went from 6m17s to 3m04s on my machine. When building just `semantic` by itself, standard builds take 1m06s, whereas builds with `--flag semantic:release` take 4m12s. (GHC does a lot of optimizations!)
2018-05-23 00:18:03 +03:00
flag release
description: Build with optimizations on (for CI or deployment builds)
default: False
Factor out common GHC extensions.
2019-02-19 21:54:14 +03:00
-- GHC extensions shared between targets
common haskell
default-language: Haskell2010
default-extensions: DataKinds
, DeriveFoldable
, DeriveFunctor
, DeriveGeneric
, DeriveTraversable
, FlexibleContexts
, FlexibleInstances
, MonadFailDesugaring
, MultiParamTypeClasses
, OverloadedStrings
, RecordWildCards
, StandaloneDeriving
, StrictData
, TypeApplications
Specify version bounds in .cabal file (#1) Establish library bounds based on Stackage LTS 13.13. We use the new cabal `^>=` operator to establish PVP-compatible versioning.
2019-04-03 16:12:49 +03:00
-- Except in case of vendored dependencies, these deps should be expressed
-- as caret-operator bounds relative to a version in Stackage.
-- These are currently pinned to lts-13.13.
Factor out common libraries.
2019-02-19 22:20:33 +03:00
common dependencies
Bump minimum `base` version to 4.12.0.0. This should hopefully provide a more informative error message when someone attempts to build the project with too old of a GHC.
2019-06-05 17:38:51 +03:00
build-depends: base >= 4.12 && < 5
Specify version bounds in .cabal file (#1) Establish library bounds based on Stackage LTS 13.13. We use the new cabal `^>=` operator to establish PVP-compatible versioning.
2019-04-03 16:12:49 +03:00
, aeson ^>= 1.4.2.0
, algebraic-graphs ^>= 0.3
, async ^>= 2.2.1
, bifunctors ^>= 5.5
, bytestring ^>= 0.10.8.2
, containers ^>= 0.6.0.1
, directory ^>= 1.3.3.0
Fix travis invocation and add more bounds.
2019-06-11 18:00:17 +03:00
, fastsum ^>= 0.1.1.0
WIP
2019-07-06 17:52:38 +03:00
, fused-effects ^>= 0.5.0.0
, fused-effects-exceptions ^>= 0.2.0.0
Specify version bounds in .cabal file (#1) Establish library bounds based on Stackage LTS 13.13. We use the new cabal `^>=` operator to establish PVP-compatible versioning.
2019-04-03 16:12:49 +03:00
, hashable ^>= 1.2.7.0
Bump the constraints on tree-sitter{,-java,-python}.
2019-10-07 21:07:44 +03:00
, tree-sitter ^>= 0.5
Specify version bounds in .cabal file (#1) Establish library bounds based on Stackage LTS 13.13. We use the new cabal `^>=` operator to establish PVP-compatible versioning.
2019-04-03 16:12:49 +03:00
, mtl ^>= 2.2.2
, network ^>= 2.8.0.0
Add pathtype as a dependency.
2019-09-20 01:50:31 +03:00
, pathtype ^>= 0.8.1
Fix travis invocation and add more bounds.
2019-06-11 18:00:17 +03:00
, process ^>= 1.6.3.0
Specify version bounds in .cabal file (#1) Establish library bounds based on Stackage LTS 13.13. We use the new cabal `^>=` operator to establish PVP-compatible versioning.
2019-04-03 16:12:49 +03:00
, recursion-schemes ^>= 5.1
, scientific ^>= 0.3.6.2
Fix travis invocation and add more bounds.
2019-06-11 18:00:17 +03:00
, safe-exceptions ^>= 0.1.7.0
Depend on semantic-source.
2019-09-20 21:27:59 +03:00
, semantic-source ^>= 0.0
Fix travis invocation and add more bounds.
2019-06-11 18:00:17 +03:00
, semilattices ^>= 0.0.0.3
Initial port from machines to streaming.
2019-06-20 09:29:43 +03:00
, streaming ^>= 0.2.2.0
Overhaul catFile.
2019-10-04 19:39:13 +03:00
, streaming-bytestring ^>= 0.1.6
Specify version bounds in .cabal file (#1) Establish library bounds based on Stackage LTS 13.13. We use the new cabal `^>=` operator to establish PVP-compatible versioning.
2019-04-03 16:12:49 +03:00
, text ^>= 1.2.3.1
, unix ^>= 2.7.2.2
PVP lingo dep.
2019-10-18 17:53:15 +03:00
, lingo ^>= 0.3.0.0
Factor out common libraries.
2019-02-19 22:20:33 +03:00
Factor out common executable flags
2019-02-19 22:31:16 +03:00
common executable-flags
ghc-options: -threaded -rtsopts "-with-rtsopts=-N -A4m -n2m"
Enable GHC warnings in tests
2019-06-14 16:35:18 +03:00
common ghc-warnings
ghc-options: -Wall -Wmissing-export-lists -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints -Wno-name-shadowing
I mean, sure.
2015-11-18 01:44:16 +03:00
library
Enable GHC warnings in tests
2019-06-14 16:35:18 +03:00
import: haskell, dependencies, ghc-warnings
I mean, sure.
2015-11-18 01:44:16 +03:00
hs-source-dirs: src
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
exposed-modules:
Rename Decorating to Analysis.
2017-11-27 22:32:13 +03:00
-- Analyses & term annotations
Duplicate the flow-sensitive caching module.
2018-09-18 17:27:47 +03:00
Analysis.Abstract.Caching.FlowInsensitive
, Analysis.Abstract.Caching.FlowSensitive
Move evCollect & evRoots into their own module.
2017-12-01 03:35:35 +03:00
, Analysis.Abstract.Collecting
Rename Abstract.Interpreter.Dead to Analysis.Abstract.Dead.
2017-12-01 02:49:19 +03:00
, Analysis.Abstract.Dead
Separate import graphs into call graph and import graph analyses
2018-05-02 01:10:25 +03:00
, Analysis.Abstract.Graph
Rename Abstract.Interpreter.Tracing to Analysis.Abstract.Tracing.
2017-12-01 02:57:56 +03:00
, Analysis.Abstract.Tracing
Merge branch 'master' into integrate-abstract-interpretation
2017-12-01 01:16:26 +03:00
, Analysis.ConstructorName
Move the cyclomatic complexity analysis into its own module.
2017-11-27 22:52:27 +03:00
, Analysis.CyclomaticComplexity
Streamline the declarations for toc summaries
2018-11-08 19:33:26 +03:00
, Analysis.TOCSummary
Move HasTextElement
2018-11-02 00:49:35 +03:00
, Analysis.Decorator
, Analysis.HasTextElement
Fix up pulling out go package name for import rendering
2018-03-26 22:02:27 +03:00
, Analysis.PackageDef
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
-- Semantic assignment
Rename Decorating to Analysis.
2017-11-27 22:32:13 +03:00
, Assigning.Assignment
Rename Data.Syntax.Assignment to Assigning.Assignment.
2017-11-27 21:19:20 +03:00
, Assigning.Assignment.Table
Rename Analysis.Abstract.Evaluator to Control.Abstract.Evaluator.
2018-03-01 19:46:32 +03:00
-- Control structures & interfaces for abstract interpretation
Provide a module re-exporting all the various abstract interpretation machinery.
2018-05-07 18:51:56 +03:00
, Control.Abstract
Move currentModule/currentPackage into their own module.
2018-05-07 19:14:14 +03:00
, Control.Abstract.Context
Rename Analysis.Abstract.Evaluator to Control.Abstract.Evaluator.
2018-03-01 19:46:32 +03:00
, Control.Abstract.Evaluator
Move the Heap accessors into their own module.
2018-05-07 18:49:59 +03:00
, Control.Abstract.Heap
Add a module for holes.
2018-05-28 22:09:10 +03:00
, Control.Abstract.Hole
Rename Control.Abstract.ModuleTable to Control.Abstract.Modules.
2018-05-08 23:59:25 +03:00
, Control.Abstract.Modules
Stub in a module for primitives.
2018-05-18 17:11:19 +03:00
, Control.Abstract.Primitive
Merge remote-tracking branch 'origin/master' into entry-points
2018-08-02 01:18:33 +03:00
, Control.Abstract.PythonPackage
Move the roots functionality into its own module.
2018-05-07 18:58:30 +03:00
, Control.Abstract.Roots
Don't parameterize scopes by name
2018-09-11 01:50:40 +03:00
, Control.Abstract.ScopeGraph
Rename MonadFunction to MonadValue.
2018-03-02 22:45:56 +03:00
, Control.Abstract.Value
Rename Semantic.Parse to Control.Carrier.Parse.Measured.
2019-09-30 23:32:50 +03:00
-- Carriers
, Control.Carrier.Parse.Measured
Duplicate the parse carrier.
2019-09-30 23:34:21 +03:00
, Control.Carrier.Parse.Simple
Update to fused-effects, replace \/ with handleSum and bundle Interpose.
2018-10-29 16:52:48 +03:00
-- Effects
, Control.Effect.Interpose
Stub in a module for the Parse effect.
2019-09-30 23:25:35 +03:00
, Control.Effect.Parse
Extract the REPL effect into its own module. I need this for the refactoring OKR.
2018-10-30 21:55:23 +03:00
, Control.Effect.REPL
port over Control.Rewriting
2018-09-14 19:47:21 +03:00
, Control.Rewriting
Give separate headings for general Data.* and Data.Abstract.*.
2018-03-01 19:47:21 +03:00
-- Datatypes for abstract interpretation
Stub in a module for the Hole address type.
2018-08-13 16:35:37 +03:00
, Data.Abstract.Address.Hole
Add modules for the address types.
2018-08-10 20:31:55 +03:00
, Data.Abstract.Address.Monovariant
, Data.Abstract.Address.Precise
Rename ErrorContext -> BaseError
2018-08-08 02:50:55 +03:00
, Data.Abstract.BaseError
Rename Quietly to BadSyntax.
2018-04-25 22:44:44 +03:00
, Data.Abstract.Declarations
Rename Control.Monad.Effect.Evaluatable to Data.Abstract.Evaluatable.
2018-03-01 19:54:05 +03:00
, Data.Abstract.Evaluatable
Rename Abstract.FreeVariables to Data.Abstract.FreeVariables.
2017-12-01 02:02:14 +03:00
, Data.Abstract.FreeVariables
Update remaining
2019-01-15 23:27:09 +03:00
, Data.Abstract.AccessControls.Class
, Data.Abstract.AccessControls.Instances
Rename Store to Heap.
2018-03-15 03:42:59 +03:00
, Data.Abstract.Heap
Add a module for a live set.
2017-12-01 21:57:15 +03:00
, Data.Abstract.Live
Stub in a Data.Abstract.Module module.
2018-03-22 00:59:16 +03:00
, Data.Abstract.Module
Rename the Linker type/module to ModuleTable. During my recent pairing with @robrix, we agreed that the name of Linker was inaccurate—it doesn't link anything, it just keeps track of past modules. This renames it and its module.
2018-03-06 22:17:32 +03:00
, Data.Abstract.ModuleTable
Stub in a module for names.
2018-05-18 19:43:28 +03:00
, Data.Abstract.Name
Address Rob's changes.
2018-03-14 17:36:56 +03:00
, Data.Abstract.Number
Stub in a module for a package abstraction.
2018-03-30 18:34:42 +03:00
, Data.Abstract.Package
Add a specific Data.Abstract.Path with path/module name helpers
2018-03-16 19:27:08 +03:00
, Data.Abstract.Path
Add ScopeGraph
2018-08-29 20:47:44 +03:00
, Data.Abstract.ScopeGraph
Stub in a module for abstract value semantics.
2018-07-04 16:21:51 +03:00
, Data.Abstract.Value.Abstract
Rename Data.Abstract.Value to Data.Abstract.Value.Concrete.
2018-07-03 21:22:26 +03:00
, Data.Abstract.Value.Concrete
Move Data.Abstract.Type to Data.Abstract.Value.Type.
2018-07-04 17:46:13 +03:00
, Data.Abstract.Value.Type
Give separate headings for general Data.* and Data.Abstract.*.
2018-03-01 19:47:21 +03:00
-- General datatype definitions & generic algorithms
Move the algebras into their own module.
2017-11-27 22:36:20 +03:00
, Data.Algebra
Move the Node datatype & AST synonym into Data.AST.
2017-11-27 21:45:37 +03:00
, Data.AST
Stub in a Blob module.
2017-06-24 17:00:40 +03:00
, Data.Blob
absolutely massive patch that touches everything
2019-05-22 05:05:23 +03:00
, Data.Blob.IO
Rename the Diff module to Data.Diff.
2017-09-27 19:41:41 +03:00
, Data.Diff
Docs and sort out a common Duration datatype
2018-09-14 00:51:32 +03:00
, Data.Duration
Rename Data.Patch to Data.Edit.
2019-10-18 05:43:03 +03:00
, Data.Edit
Stub in a module for Errors.
2017-08-06 19:29:28 +03:00
, Data.Error
Eliminate boolean blindness with tagged flags a la olegfi.
2019-03-22 23:25:04 +03:00
, Data.Flag
Stub in a module to hold all the generic Data.Functor.Classes implementations.
2017-11-30 18:14:21 +03:00
, Data.Functor.Classes.Generic
Stub in a module for graphs.
2018-05-11 19:04:26 +03:00
, Data.Graph
Rework control flow graph data types
2018-09-07 01:12:12 +03:00
, Data.Graph.ControlFlowVertex
Split up Semantic.IO. This looks like a big patch, but it's very straightforward: no behavior has changed. After the umpteenth time spent hitting a compile error because I passed a `FilePath` rather than a `File` to `readBlobFromPath`, I decided to finally make the needed refactors to Semantic.IO, and to split off the `File` type and `Files` effect. This patch: * adds the `MonadIO` class to `Prologue`'s export list * moves `File` into `Data.File` * moves `Handle` into `Data.Handle` * moves `Files` into `Semantic.Task.Files` * moves functions for reading blobs into `Data.Blob` * keeps general IO helpers in Semantic.IO * renames `readFile` to `readBlobFromFile` * renames `readBlobFromPath` to `readBlobFromFile'` This should have a positive effect on compile times and ease of navigation throughout the codebase.
2018-10-23 22:28:21 +03:00
, Data.Handle
move some code around + ensure we can enforce History invariants
2018-08-02 20:03:55 +03:00
, Data.History
Move ImportPath to Data.ImportPath
2018-11-17 00:09:11 +03:00
, Data.ImportPath
Define a module for JSONFields.
2017-09-09 19:15:22 +03:00
, Data.JSON.Fields
Rename Language to Data.Language.
2017-11-27 22:17:48 +03:00
, Data.Language
Stub in a Monoidal map module.
2018-03-07 20:22:52 +03:00
, Data.Map.Monoidal
s/File/Project b/c that makes more sense to me
2018-05-16 18:38:00 +03:00
, Data.Project
Stub in a module for Quieterm. Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
2018-08-01 22:06:26 +03:00
, Data.Quieterm
Stub in an AppMerge semigroup.
2018-03-21 23:40:56 +03:00
, Data.Semigroup.App
Standardize and fix floating-point parsing. The existence of #1705 showed me that it's time to remove the bandaid of a fix that was `normalizeFloatString` in #1537. This patch introduces a proper Attoparsec parser for Scientific values that handles the vaguaries of cross-language floating-point syntax. We already depended on Attoparsec indirectly, so adding it as an explicit dependency is fine. A unit test is included, with examples taken from the tree-sitter corpora.
2018-04-04 00:02:56 +03:00
, Data.Scientific.Exts
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
-- À la carte syntax types
Stub in a module for à la carte Syntax.
2017-03-26 19:02:40 +03:00
, Data.Syntax
Stub in a module for comment syntax.
2017-03-26 22:34:44 +03:00
, Data.Syntax.Comment
Stub in a module for declarations.
2017-03-27 00:31:10 +03:00
, Data.Syntax.Declaration
Introduce place to put all these directives
2018-04-26 23:43:49 +03:00
, Data.Syntax.Directive
Stub in a module for expression syntax.
2017-03-29 22:47:12 +03:00
, Data.Syntax.Expression
Stub in a module to hold types for literal syntax, e.g. array/string/object/hash/symbol/number literals.
2017-03-26 22:30:33 +03:00
, Data.Syntax.Literal
Stub in a module for declarations.
2017-03-27 00:31:50 +03:00
, Data.Syntax.Statement
Stub in a module for type syntax.
2017-03-29 23:23:02 +03:00
, Data.Syntax.Type
Rename the Term module to Data.Term.
2017-09-27 19:37:37 +03:00
, Data.Term
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
-- Diffing algorithms & interpretation thereof
Rename Algorithm -> Diffing.Algorithm.
2017-11-27 19:41:50 +03:00
, Diffing.Algorithm
Rename RWS to Diffing.Algorithm.RWS.
2017-11-27 19:51:39 +03:00
, Diffing.Algorithm.RWS
, Diffing.Algorithm.RWS.FeatureVector
Rename SES to Diffing.Algorithm.SES.
2017-11-27 19:48:39 +03:00
, Diffing.Algorithm.SES
Rename Interpreter to Diffing.Interpreter.
2017-11-27 19:45:08 +03:00
, Diffing.Interpreter
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
-- Language-specific grammar/syntax types, & assignments
Update Markdown
2017-10-11 01:24:25 +03:00
, Language.Markdown.Assignment
Stub in a module for Markdown assignment.
2017-06-07 23:18:49 +03:00
, Language.Markdown.Syntax
Port everything over to Markdown.Term.
2019-10-19 00:29:25 +03:00
, Language.Markdown.Term
Update Go.Syntax -> Go.Assignment
2017-10-11 20:12:32 +03:00
, Language.Go.Assignment
Add a go syntax module & grammar datatype.
2017-04-12 17:53:04 +03:00
, Language.Go.Syntax
Port everything over to Go.Term.
2019-10-19 00:24:04 +03:00
, Language.Go.Term
Add Language.Go.Type module
2017-11-21 23:48:29 +03:00
, Language.Go.Type
Update Ruby
2017-10-11 01:36:09 +03:00
, Language.Ruby.Assignment
Put this back in order
2018-08-28 19:12:44 +03:00
, Language.Ruby.Syntax
Port everything over to Ruby.Term.
2019-10-19 00:33:26 +03:00
, Language.Ruby.Term
Move jsxElements out of TypeScript grammar Also removes typeAssertion from TSX grammar
2019-06-06 23:37:29 +03:00
, Language.TSX.Assignment
, Language.TSX.Syntax
, Language.TSX.Syntax.JSX
Extract TSX.Syntax into a new module.
2019-10-18 23:04:04 +03:00
, Language.TSX.Term
Update TypeScript
2017-10-11 01:55:42 +03:00
, Language.TypeScript.Assignment
add Syntax.JSX and Resolution
2018-07-20 00:05:44 +03:00
, Language.TypeScript.Resolution
Add a typescript syntax module & grammar datatype.
2017-04-12 17:51:31 +03:00
, Language.TypeScript.Syntax
Split up typescript grammar even more
2018-10-18 20:50:07 +03:00
, Language.TypeScript.Syntax.Import
Make L.TS.Syntax an exports-only module.
2018-07-20 00:23:44 +03:00
, Language.TypeScript.Syntax.JavaScript
, Language.TypeScript.Syntax.TypeScript
Split up typescript grammar even more
2018-10-18 20:50:07 +03:00
, Language.TypeScript.Syntax.Types
Bring in a TypeScript term type.
2019-10-18 23:57:37 +03:00
, Language.TypeScript.Term
Add php modules to project
2017-12-15 22:14:08 +03:00
, Language.PHP.Assignment
, Language.PHP.Syntax
Port everything over to PHP.Term.
2019-10-19 00:12:02 +03:00
, Language.PHP.Term
Update Python
2017-10-11 01:26:29 +03:00
, Language.Python.Assignment
Add languages/python
2017-05-12 02:45:05 +03:00
, Language.Python.Syntax
Port everything over to Python.Term.
2019-10-19 00:19:52 +03:00
, Language.Python.Term
Use a hand-written integer parser. Rather than relying on the `Read` instance for `Integer`, let's make our assumptions about the format explicit. This was mostly a matter of extracting internal functions from the `Scientific` parser.
2018-06-25 18:55:32 +03:00
, Numeric.Exts
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
-- Parser glue
Rename Parser to Parsing.Parser.
2017-11-27 21:24:45 +03:00
, Parsing.CMark
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
, Parsing.Parser
Rename Parser to Parsing.Parser.
2017-11-27 21:24:45 +03:00
, Parsing.TreeSitter
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
-- Rendering formats
Rename Rendering.DOT to Rendering.Graph.
2018-05-11 19:57:20 +03:00
, Rendering.Graph
Rename Renderer to Rendering.Renderer.
2017-11-27 21:30:38 +03:00
, Rendering.JSON
, Rendering.TOC
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
-- High-level flow & operational functionality (logging, stats, etc.)
Define a high-level Semantic.Analysis module.
2018-10-26 04:31:38 +03:00
, Semantic.Analysis
Factor back in the toc summary endpoint, now supported in twirp too
2019-01-18 01:00:13 +03:00
-- API
First pass at switching from proto3 to proto-lens
2019-09-28 02:42:12 +03:00
, Proto.Semantic
, Proto.Semantic_Fields
Try out manually defining json instances
2019-10-01 20:43:37 +03:00
, Proto.Semantic_JSON
Merge remote-tracking branch 'origin/indexer-prototype' into deploy-to-moda
2019-02-20 22:23:18 +03:00
, Semantic.Api
Rename Helpers to Bridge.
2019-03-01 23:27:13 +03:00
, Semantic.Api.Bridge
Move Git functionality into semantic
2019-04-12 21:40:03 +03:00
, Semantic.Api.Diffs
Merge remote-tracking branch 'origin/indexer-prototype' into deploy-to-moda
2019-02-20 22:23:18 +03:00
, Semantic.Api.LegacyTypes
, Semantic.Api.Symbols
, Semantic.Api.Terms
, Semantic.Api.TOCSummaries
Rename SemanticCmdLine to Semantic.CLI.
2017-11-27 19:57:27 +03:00
, Semantic.CLI
Start to extract common configuration
2018-06-08 20:48:38 +03:00
, Semantic.Config
Sort the modules.
2018-04-04 18:23:21 +03:00
, Semantic.Distribute
Pull port and host from environment
2018-06-07 02:17:44 +03:00
, Semantic.Env
Move Git functionality into semantic
2019-04-12 21:40:03 +03:00
, Semantic.Git
Move to Graph.hs
2018-04-09 20:57:12 +03:00
, Semantic.Graph
Rename Files to Semantic.IO.
2017-11-27 21:09:03 +03:00
, Semantic.IO
Ability to get nodejs resolution info out of package.json files
2018-05-04 02:14:54 +03:00
, Semantic.Resolution
Stub in a module for Task.
2017-05-29 20:11:17 +03:00
, Semantic.Task
Split up Semantic.IO. This looks like a big patch, but it's very straightforward: no behavior has changed. After the umpteenth time spent hitting a compile error because I passed a `FilePath` rather than a `File` to `readBlobFromPath`, I decided to finally make the needed refactors to Semantic.IO, and to split off the `File` type and `Files` effect. This patch: * adds the `MonadIO` class to `Prologue`'s export list * moves `File` into `Data.File` * moves `Handle` into `Data.Handle` * moves `Files` into `Semantic.Task.Files` * moves functions for reading blobs into `Data.Blob` * keeps general IO helpers in Semantic.IO * renames `readFile` to `readBlobFromFile` * renames `readBlobFromPath` to `readBlobFromFile'` This should have a positive effect on compile times and ease of navigation throughout the codebase.
2018-10-23 22:28:21 +03:00
, Semantic.Task.Files
Move the Telemetry effect into its own module.
2018-04-04 18:23:32 +03:00
, Semantic.Telemetry
Re-order
2018-06-14 02:39:13 +03:00
, Semantic.Telemetry.AsyncQueue
Make error reporter API generic Instead of hard-coding the HTTP API we use for uploading errors to our internal service, let the user provide an arbitrary function (in the IO monad) for uploading them. The default config will create an error reporter that logs errors to the console, just like happened before if you didn't set the `HAYSTACK_URL` environment variable.
2019-04-03 22:12:36 +03:00
, Semantic.Telemetry.Error
Re-order
2018-06-14 02:39:13 +03:00
, Semantic.Telemetry.Log
, Semantic.Telemetry.Stat
Timeout effect
2018-09-14 00:20:42 +03:00
, Semantic.Timeout
Merge remote-tracking branch 'origin/master' into typescript-assignment
2017-08-28 19:48:36 +03:00
, Semantic.Util
Prevent slowdowns when pretty-printing in ghci. Right now, when opening a shell with `script/ghci`, you can encounter a tremendous slowdown by turning on pretty-printing (with `pretty`) then printing any value (`[0..3]` should work). This stems from the fact that our `.ghci` specifies the `prettyShow` function, defined in Semantic.Util, as its `-interactive-print` function. While this is a good choice of a pretty-printer, the fact that it is in Util, a file which imports many modules and uses fancy types, is not good: pretty-printing cannot begin until Util is recompiled and linked in. This explains why benchmarking this slowdown revealed nothing but `dlsym` calls: we thought it was due to linking in the tree-sitter libraries, but it was actually waiting for Util to compile and link in. The fix is simple: define `prettyShow` in another module. This should provide significant speedups to our developer workflow.
2018-10-04 21:38:36 +03:00
, Semantic.Util.Pretty
Attempt to have buildVersion in it's own file
2018-06-14 02:39:01 +03:00
, Semantic.Version
Stub in a module for serialization formats.
2018-05-11 20:27:09 +03:00
-- Serialization
, Serializing.Format
Stub in a module for serializing to s-expressions.
2018-05-11 21:41:10 +03:00
, Serializing.SExpression
Stub in a module for generic s-expression serialization of precise ASTs.
2019-06-19 20:24:12 +03:00
, Serializing.SExpression.Precise
Introduce Taggable
2018-10-31 18:34:38 +03:00
, Tags.Taggable
Some renaming, split out into two modules
2018-10-31 20:58:00 +03:00
, Tags.Tagging
Stub in a module for serialization formats.
2018-05-11 20:27:09 +03:00
-- Custom Prelude
More sophisticated health server
2018-05-23 21:04:15 +03:00
, Prologue
Fixes for build time.
2019-06-10 22:03:47 +03:00
autogen-modules: Paths_semantic
other-modules: Paths_semantic
Bump minimum `base` version to 4.12.0.0. This should hopefully provide a more informative error message when someone attempts to build the project with too old of a GHC.
2019-06-05 17:38:51 +03:00
build-depends: base >= 4.12 && < 5
Overhaul test harnesses and add tasty bounds.
2019-06-12 18:30:20 +03:00
, ansi-terminal >= 0.8.2 && <1
Specify version bounds in .cabal file (#1) Establish library bounds based on Stackage LTS 13.13. We use the new cabal `^>=` operator to establish PVP-compatible versioning.
2019-04-03 16:12:49 +03:00
, array ^>= 0.5.3.0
, attoparsec ^>= 0.13.2.2
, cmark-gfm == 0.1.8
, deepseq ^>= 1.4.4.0
, directory-tree ^>= 0.12.1
Remove filepath dependency from tests.
2019-09-20 19:26:49 +03:00
, filepath ^>= 1.4.2.1
Specify version bounds in .cabal file (#1) Establish library bounds based on Stackage LTS 13.13. We use the new cabal `^>=` operator to establish PVP-compatible versioning.
2019-04-03 16:12:49 +03:00
, generic-monoid ^>= 0.1.0.0
, ghc-prim ^>= 0.5.3
, gitrev ^>= 1.3.1
, haskeline ^>= 0.7.5.0
, hostname ^>= 1.0
, hscolour ^>= 1.24.4
, kdt ^>= 0.2.4
, lens ^>= 4.17
, mersenne-random-pure64 ^>= 0.2.2.0
, network-uri ^>= 2.6.1.0
, optparse-applicative ^>= 0.14.3.0
, parallel ^>= 3.2.2.0
, parsers ^>= 0.12.9
, prettyprinter ^>= 1.2.1
, pretty-show ^>= 1.9.5
, profunctors ^>= 5.3
Allow up to next major version for proto-lens
2019-10-03 19:09:40 +03:00
, proto-lens ^>= 0.5.1.0
Use tclem/proto-lens-jsonpb
2019-10-02 23:14:16 +03:00
, proto-lens-jsonpb
Allow up to next major version for proto-lens
2019-10-03 19:09:40 +03:00
, proto-lens-runtime ^>= 0.5.0.0
Specify version bounds in .cabal file (#1) Establish library bounds based on Stackage LTS 13.13. We use the new cabal `^>=` operator to establish PVP-compatible versioning.
2019-04-03 16:12:49 +03:00
, reducers ^>= 3.12.3
Make semantic depend on semantic-java.
2019-09-28 01:35:50 +03:00
, semantic-java ^>= 0
Depend on semantic-json.
2019-10-07 17:28:12 +03:00
, semantic-json ^>= 0
Move Language.Python & Language.Python.Tags into semantic-python.
2019-10-03 08:13:41 +03:00
, semantic-python ^>= 0
Depend on semantic-tags.
2019-09-27 17:53:16 +03:00
, semantic-tags ^>= 0
Specify version bounds in .cabal file (#1) Establish library bounds based on Stackage LTS 13.13. We use the new cabal `^>=` operator to establish PVP-compatible versioning.
2019-04-03 16:12:49 +03:00
, semigroupoids ^>= 5.3.2
, split ^>= 0.2.3.3
Remove shelly in favor of streaming-bytestring and utf8-string.
2019-10-07 05:06:18 +03:00
, streaming-attoparsec ^>= 1.0.0.1
Overhaul catFile.
2019-10-04 19:39:13 +03:00
, streaming-process ^>= 0.1
Specify version bounds in .cabal file (#1) Establish library bounds based on Stackage LTS 13.13. We use the new cabal `^>=` operator to establish PVP-compatible versioning.
2019-04-03 16:12:49 +03:00
, stm-chans ^>= 3.0.0.4
, template-haskell ^>= 2.14
, time ^>= 1.8.0.2
Remove shelly in favor of streaming-bytestring and utf8-string.
2019-10-07 05:06:18 +03:00
, utf8-string ^>= 1.0.1.1
Fix travis invocation and add more bounds.
2019-06-11 18:00:17 +03:00
, unliftio-core ^>= 0.1.2.0
Specify version bounds in .cabal file (#1) Establish library bounds based on Stackage LTS 13.13. We use the new cabal `^>=` operator to establish PVP-compatible versioning.
2019-04-03 16:12:49 +03:00
, unordered-containers ^>= 0.2.9.0
, vector ^>= 0.12.0.2
Bump to the latest tree-sitter* packages.
2019-09-27 21:02:49 +03:00
, tree-sitter-go ^>= 0.2
, tree-sitter-php ^>= 0.2
Bump the constraints on tree-sitter{,-java,-python}.
2019-10-07 21:07:44 +03:00
, tree-sitter-python ^>= 0.6
Bump to the latest tree-sitter* packages.
2019-09-27 21:02:49 +03:00
, tree-sitter-ruby ^>= 0.2
, tree-sitter-typescript ^>= 0.2.1
, tree-sitter-tsx ^>= 0.2.1
Make builds run at -O0 by default, except for CI/deploy. It's always been easy to forget the `--fast` flag. With the introduction of `semanticd`, forgetting that carries a significant speed hit, as GHC optimizes the resulting executable very thoroughly, which entails a significant uptick in time spent building. For our collective sanity's sake, this patch makes `stack build` operate without optimizations. CI and deploy jobs pass `--flag semantic:release` to `stack`, which specifies the `-O2` level of optimizations. Timing `stack clean && stack build` (which rebuilds the tree-sitter packages) went from 6m17s to 3m04s on my machine. When building just `semantic` by itself, standard builds take 1m06s, whereas builds with `--flag semantic:release` take 4m12s. (GHC does a lot of optimizations!)
2018-05-23 00:18:03 +03:00
if flag(release)
Move DCOMPUTE_GIT_SHA to cpp-options
2019-02-11 23:08:24 +03:00
cpp-options: -DCOMPUTE_GIT_SHA
I mean, sure.
2015-11-18 01:44:16 +03:00
Change binary name to just 'semantic'
2017-04-03 19:28:53 +03:00
executable semantic
Factor out common executable flags
2019-02-19 22:31:16 +03:00
import: haskell, dependencies, executable-flags
Try out moving project around
2016-10-06 02:17:46 +03:00
hs-source-dirs: app
main-is: Main.hs
Make builds run at -O0 by default, except for CI/deploy. It's always been easy to forget the `--fast` flag. With the introduction of `semanticd`, forgetting that carries a significant speed hit, as GHC optimizes the resulting executable very thoroughly, which entails a significant uptick in time spent building. For our collective sanity's sake, this patch makes `stack build` operate without optimizations. CI and deploy jobs pass `--flag semantic:release` to `stack`, which specifies the `-O2` level of optimizations. Timing `stack clean && stack build` (which rebuilds the tree-sitter packages) went from 6m17s to 3m04s on my machine. When building just `semantic` by itself, standard builds take 1m06s, whereas builds with `--flag semantic:release` take 4m12s. (GHC does a lot of optimizations!)
2018-05-23 00:18:03 +03:00
if flag(release)
Merge remote-tracking branch 'origin/indexer-prototype' into merge-indexer-prototype
2019-02-21 20:22:08 +03:00
cpp-options: -DCOMPUTE_GIT_SHA
Try out moving project around
2016-10-06 02:17:46 +03:00
build-depends: base
Rename semantic-diff to semantic
2018-02-26 21:16:56 +03:00
, semantic
Try out moving project around
2016-10-06 02:17:46 +03:00
Change semantic-diff-test -> test
2016-09-15 00:12:06 +03:00
test-suite test
Enable GHC warnings in tests
2019-06-14 16:35:18 +03:00
import: haskell, dependencies, executable-flags, ghc-warnings
I mean, sure.
2015-11-18 01:44:16 +03:00
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Spec.hs
Sort the test modules.
2018-05-07 21:20:56 +03:00
other-modules: Analysis.Go.Spec
Write a small spec for evaluating PHP includes
2018-03-20 00:42:00 +03:00
, Analysis.PHP.Spec
Test out rest of python imports, move to new dir
2018-03-10 02:16:07 +03:00
, Analysis.Python.Spec
TDD FTW
2018-03-14 02:19:26 +03:00
, Analysis.Ruby.Spec
Test out some TypeScript imports
2018-03-10 02:54:52 +03:00
, Analysis.TypeScript.Spec
Sort the test modules.
2018-05-07 21:20:56 +03:00
, Assigning.Assignment.Spec
Stub in a spec for Evaluator.
2018-05-07 21:21:05 +03:00
, Control.Abstract.Evaluator.Spec
Resolve module import paths that walk up directory structure (e.g. ../)
2018-04-18 00:13:01 +03:00
, Data.Abstract.Path.Spec
add Data/Abstract/Name/Spec
2018-10-31 20:19:43 +03:00
, Data.Abstract.Name.Spec
Move Mergeable into the tests.
2018-07-20 16:52:43 +03:00
, Data.Diff.Spec
Combine the generic Eq1, Ord1, & Show1 implementations into a single module.
2017-11-30 18:24:48 +03:00
, Data.Functor.Classes.Generic.Spec
Move all the Listable stuff into the tests.
2017-09-09 16:44:57 +03:00
, Data.Functor.Listable
add Data/Graph/Spec
2018-10-31 19:20:38 +03:00
, Data.Graph.Spec
Move Mergeable into the tests.
2018-07-20 16:52:43 +03:00
, Data.Mergeable
Replace supportedExts
2019-08-16 01:48:17 +03:00
, Data.Language.Spec
Standardize and fix floating-point parsing. The existence of #1705 showed me that it's time to remove the bandaid of a fix that was `normalizeFloatString` in #1537. This patch introduces a proper Attoparsec parser for Scientific values that handles the vaguaries of cross-language floating-point syntax. We already depended on Attoparsec indirectly, so adding it as an explicit dependency is fine. A unit test is included, with examples taken from the tree-sitter corpora.
2018-04-04 00:02:56 +03:00
, Data.Scientific.Spec
Environment and App.
2018-10-31 22:47:30 +03:00
, Data.Semigroup.App.Spec
Rename the Term spec.
2017-11-27 22:02:03 +03:00
, Data.Term.Spec
Rename the RWS spec.
2017-11-27 21:48:43 +03:00
, Diffing.Algorithm.RWS.Spec
Rename the SES spec.
2017-11-27 21:51:05 +03:00
, Diffing.Algorithm.SES.Spec
Rename the Interpreter spec.
2017-11-27 22:03:45 +03:00
, Diffing.Interpreter.Spec
Simplest test possible.
2018-07-16 18:07:40 +03:00
, Graphing.Calls.Spec
Rename the Integration spec.
2017-11-27 22:06:12 +03:00
, Integration.Spec
Use a hand-written integer parser. Rather than relying on the `Read` instance for `Integer`, let's make our assumptions about the format explicit. This was mostly a matter of extracting internal functions from the `Scientific` parser.
2018-06-25 18:55:32 +03:00
, Numeric.Spec
Add unit test for parsing with a timeout Co-Authored-By: Rick Winfrey <rewinfrey@github.com>
2019-03-19 20:13:03 +03:00
, Parsing.Spec
Rename the TOC spec.
2017-11-27 22:04:58 +03:00
, Rendering.TOC.Spec
Rename the Semantic spec.
2017-11-27 22:00:53 +03:00
, Semantic.Spec
Rename the CLI spec.
2017-11-27 21:57:25 +03:00
, Semantic.CLI.Spec
Rename the IO spec.
2017-11-27 21:52:48 +03:00
, Semantic.IO.Spec
Rename the Stat spec.
2017-11-27 21:58:23 +03:00
, Semantic.Stat.Spec
Introduce some symbol/tags tests
2018-11-02 23:55:30 +03:00
, Tags.Spec
Tease apart file reading and transcoding
2017-04-19 19:12:19 +03:00
, SpecHelpers
Stub in an Hspec/LeanCheck integration module.
2017-01-06 00:41:23 +03:00
, Test.Hspec.LeanCheck
Remove Listable instance for Source. This was created with a whole mess of Leancheck combinators. A Hedgehog approach makes things easier.
2019-06-13 21:12:40 +03:00
, Generators
Add Properties module for easy tests of associativity/monoidality.
2019-09-25 23:59:06 +03:00
, Properties
Factor out common libraries.
2019-02-19 22:20:33 +03:00
build-depends: semantic
Add a bound on the tree-sitter-json constraint in the tests.
2019-10-07 21:14:32 +03:00
, tree-sitter-json ^>= 0.3
Add more bounds.
2019-06-12 19:37:40 +03:00
, Glob ^>= 0.10.0
Remove Listable instance for Source. This was created with a whole mess of Leancheck combinators. A Hedgehog approach makes things easier.
2019-06-13 21:12:40 +03:00
, hedgehog ^>= 1
Specify version bounds in .cabal file (#1) Establish library bounds based on Stackage LTS 13.13. We use the new cabal `^>=` operator to establish PVP-compatible versioning.
2019-04-03 16:12:49 +03:00
, hspec >= 2.6 && <3
, hspec-core >= 2.6 && <3
Overhaul test harnesses and add tasty bounds.
2019-06-12 18:30:20 +03:00
, hspec-expectations ^>= 0.8.2
Remove shelly in favor of streaming-bytestring and utf8-string.
2019-10-07 05:06:18 +03:00
, shelly >= 1.5 && <2
Overhaul test harnesses and add tasty bounds.
2019-06-12 18:30:20 +03:00
, tasty ^>= 1.2.3
, tasty-golden ^>= 2.3.2
Remove Listable instance for Source. This was created with a whole mess of Leancheck combinators. A Hedgehog approach makes things easier.
2019-06-13 21:12:40 +03:00
, tasty-hedgehog ^>= 1.0.0.1
Overhaul test harnesses and add tasty bounds.
2019-06-12 18:30:20 +03:00
, tasty-hspec ^>= 1.1.5.1
Rewrite the Stat tests so they're not racy.
2019-06-20 00:54:53 +03:00
, tasty-hunit ^>= 0.10.0.2
Specify version bounds in .cabal file (#1) Establish library bounds based on Stackage LTS 13.13. We use the new cabal `^>=` operator to establish PVP-compatible versioning.
2019-04-03 16:12:49 +03:00
, HUnit ^>= 1.6.0.0
, leancheck >= 0.8 && <1
Add more bounds.
2019-06-12 19:37:40 +03:00
, temporary ^>= 1.3
Add -dynamic in test debug builds as well
2018-12-05 19:28:21 +03:00
if flag(release)
Factor out common executable flags
2019-02-19 22:31:16 +03:00
ghc-options: -dynamic
I mean, sure.
2015-11-18 01:44:16 +03:00
First pass at doing parse-examples in haskell and hspec
2018-09-18 01:49:18 +03:00
test-suite parse-examples
Ensure parse-examples gets passed the -threaded flag.
2019-05-24 19:09:48 +03:00
import: haskell, dependencies, executable-flags
First pass at doing parse-examples in haskell and hspec
2018-09-18 01:49:18 +03:00
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Examples.hs
Factor out common libraries.
2019-02-19 22:20:33 +03:00
build-depends: semantic
Fix parse-examples
2019-04-12 22:54:12 +03:00
, Glob
Rewrite parse-examples target to use tasty. This gets us a little bit of a speed boost, lets us drop a couple dependencies, and makes us use streaming libraries.
2019-09-24 10:17:25 +03:00
, foldl ^>= 1.4.5
, resourcet ^>= 1.2
, streaming
Overhaul catFile.
2019-10-04 19:39:13 +03:00
, streaming-bytestring
Rewrite parse-examples target to use tasty. This gets us a little bit of a speed boost, lets us drop a couple dependencies, and makes us use streaming libraries.
2019-09-24 10:17:25 +03:00
, tasty
, tasty-hunit
First pass at doing parse-examples in haskell and hspec
2018-09-18 01:49:18 +03:00
flesh out some benchmarks
2018-03-08 03:34:20 +03:00
benchmark evaluation
Make benchmarks operate and switch to `gauge`. I find myself wanting to benchmark some I/O code, so I decided to look at our benchmark suite, to find that it had bitrotted somewhat. This patch brings it back up to working status, switches to `gauge` (which is more accurate than `criteron` and incurs fewer dependencies), and sprinkles some typed paths on there.
2019-09-27 20:18:30 +03:00
import: haskell, dependencies, executable-flags
Overhaul catFile.
2019-10-04 19:39:13 +03:00
hs-source-dirs: bench
New approach for linting
2018-05-21 18:17:11 +03:00
type: exitcode-stdio-1.0
main-is: Main.hs
Overhaul catFile.
2019-10-04 19:39:13 +03:00
other-modules: Evaluation
Fixes for build time.
2019-06-10 22:03:47 +03:00
ghc-options: -static
New approach for linting
2018-05-21 18:17:11 +03:00
build-depends: base
Make benchmarks operate and switch to `gauge`. I find myself wanting to benchmark some I/O code, so I decided to look at our benchmark suite, to find that it had bitrotted somewhat. This patch brings it back up to working status, switches to `gauge` (which is more accurate than `criteron` and incurs fewer dependencies), and sprinkles some typed paths on there.
2019-09-27 20:18:30 +03:00
, algebraic-graphs
, gauge ^>= 0.2.5
New approach for linting
2018-05-21 18:17:11 +03:00
, semantic
Make benchmarks operate and switch to `gauge`. I find myself wanting to benchmark some I/O code, so I decided to look at our benchmark suite, to find that it had bitrotted somewhat. This patch brings it back up to working status, switches to `gauge` (which is more accurate than `criteron` and incurs fewer dependencies), and sprinkles some typed paths on there.
2019-09-27 20:18:30 +03:00
, semantic-source
flesh out some benchmarks
2018-03-08 03:34:20 +03:00
I mean, sure.
2015-11-18 01:44:16 +03:00
source-repository head
type: git
Rename semantic-diff to semantic
2018-02-26 21:16:56 +03:00
location: https://github.com/github/semantic
Reference in New Issue Copy Permalink