github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-25 07:55:12 +03:00
Code Issues Projects Releases Wiki Activity
22,443 Commits 19 Branches 16 Tags 46 MiB
3e02366d14
Commit Graph

3167 Commits

Author SHA1 Message Date
Rob Rix
2aae3dbdd3 Allow runGoto to return its jump table. 2018-05-08 11:10:35 -04:00
Rob Rix
97915e1410 Rename lambda to closure. 2018-05-08 10:54:32 -04:00
Rob Rix
d9084f9f45 lambda takes the set of free variables as a parameter. 2018-05-08 10:54:04 -04:00
Rob Rix
5a4e6cb0b0 Merge branch 'evaluator-dsl' into evaluate-closures-without-terms 2018-05-08 10:40:41 -04:00
Rob Rix
8881dc0284 Fix an ambiguous reference to runM. 2018-05-08 10:40:25 -04:00
Rob Rix
65bcc461fc Merge branch 'evaluator-dsl' into evaluate-closures-without-terms 2018-05-08 10:36:04 -04:00
Rob Rix
c153815859 Merge branch 'musical-chairs,-evaluator-edition' into evaluator-dsl 2018-05-08 10:32:51 -04:00
Rob Rix
eacb5b47d7 Implement goto using Goto effects embedding evaluators. 2018-05-08 10:19:50 -04:00
Rob Rix
2b2a6f0cd8 Specialize ValueError to Value. 2018-05-08 09:05:43 -04:00
Patrick Thomson
d12ecb8387 move the trace runners to Control.Effect 2018-05-07 17:22:26 -04:00
Rob Rix
b66ea73427 Reassociate errors in the specs. 2018-05-07 16:56:40 -04:00
Rob Rix
d9e76fb2c5 Test that we can call functions. 2018-05-07 16:06:21 -04:00
Rob Rix
c05884195d Add environment errors to the mix. 2018-05-07 16:06:04 -04:00
Rob Rix
de1a8e1164 Clean up a redundant pure. 2018-05-07 16:05:55 -04:00
Rob Rix
b589d4f7d0 Define a FreeVariables instance for Term. 2018-05-07 16:05:27 -04:00
Rob Rix
b1dea9c5f0 Switch variable over to EnvironmentError. 2018-05-07 15:56:47 -04:00
Rob Rix
ca778fd76e We don’t need to constrain the term type any more. 2018-05-07 15:25:05 -04:00
Rob Rix
4f64d95a51 🔥 redundant language extensions. 2018-05-07 15:21:41 -04:00
Rob Rix
28eec7a7ec Lift TermEvaluators to Subterm evaluators. 2018-05-07 15:19:57 -04:00
Rob Rix
a4e823681f Define a TermEvaluator synonym. 2018-05-07 15:19:36 -04:00
Patrick Thomson
50ea7d1a09 remove duplication 2018-05-07 15:13:40 -04:00
Rob Rix
3b4b953506 Run evaluators in IO. 2018-05-07 15:13:01 -04:00
Rob Rix
1bd817bc76 Test that we can construct integers. 2018-05-07 15:10:41 -04:00
Rob Rix
980fd74aed Define an evaluator helper. 2018-05-07 15:10:11 -04:00
Rob Rix
47d48d695e Add types for terms, values, and the effects for evaluating terms. 2018-05-07 15:09:50 -04:00
Patrick Thomson
110365733c fix specs 2018-05-07 14:39:01 -04:00
Rob Rix
c427be3670 Stub in a spec for Evaluator. 2018-05-07 14:21:05 -04:00
Rob Rix
ca5ca629dc Run the analysis. 2018-05-06 17:38:04 -04:00
Rob Rix
2fa602c98f Fix stale references to interpret. 2018-05-06 17:37:44 -04:00
Rob Rix
a23bc350da Constrain the specs to Value Precise. 2018-05-06 17:36:33 -04:00
Rob Rix
e638fb4715 Update the specs to use a testEvaluating analysis. 2018-05-06 17:30:07 -04:00
Rob Rix
b6709b4da2 Use the correct injection/projection functions in the tests. 2018-05-06 17:23:39 -04:00
Rob Rix
da3ddd2b17 Fix the specs. 2018-05-02 16:10:56 -04:00
Rob Rix
243fb331fc Fix stale references to inj in the tests. 2018-05-02 15:55:10 -04:00
Rob Rix
911111987a Return to piecemeal state effects, and combine them in Evaluating. 2018-05-02 15:54:11 -04:00
Rob Rix
152fe6a6a8 Fix the ambiguity around Sum. 2018-05-02 13:14:51 -04:00
Rob Rix
ebc8e01cc4 Use our own local definition of Sum. 2018-05-02 12:00:15 -04:00
Rob Rix
216b414995 LoadError doesn’t need a type parameter for the value. 2018-04-30 16:40:27 -04:00
Rob Rix
57389da2c9 Add a test that we pass arguments correctly. 2018-04-30 14:50:16 -04:00
Rob Rix
013b5cb4b7 Merge branch 'master' into analyses-provide-and-handle-effects 2018-04-30 14:22:09 -04:00
Timothy Clem
a5cc587b85 Merge remote-tracking branch 'origin/master' into eval-__FILE__ 2018-04-27 07:59:06 -07:00
Timothy Clem
d2b47533f7 Fix up test 2018-04-27 07:56:59 -07:00
Rob Rix
0720ee9267 A tidy module header is a happy module header. 2018-04-27 10:11:54 -04:00
Rob Rix
173645a48b 🔥 readFileVerbatim. 2018-04-27 10:10:43 -04:00
Rob Rix
2fc2090e02 Move ValueError & throwValueError into Data.Abstract.Value. 2018-04-27 10:09:03 -04:00
Rob Rix
33d68f9d8d Treat breaks as an effect. 2018-04-27 10:00:07 -04:00
Rob Rix
97c76c7fdc Rename ReturnThrow to Return, and use it as an effect. 2018-04-27 09:26:40 -04:00
Charlie Somerville
7cdb2625fd fix tests 2018-04-27 12:04:48 +10:00
Timothy Clem
08600b4155 Merge remote-tracking branch 'origin/master' into eval-__FILE__ 2018-04-26 13:23:42 -07:00
Rob Rix
1942e20af1 🔥 runAnalysis. 2018-04-26 10:17:47 -04:00
Rob Rix
5ed0e37740 Move diffWithParser into the tests. 2018-04-26 09:05:18 -04:00
Rob Rix
94f5ea39dd Add an Erroring analysis for LoadErrors. 2018-04-26 08:50:41 -04:00
Timothy Clem
2bc392b282 Merge remote-tracking branch 'origin/master' into eval-__FILE__ 2018-04-25 16:23:07 -07:00
Rob Rix
f264a605ed Fix up the specs. 2018-04-25 17:12:10 -04:00
Rob Rix
2267f24ea8 Merge branch 'master' into analyses-provide-and-handle-effects 2018-04-25 16:43:00 -04:00
Timothy Clem
8e50c3b5f9 Fix tests 2018-04-25 12:46:38 -07:00
Timothy Clem
37c8bffb82 Merge remote-tracking branch 'origin/master' into resume-on-resolutionerror 2018-04-25 10:51:23 -07:00
Rob Rix
22c8fec448 Import the other exceptions. 2018-04-25 12:46:01 -04:00
Rob Rix
ddef556499 Import Erroring. 2018-04-25 12:38:28 -04:00
Rob Rix
4be5418b92 Correct the type of TestEvaluating. 2018-04-25 12:34:08 -04:00
joshvera
f7e6609069 Remove readProjectEntry 2018-04-25 12:10:33 -04:00
Timothy Clem
af46dbd3aa Merge remote-tracking branch 'origin/master' into resume-on-resolutionerror 2018-04-24 14:00:07 -07:00
Josh Vera
48c471e9d6 Merge branch 'master' into project-dir 2018-04-24 16:31:20 -04:00
joshvera
421cc0d1a1 Add readProjectEntry to the Files effects 2018-04-24 15:48:44 -04:00
Rob Rix
aab795d9bb Correct an import in the specs. 2018-04-24 12:00:43 -04:00
joshvera
3fb3097c96 back to using Maybe Language in File 2018-04-23 19:47:13 -04:00
Patrick Thomson
930b7d513d Merge remote-tracking branch 'origin/master' into break-continue 2018-04-23 19:10:37 -04:00
Timothy Clem
ba2d2b6eb3 Changed the structure of ImportPath so I guess we diff differently 2018-04-23 15:53:53 -07:00
Patrick Thomson
061b6852a8 Add test cases. 2018-04-23 13:14:52 -04:00
Patrick Thomson
ab8dc613fd Fix tests. 2018-04-23 13:09:32 -04:00
Timothy Clem
0ebf2185ab Merge remote-tracking branch 'origin/master' into lazy-parse 2018-04-23 09:23:58 -07:00
Patrick Thomson
6f63463269 Remove explicit Paren node from syntax trees. 
As @robrix pointed out, adding explicit parenthesis nodes to our ASTs
bloats them with no added gain in expressivity. A pretty-printing
solution should use something analogous to `showsPrec` to ensure that
parentheses are printed properly.
 2018-04-23 11:00:10 -04:00
Timothy Clem
10d13cd424 Bring preludes back for testing, clean up Util 2018-04-22 07:47:59 -07:00
Timothy Clem
45386ed1ce Get the tests compiling again 2018-04-21 07:22:09 -07:00
Timothy Clem
e2722ea7e9 Construct File(s) here too 2018-04-20 16:34:37 -07:00
Timothy Clem
f96db32268 Few more test fixes 2018-04-20 16:30:06 -07:00
Timothy Clem
7c2a8a464e Couple of test fixes 2018-04-20 16:27:53 -07:00
Charlie Somerville
0d9cb46d07 add test cases for early return 2018-04-20 14:47:52 +10:00
Timothy Clem
07d8080ebb Merge remote-tracking branch 'origin/master' into parse-examples 2018-04-19 13:12:25 -07:00
joshvera
8b2f2656cb Merge remote-tracking branch 'origin/master' into infinite-loops 2018-04-19 14:06:55 -04:00
joshvera
c8784ffab9 Revert "Yield maybes from scopedEnvironment, and values from ScopedEnvironmentErrors" 
This reverts commit d09318a14143b80ae4e90a7192e94b0f9b512bd3.
 2018-04-19 13:45:39 -04:00
joshvera
984cda99d0 Fix tests 2018-04-19 13:35:45 -04:00
Timothy Clem
da644812c6 Remove js-test submodule 2018-04-18 14:20:25 -07:00
Timothy Clem
892eb982b0 Remove jquery as submodule 2018-04-18 14:15:30 -07:00
Timothy Clem
d20d2a02bd Remove backbone as example repo 2018-04-18 13:56:39 -07:00
Timothy Clem
2617b3a4a6 Move cli fixtures around 2018-04-18 13:55:21 -07:00
Timothy Clem
b9857cd033 Move the toc test fixtures around too 2018-04-18 13:42:29 -07:00
Timothy Clem
ea0afa1747 Move corpus tests into their own dir 2018-04-18 13:33:17 -07:00
joshvera
d8c597e894 Merge remote-tracking branch 'origin/master' into typescript-graphs 2018-04-18 14:20:22 -04:00
Patrick Thomson
3165913188 fix go diffs 2018-04-18 10:17:21 -04:00
joshvera
5bac8ca4cf Fix test 2018-04-17 19:35:57 -04:00
joshvera
3a93f1fca8 Import Evaluatable for ExportError 2018-04-17 19:26:35 -04:00
joshvera
7d53807286 Update test to expect an resumable EvalError 2018-04-17 19:24:55 -04:00
Patrick Thomson
eb649777cd fix test cases 2018-04-17 18:42:02 -04:00
Timothy Clem
95b7fd5888 Resolve module import paths that walk up directory structure (e.g. ../) 2018-04-17 14:13:01 -07:00
Timothy Clem
400f831f5c These assign as symbols now! 2018-04-16 16:59:16 -07:00
Timothy Clem
36e4bbecd9 Python fixture fixes 2018-04-16 16:52:54 -07:00
Timothy Clem
44e0d2f08e Merge remote-tracking branch 'origin/master' into typescript-graphs 2018-04-16 08:28:48 -07:00
Charlie Somerville
bdcd8fcbc3 ruby: implement more strict assignment for parameters 2018-04-16 16:19:23 +10:00
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