github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity
5aed17c12b
semantic/test/Spec.hs

58 lines
2.4 KiB
Haskell
Raw Normal View History

Manual spec inclusion.
2016-01-05 19:27:37 +03:00
module Main where
Test out go import evaling
2018-03-13 21:14:55 +03:00
import qualified Analysis.Go.Spec
Write a small spec for evaluating PHP includes
2018-03-20 00:42:00 +03:00
import qualified Analysis.PHP.Spec
Test out rest of python imports, move to new dir
2018-03-10 02:16:07 +03:00
import qualified Analysis.Python.Spec
TDD FTW
2018-03-14 02:19:26 +03:00
import qualified Analysis.Ruby.Spec
Turn on the TypeScript analysis spec
2018-03-10 03:24:32 +03:00
import qualified Analysis.TypeScript.Spec
Rename the assignment spec.
2017-11-27 21:47:04 +03:00
import qualified Assigning.Assignment.Spec
Stub in a spec for Evaluator.
2018-05-07 21:21:05 +03:00
import qualified Control.Abstract.Evaluator.Spec
Rename the Diff spec.
2017-11-27 21:59:44 +03:00
import qualified Data.Diff.Spec
Resolve module import paths that walk up directory structure (e.g. ../)
2018-04-18 00:13:01 +03:00
import qualified Data.Abstract.Path.Spec
Combine the generic Eq1, Ord1, & Show1 implementations into a single module.
2017-11-30 18:24:48 +03:00
import qualified Data.Functor.Classes.Generic.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
import qualified Data.Scientific.Spec
Rename the Source spec.
2017-11-27 21:49:52 +03:00
import qualified Data.Source.Spec
Rename the Term spec.
2017-11-27 22:02:03 +03:00
import qualified Data.Term.Spec
Rename the RWS spec.
2017-11-27 21:48:43 +03:00
import qualified Diffing.Algorithm.RWS.Spec
Rename the SES spec.
2017-11-27 21:51:05 +03:00
import qualified Diffing.Algorithm.SES.Spec
Rename the Interpreter spec.
2017-11-27 22:03:45 +03:00
import qualified Diffing.Interpreter.Spec
Rename the Integration spec.
2017-11-27 22:06:12 +03:00
import qualified Integration.Spec
Introduce tree-automata DSL for filtering and matching ASTs. This patch adds the `Matcher` monad, which is capable of filtering any recursive data structure, bottom-up, yielding a list of (or an optional) result. These functions are probably going to be used over `Term` values, so API is provided to wrap common projection functions. The API was more or less copied directly from that of Clang's AST matching facilities. There are a lot of things we can do in the future: * Binding results yielded in matchers to associated names, for future transformation stages to look up and modify. * Actual transformation stages. * Optimizations. This is not very fast. A million thanks to @robrix, whose sage advice managed to turn my kooky idea for an API into something really special and exciting.
2018-03-27 23:14:30 +03:00
import qualified Matching.Go.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
import qualified Numeric.Spec
Rename the TOC spec.
2017-11-27 22:04:58 +03:00
import qualified Rendering.TOC.Spec
Rename the Semantic spec.
2017-11-27 22:00:53 +03:00
import qualified Semantic.Spec
Rename the CLI spec.
2017-11-27 21:57:25 +03:00
import qualified Semantic.CLI.Spec
Rename the IO spec.
2017-11-27 21:52:48 +03:00
import qualified Semantic.IO.Spec
Rename the Stat spec.
2017-11-27 21:58:23 +03:00
import qualified Semantic.Stat.Spec
actually run the specs
2018-06-05 19:51:23 +03:00
import qualified Proto3.Roundtrip
Manual spec inclusion.
2016-01-05 19:27:37 +03:00
import Test.Hspec
main :: IO ()
Combine output stats for all specs
2017-04-07 19:24:57 +03:00
main = hspec $ do
Rename the Stat spec.
2017-11-27 21:58:23 +03:00
describe "Semantic.Stat" Semantic.Stat.Spec.spec
Combine output stats for all specs
2017-04-07 19:24:57 +03:00
parallel $ do
Test out go import evaling
2018-03-13 21:14:55 +03:00
describe "Analysis.Go" Analysis.Go.Spec.spec
Write a small spec for evaluating PHP includes
2018-03-20 00:42:00 +03:00
describe "Analysis.PHP" Analysis.PHP.Spec.spec
Test out rest of python imports, move to new dir
2018-03-10 02:16:07 +03:00
describe "Analysis.Python" Analysis.Python.Spec.spec
TDD FTW
2018-03-14 02:19:26 +03:00
describe "Analysis.Ruby" Analysis.Ruby.Spec.spec
Turn on the TypeScript analysis spec
2018-03-10 03:24:32 +03:00
describe "Analysis.TypeScript" Analysis.TypeScript.Spec.spec
Rename the assignment spec.
2017-11-27 21:47:04 +03:00
describe "Assigning.Assignment" Assigning.Assignment.Spec.spec
Stub in a spec for Evaluator.
2018-05-07 21:21:05 +03:00
describe "Control.Abstract.Evaluator" Control.Abstract.Evaluator.Spec.spec
Rename the Diff spec.
2017-11-27 21:59:44 +03:00
describe "Data.Diff" Data.Diff.Spec.spec
Resolve module import paths that walk up directory structure (e.g. ../)
2018-04-18 00:13:01 +03:00
describe "Data.Abstract.Path" Data.Abstract.Path.Spec.spec
Combine the generic Eq1, Ord1, & Show1 implementations into a single module.
2017-11-30 18:24:48 +03:00
describe "Data.Functor.Classes.Generic" Data.Functor.Classes.Generic.Spec.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
describe "Data.Scientific" Data.Scientific.Spec.spec
Rename the Source spec.
2017-11-27 21:49:52 +03:00
describe "Data.Source" Data.Source.Spec.spec
Rename the Term spec.
2017-11-27 22:02:03 +03:00
describe "Data.Term" Data.Term.Spec.spec
Rename the RWS spec.
2017-11-27 21:48:43 +03:00
describe "Diffing.Algorithm.RWS" Diffing.Algorithm.RWS.Spec.spec
Rename the SES spec.
2017-11-27 21:51:05 +03:00
describe "Diffing.Algorithm.SES" Diffing.Algorithm.SES.Spec.spec
Rename the Interpreter spec.
2017-11-27 22:03:45 +03:00
describe "Diffing.Interpreter" Diffing.Interpreter.Spec.spec
Introduce tree-automata DSL for filtering and matching ASTs. This patch adds the `Matcher` monad, which is capable of filtering any recursive data structure, bottom-up, yielding a list of (or an optional) result. These functions are probably going to be used over `Term` values, so API is provided to wrap common projection functions. The API was more or less copied directly from that of Clang's AST matching facilities. There are a lot of things we can do in the future: * Binding results yielded in matchers to associated names, for future transformation stages to look up and modify. * Actual transformation stages. * Optimizations. This is not very fast. A million thanks to @robrix, whose sage advice managed to turn my kooky idea for an API into something really special and exciting.
2018-03-27 23:14:30 +03:00
describe "Matching" Matching.Go.Spec.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
describe "Numeric" Numeric.Spec.spec
Rename the TOC spec.
2017-11-27 22:04:58 +03:00
describe "Rendering.TOC" Rendering.TOC.Spec.spec
Rename the Semantic spec.
2017-11-27 22:00:53 +03:00
describe "Semantic" Semantic.Spec.spec
Rename the CLI spec.
2017-11-27 21:57:25 +03:00
describe "Semantic.CLI" Semantic.CLI.Spec.spec
describe "Semantic.IO" Semantic.IO.Spec.spec
Rename the Integration spec.
2017-11-27 22:06:12 +03:00
describe "Integration" Integration.Spec.spec
actually run the specs
2018-06-05 19:51:23 +03:00
describe "Protobuf roundtripping" Proto3.Roundtrip.spec
Reference in New Issue Copy Permalink