1
1
mirror of https://github.com/github/semantic.git synced 2024-12-27 17:05:33 +03:00
Commit Graph

3636 Commits

Author SHA1 Message Date
Rob Rix
ee4452e29e Fix missing imports. 2018-07-20 09:56:33 -04:00
Rob Rix
d3fc6478fd Derive a bunch of Mergeable instances. 2018-07-20 09:54:57 -04:00
Rob Rix
f98263ca10 Fix a missing import. 2018-07-20 09:53:52 -04:00
Rob Rix
3fa75423d6 Move Mergeable into the tests. 2018-07-20 09:52:43 -04:00
Rob Rix
c696984b60 Move beforeTerm/afterTerm into the tests. 2018-07-20 09:52:11 -04:00
Ayman Nadeem
92e4f0e244 Merge remote-tracking branch 'origin/master' into java-assignment-continued 2018-07-19 16:56:32 -04:00
Timothy Clem
bc3bc5a023 Merge branch 'master' into vertex++ 2018-07-19 11:23:58 -07:00
Charlie Somerville
de80f1906e fix SpecHelpers to hit heap for namespaces 2018-07-19 17:03:17 +10:00
Charlie Somerville
a1c4fabfd9 Merge branch 'master' into charliesome/module-result 2018-07-19 16:06:53 +10:00
Patrick Thomson
68cd404e9c Merge remote-tracking branch 'origin/master' into add-callstack-to-error 2018-07-18 16:12:14 -04:00
Ayman Nadeem
01c5872a54 assertStatement fixture 2018-07-18 15:39:17 -04:00
Timothy Clem
a140371b18 Fix up call graph tests 2018-07-18 07:53:46 -07:00
Charlie Somerville
a3bc96834c Merge branch 'master' into charliesome/module-result 2018-07-18 14:53:31 +10:00
joshvera
bc4952661d Merge remote-tracking branch 'origin/master' into grpc-diff-trees 2018-07-17 19:16:29 -04:00
joshvera
0913284879 Comment out diffs of syntax roundtrip test 2018-07-17 19:00:05 -04:00
joshvera
a0d27311bb Add a ListableF2 2018-07-17 18:59:54 -04:00
Ayman Nadeem
008f570b26 Merge remote-tracking branch 'origin/master' into java-assignment-continued 2018-07-17 15:51:44 -04:00
Ayman Nadeem
3d61ea9368 add test fixtures 2018-07-17 15:51:24 -04:00
Patrick Thomson
3b47557794 Fix tests. 2018-07-17 14:52:01 -04:00
Charlie Somerville
6837b1d637 names takes a Binding, not an Environment 2018-07-17 12:04:54 +10:00
Charlie Somerville
752e29c9ef use ModuleResult type alias here too 2018-07-17 11:42:01 +10:00
joshvera
48411926a0 Add rountrip tests to blob and blob pair 2018-07-16 17:06:06 -04:00
joshvera
51d873f81e Add Listable instances for Join These Blob 2018-07-16 17:05:56 -04:00
Patrick Thomson
9813122425 cleanup 2018-07-16 13:13:53 -04:00
Ayman Nadeem
36bb8d085c Merge remote-tracking branch 'origin/master' into java-assignment-continued 2018-07-16 12:22:57 -04:00
Patrick Thomson
5c8cd4a109 test less-copacetic cases 2018-07-16 11:36:17 -04:00
Patrick Thomson
e05f419314 Abstract interpretation test. 2018-07-16 11:12:17 -04:00
Patrick Thomson
0ed48c7bbe Simplest test possible. 2018-07-16 11:07:40 -04:00
Timothy Clem
31a75790bd Merge remote-tracking branch 'origin/master' into grpc-diff-trees 2018-07-13 15:45:03 -07:00
joshvera
2fe255d09c Add a test for negate 2018-07-13 16:49:23 -04:00
Patrick Thomson
dea4f10f9b Merge remote-tracking branch 'origin/master' into lts-12.0 2018-07-13 15:41:09 -04:00
Patrick Thomson
695d280f50 bump up the cancelable parsing timeout 2018-07-13 15:15:10 -04:00
Patrick Thomson
3d50f9ab62 Merge branch 'master' into abstract-call-graph 2018-07-13 13:46:35 -04:00
Patrick Thomson
6a65fc0bc0 Fix otiose parts of the diff. 2018-07-13 12:10:17 -04:00
Timothy Clem
9b8204671a Little bit of tracing to help debug 2018-07-13 08:21:45 -07:00
Patrick Thomson
ae550c59c8 Merge remote-tracking branch 'origin/master' into abstract-call-graph 2018-07-13 11:11:46 -04:00
Rick Winfrey
8da0e3910c Add javascript specific export test files 2018-07-12 16:56:27 -07:00
Timothy Clem
48a34ff011 Roundtrip property test for Diff proto encode/decode 2018-07-12 15:57:51 -07:00
Patrick Thomson
6dc30c3b87 Upgrade to LTS 12.0. 2018-07-12 17:13:46 -04:00
Ayman Nadeem
5329894a48 test lambda 2018-07-12 12:30:39 -04:00
Ayman Nadeem
b1e7dacbdf Merge branch 'master' into java-assignment-continued 2018-07-11 15:55:36 -04:00
Rob Rix
7e2f7614f7 Fix up the imports. 2018-07-10 14:17:56 -04:00
Rob Rix
1e6a3f71e2 Use withOptions in the spec. 2018-07-10 14:16:51 -04:00
Rob Rix
40d46e921d Pass the configuration to the analysis specs. 2018-07-10 14:09:22 -04:00
Rob Rix
255a0aa62b Move TaskConfig into Semantic.Util. 2018-07-10 14:09:02 -04:00
Rob Rix
b33daf0ce1 Pass the task config stuff around as a single datum. 2018-07-10 13:49:34 -04:00
Ayman Nadeem
e549d58e56 resolve conflict 2018-07-09 18:46:44 -04:00
Rob Rix
90cb86d027 Pass config & queues to the integration specs. 2018-07-09 14:26:15 -04:00
Patrick Thomson
c5b722dbba Merge remote-tracking branch 'origin/master' into abstract-call-graph 2018-07-09 11:28:24 -04:00
Josh Vera
5f3543f284 Merge branch 'master' into fix-encoding 2018-07-06 13:39:16 -04:00
joshvera
c05e7e76aa Add a unit test for method roundtrips 2018-07-05 15:21:25 -04:00
Rob Rix
bcbc70446c Merge branch 'charliesome/substitution' into abstract-abstract-semantics 2018-07-05 14:15:01 -04:00
Rob Rix
ddbd2690bb Merge branch 'master' into higher-order-effects 2018-07-04 10:53:04 -04:00
Rob Rix
aac98ec0ef Merge branch 'master' into abstract-abstract-semantics 2018-07-04 10:44:44 -04:00
Patrick Thomson
0ca991f0dd Fix terrible bug associated with environment comparisons being false 2018-07-03 14:29:47 -04:00
Rob Rix
5100670e72 Rename Data.Abstract.Value to Data.Abstract.Value.Concrete. 2018-07-03 14:22:26 -04:00
joshvera
3a32256b38 Fix imports tests 2018-07-03 11:57:42 -04:00
joshvera
71f54e4f57 Rename to shouldRoundtrip1 and fix tests 2018-07-02 14:19:47 -04:00
Patrick Thomson
1eed347da6 fix the specs 2018-06-29 16:17:27 -04:00
joshvera
b5fe1cf208 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-28 11:52:03 -04:00
Ayman Nadeem
290f5f0a6d add memberAccess test 2018-06-27 17:26:58 -04:00
Ayman Nadeem
1fbe1ad77d add scopedIdentifier test 2018-06-27 17:26:38 -04:00
Ayman Nadeem
2880d01e5b type arg test 2018-06-27 17:26:12 -04:00
Ayman Nadeem
81ce713c20 methodReference test 2018-06-27 17:18:36 -04:00
Rob Rix
7cbaee920c Run integration tests for JSON. 2018-06-27 12:55:58 -04:00
Rob Rix
b30649823d Add fixtures for JSON hashes. 2018-06-27 11:28:23 -04:00
Rob Rix
3d5378619e Add fixtures for JSON null. 2018-06-27 11:26:08 -04:00
Rob Rix
1763fcbcb1 Add fixtures for JSON strings. 2018-06-27 11:25:38 -04:00
Rob Rix
fafba67774 Add fixtures for JSON arrays. 2018-06-27 11:24:48 -04:00
Rob Rix
48aff6d404 Add fixtures for JSON numbers. 2018-06-27 11:23:31 -04:00
Rob Rix
8a625cc85d Add fixtures for JSON booleans. 2018-06-27 11:23:21 -04:00
Josh Vera
5538c6b490 Merge branch 'master' into explicit-integer-parser 2018-06-26 17:10:21 -04:00
Rob Rix
a236328056 Merge branch 'master' into higher-order-effects 2018-06-26 15:14:28 -04:00
Patrick Thomson
bbf814acc1 Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-26 13:49:24 -04:00
joshvera
6a294827e2 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-26 13:03:37 -04:00
Rob Rix
7d37d3eb11 Resume defining LoopControl as using Exc. 2018-06-26 12:09:21 -04:00
Rob Rix
492947ae2e Resume defining Return as using Exc. 2018-06-26 12:00:25 -04:00
Patrick Thomson
fd44b23449 Merge remote-tracking branch 'origin/master' into explicit-integer-parser 2018-06-26 10:56:20 -04:00
Rob Rix
d1ad4bef08 Merge branch 'master' into higher-order-effects 2018-06-26 09:48:11 -04:00
Rob Rix
45262b585e Merge branch 'master' into topologically-sorted-imports 2018-06-25 17:43:26 -04:00
Josh Vera
5674357bae Merge branch 'master' into grpc-trees 2018-06-25 17:41:51 -04:00
Rob Rix
a556930e9e Fix the Go specs. 2018-06-25 17:38:52 -04:00
Rob Rix
a0dfbb449f Fix some errant pure ()s. 2018-06-25 17:36:56 -04:00
Rob Rix
67463461f9 Fix the PHP specs. 2018-06-25 17:36:32 -04:00
Rob Rix
1f129a6a50 Fix the Python specs. 2018-06-25 17:33:38 -04:00
Rob Rix
dad58e7c20 Fix the Ruby specs. 2018-06-25 17:28:35 -04:00
Rob Rix
f70974e206 Fix up the TypeScript specs.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-06-25 15:57:04 -04:00
Patrick Thomson
b42cef4f36 Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-25 15:39:38 -04:00
Rick Winfrey
a279d96985 Update test fixtures 2018-06-25 11:20:30 -07:00
Rob Rix
2e3636c015 Test topological sort on a -> b. 2018-06-25 13:02:37 -04:00
Rob Rix
3fb45b5d50 Preserve the structure of the data we’re testing against. 2018-06-25 12:27:30 -04:00
Rob Rix
76185ed450 Use irrefutable patterns in the PHP specs. 2018-06-25 12:02:50 -04:00
Rob Rix
cb4938ef92 Add all the modules to the Go specs. 2018-06-25 11:59:27 -04:00
Rob Rix
525f025e73 Use irrefutable patterns in the Go specs. 2018-06-25 11:56:42 -04:00
Rob Rix
bfd79c062d 🔥 the “evaluates” prefix. 2018-06-25 11:55:54 -04:00
Patrick Thomson
f9f0dd5e79 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 11:55:32 -04:00
Rob Rix
65d85e682d Use irrefutable patterns in the Python import specs. 2018-06-25 11:55:00 -04:00
Rob Rix
7ae66f18ea Just say Python. 2018-06-25 11:51:17 -04:00
Rob Rix
613e6b79bb Make more effort to show the errors in the Ruby spec. 2018-06-25 09:30:54 -04:00
Rob Rix
23ae10d847 Make more effort to show the errors in the TypeScript spec. 2018-06-25 09:26:31 -04:00
Rob Rix
903f048889 Don’t bind the heap when we aren’t using it. 2018-06-22 15:57:12 -04:00
Rob Rix
428b5a31dc These all import foo. 2018-06-22 15:47:31 -04:00
Rob Rix
2ed8688c28 Update the tests to pass a list of paths. 2018-06-22 15:45:42 -04:00
Rob Rix
98348908e6 🔥 some redundant imports. 2018-06-22 15:37:38 -04:00
joshvera
d3c912784b Fix tests 2018-06-22 14:19:01 -04:00
Rob Rix
33c04b15c3 Get the tests compiling. 2018-06-22 13:52:21 -04:00
Rob Rix
12c5dc32b2 🔥 an errant package version. 2018-06-22 10:38:03 -04:00
Rob Rix
eedc8f4b7e Rearrange the spec helper to match Util. 2018-06-21 14:52:08 -04:00
Rob Rix
6abd29a65d Reuse UtilEff. 2018-06-21 13:46:28 -04:00
Rob Rix
3c537e3337 We’re in Evaluator, not TermEvaluator. 2018-06-21 13:44:58 -04:00
Rob Rix
07a0277b00 Fix up the Evaluator spec. 2018-06-21 13:42:03 -04:00
Rob Rix
84eb2beaa5 This doesn’t have module table state any more either. 2018-06-21 13:37:23 -04:00
Rob Rix
4e57d32e91 🔥 the outdated reference to the module table state. 2018-06-21 13:36:11 -04:00
Rob Rix
418b15077a Not EvaluatingState. 2018-06-21 13:34:42 -04:00
Rob Rix
e0f5d4ee22 Don’t use evaluating. 2018-06-21 13:22:58 -04:00
Rob Rix
1e26865c65 🔥 evaluatePackageWith. 2018-06-21 13:19:24 -04:00
joshvera
cf709a7edb Rename listable instances for RegexMatch and BooleanOperator 2018-06-21 13:19:09 -04:00
Rick Winfrey
6075598bd2 Add guard fixtures 2018-06-20 17:23:42 -07:00
joshvera
18caa4b2c8 Constrain roundtrip test to Literal.Null and Statements 2018-06-20 13:42:23 -04:00
joshvera
7084b7f7ed Add Listable instances for Ruby.Syntax 2018-06-20 13:41:59 -04:00
Rob Rix
e972abd2e3 Factor runFresh out of evaluating. 2018-06-20 12:17:46 -04:00
joshvera
580d12421f Update fixtures 2018-06-20 12:14:45 -04:00
joshvera
05361742a1 Add statements to output 2018-06-20 11:57:53 -04:00
Rick Winfrey
c2a3608154 Add missing assignments
I discovered a test file in tree-sitter-haskell I overlooked while assigning semantic.
2018-06-19 17:37:40 -07:00
Rob Rix
fefb713194 Merge branch 'master' into topologically-sorted-imports 2018-06-19 17:05:14 -04:00
Patrick Thomson
1a09aae96a Merge branch 'master' into import-graph-mk2 2018-06-19 16:04:34 -04:00
Rick Winfrey
845a24649e Merge branch 'master' into haskell-assignment 2018-06-19 12:20:16 -07:00
joshvera
d2da48e629 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-19 14:45:56 -04:00
Josh Vera
cce18d9ecb Merge branch 'master' into topologically-sorted-imports 2018-06-19 13:43:01 -04:00
Rob Rix
85c91ab693 We configure language extensions in .hlint.yaml now. 2018-06-19 09:47:08 -04:00
Rob Rix
6de4f61652 Only fail for warnings/errors. 2018-06-19 09:46:01 -04:00
Rick Winfrey
62ef6aad0b Merge branch 'master' of https://github.com/github/semantic into haskell-assignment 2018-06-18 15:29:55 -07:00
Rick Winfrey
3397b88c06 Fixtures are our friends 2018-06-18 15:29:08 -07:00
Rob Rix
1a4751ffd4 Merge branch 'master' into topologically-sorted-imports 2018-06-18 18:14:01 -04:00
joshvera
4b8c4ba137 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-18 18:10:46 -04:00
Timothy Clem
de48b8cfea Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-18 14:58:50 -07:00
Rick Winfrey
c4a7b9e641 Add type class instance declarations 2018-06-18 14:47:58 -07:00
Timothy Clem
4dce543e6d Merge branch 'master' into no-more-tags-output 2018-06-18 14:11:44 -07:00
Timothy Clem
9fe2fab276 Merge branch 'master' into define-preludes-as-builtins 2018-06-18 13:58:50 -07:00
joshvera
02c4176933 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-18 16:57:54 -04:00
joshvera
8ec851f913 Pass the submessage num to liftDecodeMessage when decoding in Message1 Sum 2018-06-18 16:57:22 -04:00
Rick Winfrey
21526b78ff Add type class declaration fixtures 2018-06-18 12:34:27 -07:00
Timothy Clem
039d43e523 🔥 the --tags output and associated code 2018-06-18 11:36:31 -07:00
Patrick Thomson
5c131b26f3 Suppress telemetry errors in specs.
There are some cases (such as testing diffing a tree with one that has
syntax errors) where semantic, by default, will emit a lot of noise to
stderr. This clogs up the test output and led me (at one point) to
think I had introduced failures that were there all along.

The fix is simple: set the LogLevel to nothing and use runTaskWithOptions.
2018-06-18 14:33:26 -04:00
Rob Rix
1b245278a1 🔥 the value parameter from Modules. 2018-06-18 13:18:20 -04:00
Rob Rix
9bf816db3b 🔥 the value parameter from LoadError. 2018-06-18 13:15:10 -04:00
Patrick Thomson
14f252b2b6 Merge remote-tracking branch 'origin/define-preludes-as-builtins' into import-graph-mk2 2018-06-18 11:25:43 -04:00
Rob Rix
c36b04fd17 Re-export Proxy from SpecHelpers. 2018-06-18 11:11:22 -04:00
Rob Rix
2ad49b314f Update the specs. 2018-06-18 11:10:44 -04:00
Rick Winfrey
73cd692f80 Assign splices and quasi quotes 2018-06-15 17:30:31 -07:00
Patrick Thomson
659500551c Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-15 19:30:50 -04:00
Rick Winfrey
79657e9069 Merge branch 'master' into haskell-assignment 2018-06-15 15:56:36 -07:00
Timothy Clem
92c1394098 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-15 14:33:18 -07:00
Timothy Clem
0ddf994a81 Merge branch 'master' into telemetry-and-config 2018-06-15 10:40:06 -07:00
Timothy Clem
23390f7789 Refactor Stats addr 2018-06-15 10:31:51 -07:00
Timothy Clem
21e3f69110 Just one defaultConfig 2018-06-15 10:17:02 -07:00
Rob Rix
792cdcc5e2 Re-export Lower from SpecHelpers. 2018-06-15 11:41:38 -04:00
Rob Rix
430a4e1cfa 🔥 emptyEnv. 2018-06-15 11:05:19 -04:00
Patrick Thomson
80aac54baa Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-15 10:01:51 -04:00
Timothy Clem
63fbd49964 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-14 12:56:37 -07:00
Timothy Clem
cff0e073ae Comment typo 2018-06-13 17:48:22 -07:00
Timothy Clem
85d948003e Merge remote-tracking branch 'origin/master' into telemetry-and-config 2018-06-13 17:15:17 -07:00
Timothy Clem
9b45928227 Fix up test/spec 2018-06-13 17:03:15 -07:00
Rick Winfrey
14ee2f876f Assign conditional expressions 2018-06-13 16:48:03 -07:00
Rick Winfrey
8da0150ce4 Assign CPP Directives 2018-06-13 16:40:00 -07:00
Rob Rix
31893e6ced Bump effects for https://github.com/joshvera/effects/pull/54.
This requires us to specify the lists of effects fully.
2018-06-13 16:35:56 -04:00
Rob Rix
6a239acb35 🔥 redundant parens. 2018-06-13 16:26:25 -04:00
Patrick Thomson
fd56213d44 Merge branch 'master' into import-graph-mk2 2018-06-13 14:21:42 -04:00
Rick Winfrey
8493ba7fee Merge branch 'master' into haskell-assignment 2018-06-13 09:54:06 -07:00
Patrick Thomson
19e7ff7510 Reinstate import graph functionality. 2018-06-13 12:47:35 -04:00
Rick Winfrey
823d34a987 Merge branch 'master' into haskell-assignment 2018-06-13 09:42:21 -07:00
Patrick Thomson
36d5b7562a Revert "gRPC import graph" 2018-06-13 12:34:35 -04:00
Rick Winfrey
f5dd067eeb Merge branch 'master' into haskell-assignment 2018-06-12 15:44:01 -07:00
Rick Winfrey
59cd3b55db Add additional test cases 2018-06-12 15:07:58 -07:00
Rick Winfrey
148ee52a5f Assign prefix negation and parenthesized expressions 2018-06-12 15:01:46 -07:00
Rick Winfrey
c53dab76cf Assign lambdas 2018-06-12 14:50:38 -07:00
Rick Winfrey
00e299ad25 Add more expression test fixtures 2018-06-12 14:19:18 -07:00
Rick Winfrey
d6d865c90b Assign left and right operator sections 2018-06-12 13:18:44 -07:00
Patrick Thomson
248eb4f207 clarify 2018-06-12 14:13:45 -04:00
Rick Winfrey
1063bd91bd Assign arithmetic sequences 2018-06-12 10:47:48 -07:00
Patrick Thomson
81482ee696 Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-12 12:09:49 -04:00
Patrick Thomson
c563747f87 tests compile now 2018-06-12 12:09:40 -04:00
Charlie Somerville
3c2a877821 Merge branch 'master' into charliesome/value-ref-address 2018-06-12 08:56:56 +10:00
Rick Winfrey
b1c1a25267 Assign list comprehensions, generators, tuple patterns 2018-06-11 15:54:01 -07:00
Rick Winfrey
36f80acba1 Update hidden imports and add fixtures 2018-06-11 15:22:51 -07:00
Patrick Thomson
511d412e10 Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-11 17:19:48 -04:00
joshvera
82e1de7fde Add roundtrip tests for json syntax 2018-06-11 17:10:29 -04:00
Rick Winfrey
536433cb44 Merge branch 'master' into haskell-assignment2 2018-06-11 14:05:28 -07:00
Patrick Thomson
084129cde0 preliminary implementation of findFiles 2018-06-11 16:18:16 -04:00
Rick Winfrey
932f2d2267 Use single type constructor for identifiers 2018-06-11 10:22:06 -07:00
Rick Winfrey
9317972ca2 Assign import declarations (not hidden) 2018-06-08 17:18:39 -07:00
Rick Winfrey
fadf84870e Assign standalone deriving instances 2018-06-08 15:46:03 -07:00
Rick Winfrey
5824ea1b73 Add additional type signature tests 2018-06-08 15:07:07 -07:00
Rick Winfrey
c688f580f7 Regenerate go test fixtures 2018-06-08 12:10:54 -07:00
Rick Winfrey
646e1c3459 Be explicit about each identifier type
I went through a lot of trouble to make every identifier parsed in `tree-sitter-haskell` as accurate as possible (i.e. type variable identifier vs constructor identifier vs type class identifier). This enables us to keep those distinctions with assignment at the cost of adding more constructors.
2018-06-08 12:05:17 -07:00
Rick Winfrey
6f8dff06f8 Assign equality constraints 2018-06-08 12:02:13 -07:00
Rick Winfrey
ce8cd489af Assign default declarations 2018-06-08 10:33:42 -07:00
Rick Winfrey
5d3ece8d69 Allow multiple contexts (for scoped type variables and type class constraints) for data constructors 2018-06-08 10:23:21 -07:00
Rick Winfrey
867170b39a Assign primitive constructor identifiers 2018-06-08 10:13:24 -07:00
Rick Winfrey
0cc63f89f3 Assign newtype declarations 2018-06-08 10:06:09 -07:00