github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-21 05:41:54 +03:00
Code Issues Projects Releases Wiki Activity
23,493 Commits 19 Branches 16 Tags 46 MiB
1e26865c65
Commit Graph

62 Commits

Author SHA1 Message Date
Rob Rix
2ad49b314f Update the specs. 2018-06-18 11:10:44 -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
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
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
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
69bd2c0af5 Test Python environments/heaps without encoding addresses. 2018-05-10 09:59:54 -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
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
Rob Rix
1942e20af1 🔥 runAnalysis. 2018-04-26 10:17:47 -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
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
984cda99d0 Fix tests 2018-04-19 13:35:45 -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
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
Rob Rix
b8d714af28 Use the EvaluatingState fields directly. 2018-03-27 15:23:26 -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
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
Timothy Clem
7f71e27df4 Some helpers to query Final 2018-03-23 10:11:29 -07: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
joshvera
5905c85052 Add join to tests 2018-03-23 10:29:01 -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
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