github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-29 01:42:43 +03:00
Code Issues Projects Releases Wiki Activity
27,552 Commits 19 Branches 16 Tags 46 MiB
0d3a2856c8
Commit Graph

289 Commits

Author SHA1 Message Date
Ayman Nadeem
0a10f79f36 Merge branch 'master' into eval-instances 2018-08-10 16:46:51 -04:00
Ayman Nadeem
a3c36b89ef add evaluatable instance and test for delete 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-08-09 17:55:59 -04:00
Ayman Nadeem
75aa8f7662 add tests for void 2018-08-09 16:41:29 -04:00
Rob Rix
7e53364ce8 And here as well. 2018-08-09 16:14:18 -04:00
Rob Rix
bc4674dbf6 🔥 ns. 2018-08-09 16:13:54 -04:00
Ayman Nadeem
fd70377a85 add sequence expression to typescript test spec 2018-08-09 16:03:03 -04:00
Rick Winfrey
77c8867907 No longer need these imports 2018-08-08 10:31:59 -07:00
Rick Winfrey
383b6208ee Rename ErrorContext -> BaseError 2018-08-07 16:50:55 -07:00
Rick Winfrey
7bcd7d7fc8 Update tests 2018-08-07 16:45:44 -07:00
Rick Winfrey
cdedb5d893 Update tests 2018-08-07 10:48:01 -07:00
Rick Winfrey
823ae6ac51 Merge branch 'master' into error-context 2018-08-06 13:46:42 -07:00
Rick Winfrey
e42ffb38f5 Fix lints 2018-08-06 09:57:34 -07:00
Rick Winfrey
7a06b8c922 Fix up tests 2018-08-06 09:29:24 -07:00
Rick Winfrey
adfb20dadd Update Ruby.Spec 2018-08-03 17:11:21 -07:00
Rob Rix
ea69b5a6d3 Only pass a proxy to evaluateProject. 2018-08-02 10:24:55 -04:00
Charlie Somerville
8642cb4e1f fix method name order assertion in subclass spec 2018-07-23 17:42:03 +10:00
Charlie Somerville
de80f1906e fix SpecHelpers to hit heap for namespaces 2018-07-19 17:03:17 +10:00
Rob Rix
40d46e921d Pass the configuration to the analysis specs. 2018-07-10 14:09:22 -04:00
Rob Rix
bcbc70446c Merge branch 'charliesome/substitution' into abstract-abstract-semantics 2018-07-05 14:15:01 -04:00
Rob Rix
5100670e72 Rename Data.Abstract.Value to Data.Abstract.Value.Concrete. 2018-07-03 14:22:26 -04:00
Rob Rix
a236328056 Merge branch 'master' into higher-order-effects 2018-06-26 15:14:28 -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
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
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
Rob Rix
33c04b15c3 Get the tests compiling. 2018-06-22 13:52:21 -04:00
Rob Rix
eedc8f4b7e Rearrange the spec helper to match Util. 2018-06-21 14:52:08 -04:00
Rob Rix
e0f5d4ee22 Don’t use evaluating. 2018-06-21 13:22:58 -04:00
Rob Rix
2ad49b314f Update the specs. 2018-06-18 11:10:44 -04:00
Rob Rix
430a4e1cfa 🔥 emptyEnv. 2018-06-15 11:05:19 -04:00
Rob Rix
bcf9338b75 Update the language specs to respect the env-per-entry-point thing. 2018-05-30 17:19:05 -04:00
Rob Rix
f9b29f143e And another. 2018-05-30 09:46:56 -04:00
Rob Rix
04b43477c9 🔥 a reference to Address in the spec. 2018-05-30 09:46:30 -04:00
Rob Rix
6b780d297d Revert "These are probably integers." 
This reverts commit d2a74b2a4ca1472976abfccc09601c60840c1761.
 2018-05-28 16:06:25 -04:00
Rob Rix
0f3c7df8d1 These are probably integers. 2018-05-28 16:05:03 -04:00
Rob Rix
038d3d07eb Test the return values 2018-05-28 15:44:48 -04:00
Rob Rix
7b02e3e64f Correct the EnvironmentError application. 2018-05-28 15:30:19 -04:00
Rob Rix
f0c220906a Partially apply Eff in the tests. 2018-05-28 14:48:00 -04:00
Rob Rix
a01e723b31 Run ValueErrors in TermEvaluator. 2018-05-28 09:55:01 -04:00
Rob Rix
015b74cf41 Give Value a term type parameter once more. 2018-05-28 09:35:42 -04:00
Rob Rix
a2135fda74 Don’t use overloaded lists. 2018-05-28 09:35:03 -04:00
Rob Rix
2993c3588c Correct the specs. 2018-05-28 08:54:33 -04:00
Rob Rix
18b2cfc89f Merge branch 'master' into decompose-values 2018-05-18 14:14:55 -04:00
Rob Rix
109dbd3b44 Fix the typescript spec. 2018-05-18 13:07:37 -04:00
Josh Vera
053a158e59 Merge branch 'master' into update-fastsum 2018-05-18 10:44:08 -04:00
Patrick Thomson
322f348103 inj -> inject 2018-05-16 18:25:02 -04:00
Patrick Thomson
6b0198cb00 Remove otiose -Sum prefixes from all Data.Sum operations. 
There are no modules where we use both Union.inj and Sum.injectSum; as
such, it seems clumsy for such ubiquitous functions as inj and prj to
have such long names when there is no ambiguity. This restores the
codebase to much how it looked before we switched back to a richer
Data.Union.
 2018-05-16 15:27:08 -04:00
Timothy Clem
6517f12684 Merge remote-tracking branch 'origin/master' into python-relative-imports 2018-05-16 12:25:22 -07:00
Rob Rix
788618a9d0 Fix extracting values from Latest in the tests. 2018-05-15 17:43:57 -04:00
Timothy Clem
27ce720904 Test out relative python imports 2018-05-15 11:26:16 -07:00
Rob Rix
716e225da9 Test that puts ends up in the traces. 2018-05-10 11:03:42 -04:00
Rob Rix
13660b9e9d Test for expected symbols, not exact symbols. 2018-05-10 10:59:38 -04:00
Rob Rix
2410387e97 Allow the tests to examine the traces. 2018-05-10 10:58:24 -04:00
Rob Rix
75d2c50589 Test the results of cross-module function calls. 2018-05-10 10:26:07 -04:00
Rob Rix
4fca683eae Test for the presence of the desired symbols rather than the exact list. 2018-05-10 10:10:57 -04:00
Rob Rix
ae7ee6e860 Test Go environments/heaps against the names. 2018-05-10 10:07:11 -04:00
Rob Rix
5af09d94e1 Test PHP environments/heaps against the names, not addresses. 2018-05-10 10:03:59 -04:00
Rob Rix
69bd2c0af5 Test Python environments/heaps without encoding addresses. 2018-05-10 09:59:54 -04:00
Rob Rix
9ec588ed3c Use the shared helpers for TypeScript. 2018-05-10 09:59:31 -04:00
Rob Rix
821691549e Test the bound names, not their addresses. 2018-05-10 09:28:11 -04:00
Rob Rix
8b8f3007cf Test the imported names, not the prelude names. 2018-05-10 09:08:12 -04:00
Rob Rix
76a40939d6 Test the bound names. 2018-05-09 22:04:52 -04:00
Rob Rix
27a25d9a45 Type applications. 2018-05-09 22:04:46 -04:00
Rob Rix
c0993c63c9 Test our evaluation of __LINE__. 2018-05-09 15:23:52 -04:00
Rob Rix
fb04c57bdf Use a visible type application to inject the environment error. 2018-05-08 12:03:08 -04:00
Rob Rix
b66ea73427 Reassociate errors in the specs. 2018-05-07 16:56:40 -04:00
Rob Rix
b1dea9c5f0 Switch variable over to EnvironmentError. 2018-05-07 15:56:47 -04:00
Rob Rix
2fa602c98f Fix stale references to interpret. 2018-05-06 17:37:44 -04:00
Rob Rix
e638fb4715 Update the specs to use a testEvaluating analysis. 2018-05-06 17:30:07 -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
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
Rob Rix
1942e20af1 🔥 runAnalysis. 2018-04-26 10:17:47 -04:00
Rob Rix
f264a605ed Fix up the specs. 2018-04-25 17:12:10 -04:00
joshvera
f7e6609069 Remove readProjectEntry 2018-04-25 12:10:33 -04: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
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
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
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
Charlie Somerville
0d9cb46d07 add test cases for early return 2018-04-20 14:47:52 +10: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
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
joshvera
fde2253fc5 pure? 2018-04-05 19:49:50 -04:00
Timothy Clem
7dd2c2b0c4 With print in prelude, fix up these specs 2018-04-03 15:50:18 -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
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
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
Rob Rix
5ae24ddc89 Merge branch 'master' into combined-state-effects 2018-03-28 08:33:19 -04:00
Timothy Clem
3d56947e82 Fix typos 2018-03-27 15:18:38 -07:00
Rob Rix
b8d714af28 Use the EvaluatingState fields directly. 2018-03-27 15:23:26 -04:00
Timothy Clem
bea56e5bab Demonstrate a little more detail of subclassing 2018-03-26 15:29:39 -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
365a592c03 Go assignment changed with new Package syntax 2018-03-26 11:09:22 -07: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
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
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
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
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