1
1
mirror of https://github.com/github/semantic.git synced 2024-12-21 05:41:54 +03:00
Commit Graph

3030 Commits

Author SHA1 Message Date
joshvera
9b2524cc81 Merge branch 'module-resolution' into default-extensions 2018-03-23 10:31:07 -04:00
joshvera
5905c85052 Add join to tests 2018-03-23 10:29:01 -04:00
Josh Vera
5c5dedfeda Merge branch 'master' into module-resolution 2018-03-22 19:32:33 -04:00
joshvera
54c11bf629 join fst 2018-03-22 19:31:51 -04:00
joshvera
3b40f0af96 Add a Resumable1 exception 2018-03-22 19:08:05 -04:00
joshvera
901cd319a2 fix ruby test 2018-03-22 16:39:53 -04:00
Patrick Thomson
178da2959e Implement multiple inheritance.
Python is the only language that we support that permits multiple
inheritance, which is probably good, since MI is generally considered
a sign of a poorly-designed object hierarchy. But there's no reason
not to support it. This algorithm is more simplistic than Python's
actual method-resolution lookup, but it's fine for now, and the
behavior for simple cases matches that of Python.
2018-03-22 15:54:21 -04:00
Josh Vera
7792356012 Merge branch 'master' into default-extensions 2018-03-22 15:43:31 -04:00
Josh Vera
a2e73afd45 Merge branch 'master' into module-resolution 2018-03-22 15:42:44 -04:00
Patrick Thomson
bd939d2579 Fix Python method calls.
`identifier` in the Python assignment module was too eager to reduce a
nested Attribute into a dotted identifier. Removing it fixes method
calls, which now have a unit test.
2018-03-22 15:35:08 -04:00
joshvera
bfee652f14 redundant lang extension 2018-03-22 13:07:42 -04:00
joshvera
fdfca338f5 unused constraint 2018-03-22 13:07:32 -04:00
joshvera
37d7eb8b9f Remove unused lang extension 2018-03-22 13:06:22 -04:00
Patrick Thomson
693045439a Add test suite. 2018-03-22 13:02:39 -04:00
Patrick Thomson
089403d25f Merge branch 'master' into subclassing 2018-03-22 12:40:29 -04:00
Patrick Thomson
9d97b8f6c7 Add a spec for subclassing 2018-03-22 12:31:53 -04:00
joshvera
f2169e09a9 Move MultiParamTypeClasses, StandaloneDeriving, and DataKinds to default-extensions 2018-03-22 12:23:11 -04:00
joshvera
a8c9c815ef Rename NonDetEff to NonDet 2018-03-22 10:35:25 -04:00
Timothy Clem
69e2eda8db Couple more tests 2018-03-20 16:46:32 -07:00
Timothy Clem
1a7f0e4b77 TypeApplications not necessary anymore 2018-03-19 14:53:55 -07:00
Timothy Clem
8522af6492 Use OverloadedLists here 2018-03-19 14:53:47 -07:00
Timothy Clem
7fdc5e2fda Write a small spec for evaluating PHP includes 2018-03-19 14:42:31 -07:00
Timothy Clem
811370a767 First PHP fixtures to work with 2018-03-19 14:42:31 -07:00
Patrick Thomson
dd1e1c555d Merge remote-tracking branch 'origin/master' into classes 2018-03-19 15:45:43 -04:00
Patrick Thomson
d053da814b Merge branch 'master' into ruby-match-syntax 2018-03-19 15:35:38 -04:00
Patrick Thomson
5664bcdede fix unit tests 2018-03-19 12:17:44 -04:00
Rob Rix
e293814424 Pass --fast to try to speed up the doctests. 2018-03-19 10:09:59 -04:00
Rob Rix
5cb387836d Don’t include the args twice. 2018-03-19 09:53:58 -04:00
Rob Rix
f67a2a1dc3 Allow the arguments to override src. 2018-03-19 09:40:19 -04:00
Rob Rix
e5821ffec5 Run all doctests found in src. 2018-03-19 09:23:46 -04:00
Rob Rix
bbb51588e5 Add a doctest component. 2018-03-19 09:23:11 -04:00
Patrick Thomson
6a5c3084ad merge folderol 2018-03-16 16:58:15 -04:00
Patrick Thomson
5df347eb3e Merge remote-tracking branch 'origin/master' into classes 2018-03-16 16:51:59 -04:00
Patrick Thomson
17bf4150e3 implement Evaluatable for member access, add doctests, and fix Latest 2018-03-16 15:41:15 -04:00
Rob Rix
863d6aa428 Add a doctest component. 2018-03-16 14:34:54 -04:00
Patrick Thomson
a44d5ed861 Use the Environment functions qualified. 2018-03-16 14:33:55 -04:00
Patrick Thomson
56e7c25268 Move Exports to its own module. 2018-03-16 14:09:41 -04:00
Timothy Clem
38fb63f660 TypeApplications no longer necessary here 2018-03-16 09:03:37 -07:00
Timothy Clem
a580e1d65b One more piece of state now 2018-03-15 15:37:17 -07:00
Timothy Clem
d6036f4165 Merge remote-tracking branch 'origin/export-wrapper' into ruby-imports 2018-03-15 15:34:06 -07:00
Timothy Clem
a40dc8825e One more fst 2018-03-15 15:28:41 -07:00
Timothy Clem
7e2557b396 Merge remote-tracking branch 'origin/master' into export-wrapper 2018-03-15 15:25:54 -07:00
Timothy Clem
55c79cb8df Slight change to ruby require parse trees 2018-03-15 15:09:53 -07:00
Timothy Clem
f70ef24015 Assign and eval ruby's load syntax 2018-03-15 15:09:28 -07:00
Timothy Clem
e5e72b36e9 Some ruby load specs and fixtures 2018-03-15 15:09:07 -07:00
Timothy Clem
572f057037 Different spec name 2018-03-15 15:08:03 -07:00
Rob Rix
4bd7bc5427 Remove the location parameter from Value. 2018-03-15 16:04:36 -04:00
Timothy Clem
92b383cf45 Extract some comment path to qualified name helpers 2018-03-15 12:29:08 -07:00
Timothy Clem
1e276dddef TDD FTW 2018-03-15 11:34:34 -07:00
Timothy Clem
9e118aac51 Some example ruby code for requires 2018-03-15 11:34:34 -07:00
Timothy Clem
c46000c74d Fail if trying to re-export something not defined in the imported module 2018-03-15 10:33:08 -07:00
Rob Rix
300af7ebde Correct the paths to the global env. 2018-03-15 10:23:50 -04:00
Rob Rix
3c6d4f9976 🔥 mentions of the obsolete *Value synonyms. 2018-03-15 10:14:22 -04:00
Rob Rix
fcf44b5a37 Rename Store to Heap. 2018-03-14 20:42:59 -04:00
Timothy Clem
aeb49477a1 Update integration fixtures for changes to assignment 2018-03-14 16:13:41 -07:00
Timothy Clem
7204debb07 Merge remote-tracking branch 'origin/master' into import-language-tour 2018-03-14 11:38:49 -07:00
Timothy Clem
f3b2e0cd2a Store a list of terms in the unevaluted module table to allow multi file module imports 2018-03-13 13:09:04 -07:00
Timothy Clem
6a8cee384e Organize SpecHelper, remove unused imports 2018-03-13 11:18:05 -07:00
Timothy Clem
579a447961 Test out go import evaling 2018-03-13 11:14:55 -07:00
Timothy Clem
bbff8d45ed More spec import cleanup 2018-03-13 11:10:50 -07:00
Timothy Clem
993ae92a75 Clean up IntegrationSpec imports 2018-03-13 11:04:58 -07:00
Timothy Clem
1b79ed205e TOCSpec import cleanup 2018-03-13 10:59:20 -07:00
Timothy Clem
740d092271 Whitespace 2018-03-13 10:59:06 -07:00
Timothy Clem
68ec7adef3 Refine import spec imports 2018-03-13 10:32:25 -07:00
Timothy Clem
1687c63d64 Reduce imports by relying on SpecHelpers (and Util) 2018-03-13 10:26:28 -07:00
Timothy Clem
b74ee2c12b SpecHelpers as a bit of a prologue for specs 2018-03-13 10:26:09 -07:00
Timothy Clem
ae05ff7313 Not ready for this just yet 2018-03-13 10:13:56 -07:00
Timothy Clem
1b57a59ee5 This is Rab 2018-03-13 10:13:42 -07:00
Timothy Clem
69b2c5c64d Sort out spechelper again with new interfaces 2018-03-12 16:13:21 -07:00
Timothy Clem
cc4fd12428 Merge remote-tracking branch 'origin/more-typescript-imports' into typescript-exports 2018-03-12 15:37:12 -07:00
Timothy Clem
08c59a43d2 Merge remote-tracking branch 'origin/master' into typescript-exports 2018-03-12 15:30:28 -07:00
Timothy Clem
296fc5d4b5 Load up multiple files in the same package (Go) 2018-03-12 15:01:19 -07:00
Timothy Clem
612298cb9d Test updates from assignment changes 2018-03-12 13:53:19 -07:00
Timothy Clem
cb9004804f Run go fmt on this fixture 2018-03-12 13:53:06 -07:00
Timothy Clem
5b1829e474 Some nice Go eval import specs 2018-03-12 13:52:50 -07:00
Timothy Clem
48acfa70df Test out side effect imports in TypeScript 2018-03-12 10:45:34 -07:00
Timothy Clem
8ebcd5a864 Merge remote-tracking branch 'origin/master' into import-language-tour 2018-03-12 10:03:25 -07:00
Timothy Clem
9795613239 Just assert the environment 2018-03-12 09:25:04 -07:00
Timothy Clem
38b7607fa3 Turn on the TypeScript analysis spec 2018-03-09 16:24:32 -08:00
Timothy Clem
f015a1f027 Cleanup these specs and extract some common helpers 2018-03-09 16:24:23 -08:00
Timothy Clem
d8767f285f Capital P Python 2018-03-09 15:55:04 -08:00
Timothy Clem
dc96cde7cd Test out some TypeScript imports 2018-03-09 15:54:52 -08:00
Timothy Clem
a6bb1452dc Fix up TypeScript fromClause to support relatives paths hack 2018-03-09 15:54:29 -08:00
Timothy Clem
d352c66227 Test out rest of python imports, move to new dir 2018-03-09 15:16:07 -08:00
Timothy Clem
3fc7f644b2 Try my hand at a spec for analysis - test out python imports 2018-03-09 15:01:29 -08:00
Timothy Clem
201387957a Some additional Python examples 2018-03-09 14:02:06 -08:00
Timothy Clem
750cfc6b17 Merge remote-tracking branch 'origin/typescript-exports' into more-typescript-imports 2018-03-09 12:46:58 -08:00
Patrick Thomson
da2a3fc7a8 Initial pass fixing errors raised by weeder.
This fixes a lot of unnecessary exports in the specs, removes a couple
otiose imports (comonads and semigroups are provided by base, I beleive),
and removes a duplicated function.
2018-03-09 12:07:34 -05:00
joshvera
b26ec32a00 Fix tests 2018-03-08 19:05:27 -05:00
Timothy Clem
f00a2568bd Merge remote-tracking branch 'origin/typescript-exports' into more-typescript-imports 2018-03-08 15:28:34 -08:00
Timothy Clem
b223668665 Merge remote-tracking branch 'origin/typescript-exports' into more-typescript-imports 2018-03-08 15:19:55 -08:00
joshvera
304034e825 update foo.ts 2018-03-08 18:09:33 -05:00
Timothy Clem
a8775d3f0d Update import graph rendering for qualified calls 2018-03-08 15:06:08 -08:00
Timothy Clem
f76b7e4a2d Bunch of test fixes due to TypeScript assignment changes 2018-03-08 15:05:41 -08:00
Timothy Clem
60b38e4987 Don't commit generated .js files here 2018-03-08 14:15:42 -08:00
Timothy Clem
fd6db359c1 Fix notes about running tsc 2018-03-08 14:15:42 -08:00
joshvera
60721252cf Merge remote-tracking branch 'origin/environment-scoping' into typescript-exports 2018-03-08 16:49:14 -05:00
Timothy Clem
642a96a53f Bring back python imports with a little assignment fix 2018-03-08 13:18:13 -08:00
Timothy Clem
e1c1ab54a8 Ruby import graph output just works 2018-03-08 13:02:39 -08:00
Timothy Clem
a74ad46c08 Fix up Go import-graph output and spec 2018-03-08 13:01:13 -08:00
Timothy Clem
74675d6731 Fix up TypeScript import-graph output and tests 2018-03-08 11:37:41 -08:00
Timothy Clem
24a470ba7a FreeVariable Name as NonEmpty List 2018-03-08 09:34:09 -08:00
Timothy Clem
13b892df53 Adding listable instance uncovered this erroneous test 2018-03-08 09:03:02 -08:00
Timothy Clem
948162c88d Fix up tests again 2018-03-08 07:57:18 -08:00
Timothy Clem
835e8f5980 Major updates to identifiers: free variables can be qualified names
(break all the tests too 😁)
2018-03-07 17:01:47 -08:00
joshvera
a150903d04 Update typescript analysis 2018-03-07 15:06:47 -05:00
joshvera
af4a489594 update typescript example 2018-03-07 11:56:27 -05:00
Timothy Clem
956993a98d Go imports always be changing structure 2018-03-06 16:11:32 -08:00
Timothy Clem
34c5f12f3e Don't run these until output format stablizes a bit 2018-03-06 16:11:14 -08:00
Timothy Clem
c509d33ff9 Merge branch 'bump-tree-sitter' into environment-scoping 2018-03-06 16:04:16 -08:00
Timothy Clem
25b9826faa Go function/method parameter list changes 2018-03-06 15:47:48 -08:00
Timothy Clem
a0ec9e7c07 Go import test changes 2018-03-06 15:47:22 -08:00
Timothy Clem
61f6d0314b Fix up a few tests 2018-03-06 11:02:29 -08:00
Timothy Clem
197c6320db Small TypeScript analysis example 2018-03-06 10:15:09 -08:00
Timothy Clem
843728aa3b Merge remote-tracking branch 'origin/master' into environment-scoping 2018-03-05 08:43:32 -08:00
Patrick Thomson
1da2668d60 Fix end-to-end tests. 2018-03-02 15:30:51 -08:00
Timothy Clem
2d91f699f6 Fix up tests to assert wildcard imports 2018-03-01 14:59:09 -08:00
Timothy Clem
ad225f7d89 Updated test fixtures for qualified imports 2018-03-01 14:04:13 -08:00
Timothy Clem
3352b840aa Simplify these to get started 2018-03-01 11:47:38 -08:00
Timothy Clem
bc883f3941 Another updated fixture from new import alias structure 2018-03-01 11:47:29 -08:00
Timothy Clem
ee749ddcf1 Restructure Python import alias assignment 2018-03-01 11:45:43 -08:00
Timothy Clem
ca57af6132 Merge remote-tracking branch 'origin/master' into environment-scoping 2018-03-01 10:08:38 -08:00
Timothy Clem
b1b463fb99 Begin to build some python fixtures for imports 2018-03-01 10:08:15 -08:00
joshvera
e32961edde Rename semantic-diff to semantic 2018-02-26 13:16:56 -05:00
joshvera
68e4bd3f44 Allow nested identifiers in JSX elements and optional JXAttribute assignments 2018-02-14 09:40:15 -05:00
joshvera
19ab77f434 Use expressions 2018-02-13 20:28:31 -05:00
joshvera
616a82eb8a Fix tests 2018-02-13 12:44:50 -05:00
Timothy Clem
aed971ed07 Merge branch 'master' into import-graph 2018-02-12 10:11:29 -08:00
Timothy Clem
c1bc28d0ac Cleanup commented out code 2018-02-07 13:07:38 -08:00
Timothy Clem
84cde2559b Cleanup imports 2018-02-07 12:28:18 -08:00
Timothy Clem
48effe84df Ha, whoops - actually use path argument 2018-02-07 12:28:13 -08:00
Timothy Clem
fb000828ed Test out import-graph output for relevant languages 2018-02-07 12:20:41 -08:00
Timothy Clem
fec643536b Move Verbatim to SpecHelpers 2018-02-07 12:20:27 -08:00
Timothy Clem
25cf8bb56d Clean up python import parsing a bit more
Makes sure we can parse things like:
from b import a as x, b as y
2018-02-06 13:40:49 -08:00
Josh Vera
88b8c64df5 Merge branch 'master' into php-assignment 2018-02-05 17:02:35 -05:00
Timothy Clem
475d222cb5 Fix up python tests after changing to support ImportSymbol 2018-01-30 13:14:50 -08:00
Josh Vera
74021e96b8 Merge branch 'master' into flatten-trees 2018-01-25 18:27:27 -05:00
joshvera
819664e2f7 Merge remote-tracking branch 'origin/master' into php-assignment 2018-01-25 17:46:00 -05:00
joshvera
11a5cd1455 Enable ruby test 2018-01-25 12:25:02 -05:00
Rob Rix
663621d786 Mark the failing fixture as pending. 2018-01-24 15:17:28 -05:00
Timothy Clem
a1fb0a1ee5 Flatten out python trees a bit 2018-01-19 07:51:01 -08:00
joshvera
90a24bab28 scopedCallExpression has a scopeResolutionQualifier 2018-01-18 12:12:44 -05:00
Timothy Clem
b42bc69120 Merge branch 'master' into symbols-output 2018-01-18 09:05:38 -08:00
Timothy Clem
17cf9c26af Special handling of ruby require, load, and friends 2018-01-17 15:30:46 -08:00
Timothy Clem
435e5fb91b Test out tags output too so we don't break it 2018-01-17 13:31:56 -08:00
Timothy Clem
198c31e9f0 Fix up test output, test symbols output 2018-01-17 12:59:08 -08:00
Timothy Clem
6517970f8a Symbol rendering (like tags, but new hotness) 2018-01-17 12:54:17 -08:00
joshvera
0e6b98239a Regenerate tests 2018-01-16 18:24:58 -05:00
joshvera
cbb003499f Add a import require test 2018-01-16 18:17:12 -05:00
Timothy Clem
98a369668d Remove imports from diff toc output 2018-01-16 13:35:52 -08:00
Timothy Clem
c197b7a2b9 Toc output has imports in in now, fix tests 2018-01-16 11:50:26 -08:00
Timothy Clem
9e3cbe07bb Fix up JavaScript tests for new structure of Import 2018-01-15 20:16:24 -07:00
Timothy Clem
88fe5fc46a Fix up TypeScript tests for new structure of Import 2018-01-15 20:15:44 -07:00
Timothy Clem
ea5d7437d4 Fix up Python tests for new structure of Import 2018-01-15 20:14:50 -07:00
Timothy Clem
9b3cc349d3 Fix up Go test for new structure of Import 2018-01-15 20:10:48 -07:00
joshvera
6ffbd5f4e0 Merge remote-tracking branch 'origin/master' into php-assignment 2018-01-11 15:36:57 -05:00
Timothy Clem
02c18b45fd Remove metadata from response 2018-01-08 09:36:17 -08:00
joshvera
df973897fa Fix boolean operator tests 2017-12-27 14:50:33 -05:00
Timothy Clem
ffbd4b8bbc Merge remote-tracking branch 'origin/master' into diff-api-updates 2017-12-20 13:31:10 -08:00
Rick Winfrey
e56ec0a416 Merge branch 'master' into update-go-assignment 2017-12-19 14:08:14 -08:00
Rick Winfrey
fddd6e106b Regenerate tests 2017-12-19 14:04:48 -08:00
Timothy Clem
875ff4dda9 Merge remote-tracking branch 'origin/master' into diff-api-updates 2017-12-19 11:32:26 -08:00
Rick Winfrey
e596fc1b2c Regenerate tests 2017-12-19 10:58:36 -08:00
Timothy Clem
74f7f4afd9 Diff JSON output includes path key now too 2017-12-18 15:27:53 -08:00
Rob Rix
a112fca6f3 Merge branch 'master' into 🔥-monolithic-syntax 2017-12-18 15:07:00 -05:00
Timothy Clem
82ce34a00e Revert "Keep backwards compat with filePath for now"
This reverts commit d9b427d264d05db8b62f83b8553b5b9250d50cb4.
2017-12-14 13:49:43 -08:00
Timothy Clem
a50b55b490 Keep backwards compat with filePath for now 2017-12-14 11:42:22 -08:00
Timothy Clem
44d9abc9b2 Fix up expected parse/diff JSON output 2017-12-14 10:11:14 -08:00
Timothy Clem
8e8d2fb41e Merge remote-tracking branch 'origin/master' into bidistribute 2017-12-13 09:14:05 -08:00
Josh Vera
8fa6a723e6 Merge branch 'master' into identifierAlgebra 2017-12-12 15:50:56 -05:00
Timothy Clem
dce9ffa61c Fix up expected JSON output in specs 2017-12-12 11:42:04 -08:00
Josh Vera
3b51c592d9 Merge branch 'master' into rws-minus-p-equals-rws 2017-12-12 13:36:03 -05:00
Timothy Clem
47ce5a63c1 Test null on both sides in JSON payload 2017-12-11 12:59:14 -08:00
Timothy Clem
2f6c669899 Remove extra parens 2017-12-11 12:58:57 -08:00
Timothy Clem
deb7ebadd2 🔥 blobOid too 2017-12-11 11:03:00 -08:00
Timothy Clem
ad377910f9 Completely remove blobKind 2017-12-11 10:54:18 -08:00
Timothy Clem
8ce213fc44 No longer need to track blobKind in Maybe 2017-12-11 10:51:52 -08:00
Timothy Clem
844fc3f8b5 Use Join These Blob instead 2017-12-11 09:09:07 -08:00
Timothy Clem
148edbc184 Remove spec specific readFile 2017-12-11 08:27:13 -08:00
Timothy Clem
24d98ad71c Fix up tests 2017-12-10 08:46:17 -08:00
Rob Rix
10b8de93b3 Update the fixtures. 2017-12-01 17:13:24 -05:00
Rick Winfrey
d649a514af Update tests 2017-12-01 13:36:38 -08:00
Rick Winfrey
df52854ef0 Merge branch 'master' into cyclomatic-complexity-decorator 2017-12-01 11:23:15 -08:00
Rob Rix
ecfd121575 Merge branch 'master' into 🔥-monolithic-syntax 2017-12-01 12:28:19 -05:00
Rob Rix
cffe4a757e Merge branch 'master' into update-go-toc-rendering 2017-12-01 11:22:27 -05:00
Rick Winfrey
e18ca5b9d0 Merge branch 'update-go-toc-rendering' of github.com:github/semantic-diff into update-go-toc-rendering 2017-11-30 16:55:40 -08:00
Rick Winfrey
be3d497f8c Add interface test cases for method specs without return types 2017-11-30 16:55:38 -08:00
Rick Winfrey
3bc8c4cff5 Merge branch 'master' into update-go-toc-rendering 2017-11-30 16:37:14 -08:00
Rick Winfrey
442824949d Update tests 2017-11-30 16:28:04 -08:00
Rob Rix
4ccf265c4e Opt the tests into using record syntax. 2017-11-30 11:12:23 -05:00
Rob Rix
2bbd4e7a49 Test that derived & generic showsPrec agree for infix constructors. 2017-11-30 10:47:53 -05:00
Rob Rix
6ce7ba6b2a Rename the record test. 2017-11-30 10:45:52 -05:00
Rob Rix
517843b603 Test that generic Show1 shows record selectors. 2017-11-30 10:44:32 -05:00
Rob Rix
4b928a6c4e Test that derived & generic showsPrec agree. 2017-11-30 10:41:26 -05:00
Rob Rix
221a88f452 Test that derived & generic equality agree. 2017-11-30 10:38:46 -05:00
Rob Rix
67f251e223 Combine the generic Eq1, Ord1, & Show1 implementations into a single module. 2017-11-30 10:24:48 -05:00
Rob Rix
4fe9c9ca52 Merge branch 'musical-modules' into 🔥-monolithic-syntax 2017-11-30 10:06:30 -05:00
Rob Rix
cbd02eab7b Merge branch 'master' into musical-modules 2017-11-30 09:53:19 -05:00
Rick Winfrey
951a846c53 Regenerate tests 2017-11-29 17:55:52 -08:00
Rick Winfrey
31d8962b7b Update tests for receive operator 2017-11-29 12:54:28 -08:00