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

425 lines
18 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
++0.7.1.0
2019-09-20 19:01:40 +03:00
version: 0.7.1.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
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
, free ^>= 5.1
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
Update to latest round of tree-sitter packages.
2019-09-17 17:46:20 +03:00
, tree-sitter == 0.3.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
, 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
Quiet debug spew in specs. This console barf makes reading though backscrolls unpleasant. Using Shelly rather than an abomination of a `system` call and adding a helper function to parse files quietly improved the situation greatly. This also contains changes to Util that make the file significantly easier to navigate, thanks to the power of `PartialTyepSignatures`. Fixes #140.
2019-06-19 19:09:37 +03:00
, shelly >= 1.5 && <2
Initial port from machines to streaming.
2019-06-20 09:29:43 +03:00
, streaming ^>= 0.2.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
, text ^>= 1.2.3.1
, these >= 0.7 && <1
, unix ^>= 2.7.2.2
Factor out common libraries.
2019-02-19 22:20:33 +03:00
, proto3-suite
, proto3-wire
New version of lingo
2019-09-17 01:20:52 +03:00
, lingo >= 0.2.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
Stub in a module for deterministic assignments.
2018-06-27 21:27:15 +03:00
, Assigning.Assignment.Deterministic
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
Update to fused-effects, replace \/ with handleSum and bundle Interpose.
2018-10-29 16:52:48 +03:00
-- Effects
, Control.Effect.Interpose
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
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
Data.Bifunctor.Join is actually Data.Functor.Both.
2016-02-29 05:29:59 +03:00
, Data.Functor.Both
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
Rename the Patch module to Data.Patch.
2017-09-27 19:29:07 +03:00
, Data.Patch
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
Refactor to have 1 additional data representation in the pipeline
2018-08-22 21:30:03 +03:00
, Data.Reprinting.Errors
move Fragment into its own file for clarity's sake
2018-09-18 18:38:10 +03:00
, Data.Reprinting.Fragment
Remove Hungarian-style T- prefix from tokens and scopes. Prefixes on data constructors are generally an antipattern in Haskell: if you're concerned about name collisions, have clients use qualified imports for whatever modules they need. As such, this removes the T- prefixes from the `Token` and `Context` types. This also renames Context to Scope, which is a more exact and readable name.
2018-09-19 18:54:12 +03:00
, Data.Reprinting.Operator
, Data.Reprinting.Scope
Move splice to data, allow config for translation
2018-08-17 19:10:14 +03:00
, Data.Reprinting.Splice
Remove Hungarian-style T- prefix from tokens and scopes. Prefixes on data constructors are generally an antipattern in Haskell: if you're concerned about name collisions, have clients use qualified imports for whatever modules they need. As such, this removes the T- prefixes from the `Token` and `Context` types. This also renames Context to Scope, which is a more exact and readable name.
2018-09-19 18:54:12 +03:00
, Data.Reprinting.Token
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
Move tag to its own file and add a couple lenses
2019-02-08 20:05:59 +03:00
, Data.Tag
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
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
Add Language.Go.Type module
2017-11-21 23:48:29 +03:00
, Language.Go.Type
Boilerplate and minimal syntax for Haskell assignment
2018-05-23 21:32:15 +03:00
, Language.Haskell.Assignment
, Language.Haskell.Syntax
Split up Language.Haskell.Syntax into child modules. This was the longest (in terms of line count) file in the project. Splitting it up will save on compile time, as it did for TypeScript. I observe a ~20sec speedup from `stack clean semantic && stack build semantic:lib`
2018-10-18 01:53:59 +03:00
, Language.Haskell.Syntax.Constructor
, Language.Haskell.Syntax.Haskell
, Language.Haskell.Syntax.Identifier
, Language.Haskell.Syntax.Pattern
, Language.Haskell.Syntax.QuasiQuote
, Language.Haskell.Syntax.Type
Rename JSON.Syntax -> JSON.Assignment
2017-10-11 01:14:57 +03:00
, Language.JSON.Assignment
Docs and some renaming
2018-08-22 02:15:08 +03:00
, Language.JSON.PrettyPrint
Update Ruby
2017-10-11 01:36:09 +03:00
, Language.Ruby.Assignment
Docs and some renaming
2018-08-22 02:15:08 +03:00
, Language.Ruby.PrettyPrint
Put this back in order
2018-08-28 19:12:44 +03:00
, Language.Ruby.Syntax
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
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
Add php modules to project
2017-12-15 22:14:08 +03:00
, Language.PHP.Assignment
, Language.PHP.Syntax
Update Python
2017-10-11 01:26:29 +03:00
, Language.Python.Assignment
Some basic pretty printing for mini Python
2018-08-28 19:14:48 +03:00
, Language.Python.PrettyPrint
Add languages/python
2017-05-12 02:45:05 +03:00
, Language.Python.Syntax
stub out java assignment
2018-03-16 00:57:06 +03:00
, Language.Java.Syntax
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
even better names, and a helper script to narrow tests
2018-08-03 20:15:14 +03:00
, Reprinting.Tokenize
Reorganize and add microlens, at least for now.
2018-08-03 19:23:47 +03:00
, Reprinting.Translate
implement the typesetting stage
2018-08-03 19:47:54 +03:00
, Reprinting.Typeset
Extremely ad-hoc renderer to Docs
2018-07-31 19:44:20 +03:00
, Reprinting.Pipeline
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
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
Repeatable code gen from proto
2019-07-06 01:11:33 +03:00
, Semantic.Proto.SemanticPB
Factor the ts-parse command into its own module.
2018-05-14 21:57:19 +03:00
, Semantic.AST
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
Stub in a REPL module. Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
2018-08-01 17:54:57 +03:00
, Semantic.REPL
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
, cryptohash ^>= 0.11.9
, 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
, http-client ^>= 0.6.2
, http-client-tls ^>= 0.3.5.3
, http-types ^>= 0.12.3
, http-media ^>= 0.7.1.3
, 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
, reducers ^>= 3.12.3
, semigroupoids ^>= 5.3.2
, split ^>= 0.2.3.3
, stm-chans ^>= 3.0.0.4
, template-haskell ^>= 2.14
, time ^>= 1.8.0.2
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
Update to latest round of tree-sitter packages.
2019-09-17 17:46:20 +03:00
, tree-sitter-go == 0.2.0.0
, tree-sitter-haskell == 0.2.0.0
, tree-sitter-json == 0.2.0.0
, tree-sitter-php == 0.2.0.0
, tree-sitter-python == 0.4.0.0
, tree-sitter-ruby == 0.2.0.0
++tree-sitter-typescript/tsx
2019-09-20 00:20:04 +03:00
, tree-sitter-typescript == 0.2.1.0
, tree-sitter-tsx == 0.2.1.0
Update to latest round of tree-sitter packages.
2019-09-17 17:46:20 +03:00
, tree-sitter-java == 0.2.0.0
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
better module name
2018-07-31 17:43:46 +03:00
, Reprinting.Spec
move specs around
2018-12-12 01:21:39 +03:00
, Rewriting.Go.Spec
unify the last spec
2018-12-12 01:36:42 +03:00
, Rewriting.JSON.Spec
Whitespace error.
2018-12-13 20:04:06 +03:00
, Rewriting.Python.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
Factor out common libraries.
2019-02-19 22:20:33 +03:00
build-depends: semantic
Add unit test for parsing with a timeout Co-Authored-By: Rick Winfrey <rewinfrey@github.com>
2019-03-19 20:13:03 +03:00
, tree-sitter-json
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
, 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
Add more bounds.
2019-06-12 19:37:40 +03:00
, hspec
First pass at doing parse-examples in haskell and hspec
2018-09-18 01:49:18 +03:00
, hspec-core
Overhaul test harnesses and add tasty bounds.
2019-06-12 18:30:20 +03:00
, hspec-expectations
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
Factor out common executable flags
2019-02-19 22:31:16 +03:00
import: haskell, executable-flags
Add NFData instances to enable more accurate benchmarking. Because we're getting serious about benchmarking in the run-up to Windrose, it's time to bring in the `deepseq` package to ensure that benchmarks can fully evaluate the result of a test case. The `deepseq` package provides an `NFData` typeclass: ``` class NFData a where rnf :: a -> () ``` Instances use the `seq` combinator to ensure that the argument to `rnf` is fully evaluated, returning (). If there is a `Generic` instance for `a`, the implementation can be omitted. This patch adds NFData for every syntax node, graph vertex, environment data structures, and exceptions. It is long, but the work is very straightforward, so don't panick. The benchmark suite (`stack bench`) now produces more accurate results. The benchmarks previously mimicked `rnf` by calling `show` on the result of an evaluation or graph construction; now that we have actual `NFData` instances we can use the `nfIO` combinator from criterion. This has sped up the evaluation benchmarks and reduced their memory consumption, while it has slowed down the call graph benchmarks, as those benchmarks weren't evaluating the whole of the graph. Unfortunately, this patch increases compile times, as we have to derive a few more Generic instances. I wish this weren't the case, but there's little we can do about it now. In the future I have some plans for how to reduce compile time, and I bet that those gains will at least nullify the speed hit from this patch. Now that we have NFData instances for every data type, we can start benchmarking assignments, in preparation for fixing #2205. This patch also pulls in updates to `effects` and `fastsum` that add appropriate NFData instances for the data they vend.
2018-10-17 21:08:47 +03:00
hs-source-dirs: bench/evaluation
New approach for linting
2018-05-21 18:17:11 +03:00
type: exitcode-stdio-1.0
main-is: Main.hs
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
Add more bounds.
2019-06-12 19:37:40 +03:00
, criterion ^>= 1.5
New approach for linting
2018-05-21 18:17:11 +03:00
, semantic
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