Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove all alacarte-based syntax, assignments, and analysis. #577

Merged
merged 15 commits into from Jun 24, 2020
Merged

Remove all alacarte-based syntax, assignments, and analysis. #577

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
fd9332c
start by trimming the cabal file
patrickt Jun 24, 2020
2a15e27
remove assignments
patrickt Jun 24, 2020
af28098
more assignment excision and fix Parsing.Parser
patrickt Jun 24, 2020
5791c8c
Drop Data.Syntax.
patrickt Jun 24, 2020
24a6f96
remove ability to measure assignment times
patrickt Jun 24, 2020
3e4d048
iterate
patrickt Jun 24, 2020
1d3587d
Get the specs working.
patrickt Jun 24, 2020
72fca8f
remove syntaxen
patrickt Jun 24, 2020
0880761
oops
patrickt Jun 24, 2020
ca0cda0
Properly remove alacarte s-expression formatting
patrickt Jun 24, 2020
3d9fc73
and PythonPackage
patrickt Jun 24, 2020
0e26b83
Remove HasTextElement.
patrickt Jun 24, 2020
a127404
a few more otiose items
patrickt Jun 24, 2020
33943c1
Remove the Control.Abstract and Data.Abstract hierarchies.
patrickt Jun 24, 2020
ef8d7c3
Fix tests.
patrickt Jun 24, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
80 changes: 0 additions & 80 deletions bench/Evaluation.hs
View file
Open in desktop

This file was deleted.

2 changes: 0 additions & 2 deletions bench/Main.hs
View file
Open in desktop
@@ -1,11 +1,9 @@
module Main (main) where

import Gauge
import qualified Evaluation
import qualified Tagging

main :: IO ()
main = defaultMain
[ Tagging.benchmarks
, Evaluation.benchmarks
]
109 changes: 4 additions & 105 deletions semantic.cabal
View file
Open in desktop
Expand Up @@ -82,62 +82,14 @@ common executable-flags
library
import: haskell, dependencies
hs-source-dirs: src
exposed-modules:
-- Analyses & term annotations
Analysis.Abstract.Caching.FlowInsensitive
, Analysis.Abstract.Caching.FlowSensitive
, Analysis.Abstract.Collecting
, Analysis.Abstract.Dead
, Analysis.Abstract.Graph
, Analysis.Abstract.Tracing
, Analysis.ConstructorName
, Analysis.CyclomaticComplexity
, Analysis.HasTextElement
-- Semantic assignment
, Assigning.Assignment
, Assigning.Assignment.Table
-- Control structures & interfaces for abstract interpretation
, Control.Abstract
, Control.Abstract.Context
, Control.Abstract.Evaluator
, Control.Abstract.Heap
, Control.Abstract.Hole
, Control.Abstract.Modules
, Control.Abstract.Primitive
, Control.Abstract.PythonPackage
, Control.Abstract.Roots
, Control.Abstract.ScopeGraph
, Control.Abstract.Value
-- Carriers
, Control.Carrier.Parse.Measured
exposed-modules: Control.Carrier.Parse.Measured
, Control.Carrier.Parse.Simple
-- Effects
, Control.Effect.Interpose
, Control.Effect.Parse
, Control.Effect.REPL
, Control.Effect.Sum.Project
, Control.Effect.Timeout
-- Datatypes for abstract interpretation
, Data.Abstract.Address.Hole
, Data.Abstract.Address.Monovariant
, Data.Abstract.Address.Precise
, Data.Abstract.BaseError
, Data.Abstract.Declarations
, Data.Abstract.Evaluatable
, Data.Abstract.FreeVariables
, Data.Abstract.AccessControls.Class
, Data.Abstract.AccessControls.Instances
, Data.Abstract.Heap
, Data.Abstract.Live
, Data.Abstract.Module
, Data.Abstract.ModuleTable
, Data.Abstract.Number
, Data.Abstract.Package
, Data.Abstract.Path
, Data.Abstract.ScopeGraph
, Data.Abstract.Value.Abstract
, Data.Abstract.Value.Concrete
, Data.Abstract.Value.Type
-- General datatype definitions & generic algorithms
, Data.AST
, Data.Blob
Expand All @@ -148,57 +100,18 @@ library
, Data.Flag
, Data.Functor.Classes.Generic
, Data.Graph.Algebraic
, Data.Graph.ControlFlowVertex
, Data.Handle
, Data.History
, Data.ImportPath
, Data.Language
, Data.Map.Monoidal
, Data.Maybe.Exts
, Data.Quieterm
, Data.Semigroup.App
, Data.Scientific.Exts
, Data.Term
-- À la carte syntax types
, Data.Syntax
, Data.Syntax.Comment
, Data.Syntax.Declaration
, Data.Syntax.Directive
, Data.Syntax.Expression
, Data.Syntax.Literal
, Data.Syntax.Statement
, Data.Syntax.Type
-- Language-specific grammar/syntax types, & assignments
, Language.Go.Assignment
, Language.Go.Syntax
, Language.Go.Term
, Language.Go.Type
, Language.Ruby.Assignment
, Language.Ruby.Syntax
, Language.Ruby.Term
, Language.TSX.Assignment
, Language.TSX.Syntax
, Language.TSX.Syntax.JSX
, Language.TSX.Term
, Language.TypeScript.Assignment
, Language.TypeScript.Resolution
, Language.TypeScript.Syntax
, Language.TypeScript.Syntax.Import
, Language.TypeScript.Syntax.JavaScript
, Language.TypeScript.Syntax.TypeScript
, Language.TypeScript.Syntax.Types
, Language.TypeScript.Term
, Language.PHP.Syntax
, Language.PHP.Term
, Language.Python.Assignment
, Language.Python.Syntax
, Language.Python.Term
, Numeric.Exts
-- Parser glue
, Parsing.Parser
, Parsing.TreeSitter
-- High-level flow & operational functionality (logging, stats, etc.)
, Semantic.Analysis
-- API
, Semantic.Api
, Semantic.Api.Bridge
Expand All @@ -209,7 +122,6 @@ library
, Semantic.Config
, Semantic.Distribute
, Semantic.Env
, Semantic.Graph
, Semantic.IO
, Semantic.Resolution
, Semantic.Task
Expand All @@ -224,7 +136,6 @@ library
, Semantic.Version
-- Serialization
, Serializing.Format
, Serializing.SExpression
, Serializing.SExpression.Precise
-- Custom Prelude
autogen-modules: Paths_semantic
Expand Down Expand Up @@ -298,24 +209,13 @@ test-suite test
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Spec.hs
other-modules: Analysis.Go.Spec
, Analysis.PHP.Spec
, Analysis.Python.Spec
, Analysis.Ruby.Spec
, Analysis.TypeScript.Spec
, Assigning.Assignment.Spec
, Control.Abstract.Evaluator.Spec
, Data.Abstract.Path.Spec
, Data.Abstract.Name.Spec
, Data.Functor.Classes.Generic.Spec
ghc-options: -Werror
other-modules: Data.Functor.Classes.Generic.Spec
, Data.Functor.Listable
, Data.Graph.Spec
, Data.Mergeable
, Data.Language.Spec
, Data.Scientific.Spec
, Data.Semigroup.App.Spec
, Data.Term.Spec
, Graphing.Calls.Spec
, Integration.Spec
, Numeric.Spec
, Parsing.Spec
Expand Down Expand Up @@ -368,8 +268,7 @@ benchmark benchmarks
hs-source-dirs: bench
type: exitcode-stdio-1.0
main-is: Main.hs
other-modules: Evaluation
, Tagging
other-modules: Tagging
ghc-options: -static
build-depends: base
, algebraic-graphs
Expand Down