1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 07:25:44 +03:00
Commit Graph

3068 Commits

Author SHA1 Message Date
Charlie Somerville
a81beeb125 ruby: register parameters as local identifier names 2018-04-16 16:19:23 +10:00
Charlie Somerville
cdb5672b27 test: fix expected output for parse and diff cli tests 2018-04-16 16:19:23 +10:00
Timothy Clem
c6cdfc4958 Fix CLI specs 2018-04-16 16:19:23 +10:00
Charlie Somerville
2d320fdba1 ruby: update test fixtures 2018-04-16 16:19:23 +10:00
Charlie Somerville
ba99be7345 ruby: emit barewords that aren't defined locals as method calls 2018-04-16 16:19:23 +10:00
Timothy Clem
ab0a6072b8 Some JavaScript analysis fixtures 2018-04-13 10:52:31 -07:00
Timothy Clem
775d39088a Merge remote-tracking branch 'origin/master' into charliesome/ruby-method-calls 2018-04-10 08:32:03 -07:00
Timothy Clem
8875a29c55 These now correctly parse as blocks 2018-04-10 07:57:28 -07:00
joshvera
2e84f8a637 Revert "Merge pull request #1728 from github/revert-ruby-method-calls"
This reverts commit 96fc6114d8d1d74c42d3971aa24e6a484de52933, reversing
changes made to 2f9da5213ef4cac0048339c9f84c33b873e88cc2.
2018-04-09 16:10:05 -04:00
joshvera
b012b97571 Revert "Merge pull request #1726 from github/charliesome/ruby-method-calls"
This reverts commit 3729f84c487cb2613fd99eca4c6cdb2178c88806, reversing
changes made to d8f0566783407780c1a0d0855f43200530887c54.
2018-04-09 14:45:34 -04:00
Charlie Somerville
774ed642bf ruby: update test fixtures 2018-04-09 12:04:11 +10:00
Josh Vera
d4bcfae104 Merge branch 'master' into repo-import-graph 2018-04-06 13:21:30 -04:00
Patrick Thomson
d31e3eca88 fix ALL the test failures 2018-04-06 13:05:28 -04:00
joshvera
cc21e22a9b Fix test fixtures 2018-04-06 12:42:24 -04:00
joshvera
56af15be92 Modify mergeNewer to merge from global envs to local envs 2018-04-06 12:37:01 -04:00
joshvera
1f441ec518 Merge remote-tracking branch 'origin/master' into repo-import-graph 2018-04-05 19:50:59 -04:00
joshvera
fde2253fc5 pure? 2018-04-05 19:49:50 -04:00
Rob Rix
a50f1226d4 Avoid re-exporting Task.parsePackage in SpecHelper. 2018-04-05 09:38:31 -04:00
Rob Rix
98084c5e81 Merge branch 'master' into task-in-eff 2018-04-05 09:18:32 -04:00
Rob Rix
41d974528e Fix a stale import. 2018-04-05 09:18:20 -04:00
Patrick Thomson
17cab0302e Merge branch 'master' into ruby-low-precedence-booleans 2018-04-04 15:49:07 -04:00
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