github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Code Issues Projects Releases Wiki Activity
25,656 Commits 19 Branches 16 Tags 46 MiB
649dd2132f
Commit Graph

3703 Commits

Author SHA1 Message Date
Patrick Thomson
dccea555ed Extremely ad-hoc renderer to Docs 2018-07-31 12:44:20 -04:00
Patrick Thomson
6823fb92b6 better module name 2018-07-31 10:43:46 -04:00
Patrick Thomson
88cd915ced working reprinting tests 2018-07-30 20:05:44 -04:00
Patrick Thomson
a61fe301c4 Skeleton and initial test case 2018-07-30 16:00:09 -04:00
Rob Rix
60a4487a28 Run a Function effect in EvaluatorSpec. 2018-07-26 15:31:49 -04:00
Rob Rix
05d2683012 Merge branch 'master' into test-java-assignment-part-2 2018-07-26 09:23:09 -04:00
Rob Rix
863c2774eb Merge branch 'master' into value-effects 2018-07-25 09:22:30 -04:00
Ayman Nadeem
8fdab3f08e test class literal 2018-07-24 18:31:09 -04:00
Ayman Nadeem
c07120fcca add wildcard 2018-07-24 18:24:50 -04:00
Ayman Nadeem
41e5165195 test while 2018-07-24 18:23:08 -04:00
Ayman Nadeem
7a7c9ba222 test variable declaration 2018-07-24 18:20:57 -04:00
Ayman Nadeem
632bf50506 test update expression 2018-07-24 18:18:59 -04:00
Ayman Nadeem
cc2cf50b98 test throws, trycatches and type argument 2018-07-24 18:17:42 -04:00
Ayman Nadeem
448999e68d test try with resources statement 2018-07-24 18:12:47 -04:00
Ayman Nadeem
9fc621c9f4 test switch statement 2018-07-24 17:54:43 -04:00
Ayman Nadeem
794dbf82d4 test strings 2018-07-24 17:51:32 -04:00
Ayman Nadeem
562beec816 test spread parameter 2018-07-24 17:47:52 -04:00
Ayman Nadeem
32d6af0e9d test scoped identifiers 2018-07-24 17:45:09 -04:00
Ayman Nadeem
6e82ab5410 llama expression 2018-07-24 17:31:50 -04:00
Ayman Nadeem
f524368c0b interface declaration tests 2018-07-24 17:06:07 -04:00
Ayman Nadeem
533b72930b test integers 2018-07-24 17:01:12 -04:00
Ayman Nadeem
9d2e734a77 Import statement 2018-07-24 16:56:38 -04:00
Ayman Nadeem
2e3755fdd8 test if statements 2018-07-24 16:53:08 -04:00
Ayman Nadeem
7d4ff71cff test For loop 2018-07-24 16:51:48 -04:00
Timothy Clem
78a1a7bc92 Merge branch 'master' into external-modules 2018-07-24 13:08:34 -07:00
Ayman Nadeem
c5e5f0b97f test float 2018-07-24 15:29:54 -04:00
Timothy Clem
4bd2806a8f Fix up tests 2018-07-24 11:06:14 -07:00
Ayman Nadeem
a905e30e47 test field access 2018-07-24 12:53:35 -04:00
Ayman Nadeem
876ab5d11d test EnumDeclaration 2018-07-24 12:43:13 -04:00
Ayman Nadeem
c0c2e2033b test DoWhile 2018-07-24 12:42:44 -04:00
Timothy Clem
ebea0468bf Merge branch 'master' into bump-tree-sitter 2018-07-24 09:08:54 -07:00
Ayman Nadeem
465a66ceca test dims 2018-07-24 12:04:09 -04:00
Ayman Nadeem
31f44bdee6 test continue statement 2018-07-24 11:57:51 -04:00
Charlie Somerville
ee227d8091 fix up call in test 2018-07-24 16:23:53 +10:00
Charlie Somerville
b364c6637a implement the right type classes for This 2018-07-24 16:23:44 +10:00
Charlie Somerville
ece1bad08e Merge branch 'master' into charliesome/module-result 2018-07-24 12:25:19 +10:00
Josh Vera
7b025c6e49 Merge branch 'master' into bump-tree-sitter 2018-07-23 19:55:21 -04:00
Josh Vera
f72464ca47 Merge branch 'master' into test-java-assignment 2018-07-23 19:44:32 -04:00
Ayman Nadeem
5a98bb68a5 test array access 2018-07-23 18:36:46 -04:00
Ayman Nadeem
6237546e10 test AssertStatement 2018-07-23 18:36:37 -04:00
Ayman Nadeem
5aabbddb8f test binary expressions 2018-07-23 18:36:27 -04:00
Ayman Nadeem
52f0457979 test boolean 2018-07-23 18:36:10 -04:00
Ayman Nadeem
55dac7c93d test char 2018-07-23 18:35:52 -04:00
Ayman Nadeem
d18c4a0d1c classBody 2018-07-23 18:35:42 -04:00
joshvera
f4f12d66a0 Remove QualifiedName roundtrip 2018-07-23 18:32:26 -04:00
Ayman Nadeem
e212840918 add comment tests 2018-07-23 18:32:13 -04:00
joshvera
322db1dd89 Merge remote-tracking branch 'origin/master' into add-python 2018-07-23 18:21:01 -04:00
Timothy Clem
8e547c4536 Sort out all the tests 2018-07-23 15:16:48 -07:00
Timothy Clem
8484f477ce Extra Listable instances 2018-07-23 15:09:44 -07:00
Timothy Clem
998b81c8af Don't nest unless we have to 2018-07-23 15:09:37 -07:00
Ayman Nadeem
c30298f528 remove java from integration spec 2018-07-23 15:22:44 -04:00
Ayman Nadeem
ea86992721 regenerate interface tests 2018-07-23 15:04:07 -04:00
Ayman Nadeem
6713fdde39 re-generate ambient-declarations and interface typescript tests 2018-07-23 14:22:21 -04:00
joshvera
698851f4bf Test qualified names roundtrip 2018-07-23 14:00:10 -04:00
joshvera
dbcf2638b0 Add Listable instances for QualifiedName and Import 2018-07-23 13:59:56 -04:00
Ayman Nadeem
913ba4c315 fix hlint errors and add java to integration spec 2018-07-23 13:49:10 -04:00
Ayman Nadeem
52d89b7a05 fix merge conflicts 2018-07-23 11:23:57 -04:00
Rob Rix
33c6bc88f4 Correct the test. 2018-07-23 10:26:26 -04:00
Rob Rix
861a3fc80e Rename closure to function. 2018-07-23 10:26:06 -04:00
Ayman Nadeem
8233b537ec Merge branch 'master' into java-assignment-continued 2018-07-23 09:29:27 -04:00
Ayman Nadeem
f09f2ce26a add tests for normalInterfaceDeclaration and assertStatements in stringLiteral 2018-07-23 09:26:02 -04:00
Charlie Somerville
8642cb4e1f fix method name order assertion in subclass spec 2018-07-23 17:42:03 +10:00
Charlie Somerville
dae549dd46 Merge branch 'master' into charliesome/module-result 2018-07-23 16:34:55 +10:00
Rob Rix
e94e28d732 Merge branch 'master' into move-mergeable-into-the-tests 2018-07-20 11:01:14 -04:00
Rob Rix
4ef85b3d91 These instances aren’t orphaned. 2018-07-20 10:07:53 -04:00
Rob Rix
d6eb959726 We don’t need DeriveAnyClass or StandaloneDeriving for these. 2018-07-20 10:07:24 -04:00
Rob Rix
926e32db29 More missing imports. 2018-07-20 10:04:34 -04:00
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