1
1
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Commit Graph

3097 Commits

Author SHA1 Message Date
Patrick Thomson
faf246ff1e Merge remote-tracking branch 'origin/master' into fix-scientific-parsing 2018-04-04 15:40:51 -04:00
Patrick Thomson
1138bd3141 Fix tests. 2018-04-04 12:53:54 -04:00
Timothy Clem
4b9caec4c5 Fix up tests for Name wrapper 2018-04-04 08:59:13 -07:00
Timothy Clem
7dd2c2b0c4 With print in prelude, fix up these specs 2018-04-03 15:50:18 -07:00
Patrick Thomson
c36256e943 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-03 17:02:56 -04:00
Timothy Clem
208d16e131 Disable import-graph specs for now 2018-04-03 10:12:20 -07:00
Timothy Clem
69a46e4edc Merge remote-tracking branch 'origin/master' into module-resolution 2018-04-02 16:28:35 -07:00
Timothy Clem
275d558843 Javascript import assignment changed - update fixtures 2018-04-02 15:20:31 -07:00
Timothy Clem
64369758a6 qualified identifier changes changes ruby assignment here 2018-04-02 15:18:56 -07:00
Timothy Clem
e9b6887268 Python import assignment changed - update fixtures 2018-04-02 15:18:23 -07:00
Timothy Clem
1001e85173 Some other go changes due to lack of qualifedName 2018-04-02 15:14:59 -07:00
Timothy Clem
dfafcc983f Go import assignment changed - update fixtures 2018-04-02 15:14:05 -07:00
Timothy Clem
568adc1477 TypeScript import syntax changed - update fixtures 2018-04-02 15:11:45 -07:00
Timothy Clem
74c195385e Disable specs for import graph output temporarily 2018-04-02 15:11:25 -07:00
Timothy Clem
f3b196f962 Bring TS assignment and eval of imports up-to-date 2018-04-02 14:54:23 -07:00
Timothy Clem
d64da14b27 Fix up Go specs 2018-04-02 14:54:08 -07:00
Timothy Clem
61327b7242 Cleanup this ts fixture 2018-04-02 14:53:24 -07:00
Timothy Clem
a6eae9dc88 Fix up go imports for the new world 2018-04-02 13:32:41 -07:00
Timothy Clem
55fa6480d6 Fix up PHP eval specs 2018-04-02 11:37:01 -07:00
Timothy Clem
eb883770df Bring Ruby up to speed with latest import strategy 2018-04-02 11:31:26 -07:00
Timothy Clem
69e5220fff Typo 2018-04-02 11:18:58 -07:00
Timothy Clem
e54e61cea0 Python imports in the new world work again 2018-04-02 11:07:09 -07:00
Timothy Clem
a3d35ac9a0 WIP: Attempt to back out Identifiers as qualified names 2018-04-02 10:40:52 -07:00
Rob Rix
a522efcb1e Hide an ambiguous symbol. 2018-03-30 19:53:23 -04:00
Timothy Clem
a495716e09 Fix it so that the tests compile 2018-03-30 16:19:39 -07:00
joshvera
e8db080923 Merge remote-tracking branch 'origin/master' into less-fail 2018-03-28 13:12:20 -04:00
joshvera
af0793a7ad Add Eq1 error instances and fix tests 2018-03-28 12:58:12 -04:00
Josh Vera
6bb737c18f Merge branch 'master' into combined-state-effects 2018-03-28 11:56:17 -04:00
Josh Vera
c79f178fc1 Merge branch 'master' into matching 2018-03-28 11:45:57 -04:00
Rob Rix
5ae24ddc89 Merge branch 'master' into combined-state-effects 2018-03-28 08:33:19 -04:00
Timothy Clem
5c1e5514f7 Merge branch 'master' into you-get-a-namespace 2018-03-27 15:40:30 -07:00
Timothy Clem
3d56947e82 Fix typos 2018-03-27 15:18:38 -07:00
Patrick Thomson
85d064bf95 Merge remote-tracking branch 'origin/master' into matching 2018-03-27 16:34:31 -04:00
Patrick Thomson
034bb562d4 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 16:14:30 -04:00
Rob Rix
b8d714af28 Use the EvaluatingState fields directly. 2018-03-27 15:23:26 -04:00
Rob Rix
7a10eabfd7 🔥 an unused language pragma. 2018-03-27 15:14:25 -04:00
Timothy Clem
e770aaec35 Fix up Import graph output 2018-03-27 10:20:41 -07:00
Timothy Clem
e2d13b6cdc Fix up specs 2018-03-27 10:20:28 -07:00
Timothy Clem
094432934f Ruby class example 2018-03-26 15:30:11 -07:00
Timothy Clem
bea56e5bab Demonstrate a little more detail of subclassing 2018-03-26 15:29:39 -07:00
Timothy Clem
e78740ef88 Add another layer to Ruby module fixture 2018-03-26 13:00:49 -07:00
Timothy Clem
3eece19234 Assert environment has module in it 2018-03-26 12:53:58 -07:00
Timothy Clem
f3ceab31b0 Cleanup 2018-03-26 12:53:49 -07:00
Timothy Clem
203042742b Spec to asset eval of ruby modules 2018-03-26 12:50:06 -07:00
Timothy Clem
4c445c2fc1 Fix references to PackageDef in tests 2018-03-26 12:49:52 -07:00
Timothy Clem
365a592c03 Go assignment changed with new Package syntax 2018-03-26 11:09:22 -07:00
Josh Vera
4b22e851d3 Merge branch 'master' into disable-doctests 2018-03-26 13:28:03 -04:00
joshvera
e98dbf177f Explicitly list out doctest modules 2018-03-26 13:03:25 -04:00
joshvera
e6fce8f67d Add it to the doctest file 2018-03-26 12:20:22 -04:00
joshvera
3fea455061 typo 2018-03-26 12:05:54 -04:00
joshvera
126cdc5285 Make typeapplications a default extension 2018-03-26 12:00:19 -04:00
Rob Rix
b7f7ff3e68 Merge branch 'master' into remove-fail 2018-03-26 10:08:54 -04:00
joshvera
cf4a87068e Merge remote-tracking branch 'origin/master' into preludes-and-subclassing 2018-03-23 17:56:26 -04:00
joshvera
a149c76a05 Merge remote-tracking branch 'origin/master' into remove-fail 2018-03-23 17:40:22 -04:00
joshvera
ba3969c4b0 Merge remote-tracking branch 'origin/master' into query-final-helpers 2018-03-23 17:03:25 -04:00
joshvera
b1efc533cf fix test 2018-03-23 15:37:06 -04:00
joshvera
dbaf374d3a Merge remote-tracking branch 'origin/master' into remove-fail 2018-03-23 15:29:47 -04:00
Josh Vera
745eb85ee7 Merge branch 'master' into preludes-and-subclassing 2018-03-23 15:26:41 -04:00
Josh Vera
140ccb02c1 Merge branch 'master' into no-really-php-namespaces 2018-03-23 15:04:59 -04:00
Timothy Clem
465feebb39 Remove a few extra parens 2018-03-23 11:25:02 -07:00
Timothy Clem
7f71e27df4 Some helpers to query Final 2018-03-23 10:11:29 -07:00
Timothy Clem
8c90975a48 Write a test, fix a bug 2018-03-23 08:57:02 -07:00
Patrick Thomson
dce0f5c277 fix the specs 2018-03-23 11:50:53 -04:00
joshvera
173781c501 Add Eq1 instances to exception types 2018-03-23 11:48:56 -04:00
Patrick Thomson
3e3ad4f078 very bad, no good hack to fix a lot of the tests 2018-03-23 11:25:05 -04:00
joshvera
68ca81ad97 Merge branch 'module-resolution' into remove-fail 2018-03-23 11:01:13 -04:00
Patrick Thomson
15cc860ad1 Merge remote-tracking branch 'origin/master' into preludes-and-subclassing 2018-03-23 10:31:51 -04:00
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