github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-29 18:06:14 +03:00
Code Issues Projects Releases Wiki Activity
23,505 Commits 19 Branches 16 Tags 46 MiB
eedc8f4b7e
Commit Graph

63 Commits

Author SHA1 Message Date
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
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
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
Rob Rix
2410387e97 Allow the tests to examine the traces. 2018-05-10 10:58:24 -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
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
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
e638fb4715 Update the specs to use a testEvaluating analysis. 2018-05-06 17:30:07 -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
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
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
Timothy Clem
f3b196f962 Bring TS assignment and eval of imports up-to-date 2018-04-02 14:54:23 -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
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
126cdc5285 Make typeapplications a default extension 2018-03-26 12:00:19 -04:00
Timothy Clem
7f71e27df4 Some helpers to query Final 2018-03-23 10:11:29 -07:00
Patrick Thomson
56e7c25268 Move Exports to its own module. 2018-03-16 14:09:41 -04:00
Timothy Clem
a40dc8825e One more fst 2018-03-15 15:28:41 -07:00