1
1
mirror of https://github.com/github/semantic.git synced 2025-01-04 13:34:31 +03:00
Commit Graph

20908 Commits

Author SHA1 Message Date
Rob Rix
39e9dc84a6 Apply some “hints,” begrudgingly. 2018-04-25 17:34:43 -04:00
Rob Rix
f264a605ed Fix up the specs. 2018-04-25 17:12:10 -04:00
Rob Rix
463f221955 🔥 a language extension. 2018-04-25 17:06:42 -04:00
Rob Rix
11ee69e8d2 🔥 redundant re-exports. 2018-04-25 17:06:25 -04:00
Rob Rix
5293609c57 🔥 SomeAnalysis. 2018-04-25 17:06:14 -04:00
Rob Rix
61974e5446 Analyze tasks embed the analysis directly. 2018-04-25 17:06:02 -04:00
Rob Rix
90e9fbb708 Just say empty. 2018-04-25 16:58:25 -04:00
Rob Rix
028c94e4ec Tidy up a bunch of language extensions. 2018-04-25 16:50:45 -04:00
Rob Rix
beb7261608 Derive the MonadAnalysis instance for TypeChecking. 2018-04-25 16:49:27 -04:00
Rob Rix
2267f24ea8 Merge branch 'master' into analyses-provide-and-handle-effects 2018-04-25 16:43:00 -04:00
Rob Rix
1542832f45 Fix a stale reference to Quietly. 2018-04-25 15:46:20 -04:00
Rob Rix
6646c8ca27 Rename Quietly to BadSyntax. 2018-04-25 15:44:44 -04:00
Rob Rix
3df75c2947 Derive a bunch of MonadAnalysis instances. 2018-04-25 15:41:30 -04:00
Rob Rix
4375692182 Rephrase MonadHole as a pure AbstractHole class. 2018-04-25 15:28:24 -04:00
Josh Vera
37162efa1c Merge pull request #1773 from github/resumable-type-errors
Use resumable exceptions during typechecking.
2018-04-25 15:28:05 -04:00
Patrick Thomson
35a85e6a06 Merge branch 'master' into resumable-type-errors 2018-04-25 15:19:36 -04:00
Patrick Thomson
37cf10c07e merge fallout 2018-04-25 15:12:46 -04:00
Josh Vera
7735da634a Merge pull request #1768 from github/resume-on-resolutionerror
Better import graphs for Python, Go
2018-04-25 14:56:43 -04:00
Timothy Clem
2df02aae58 Bring back setting a customer rootDir 2018-04-25 11:00:41 -07:00
Timothy Clem
37c8bffb82 Merge remote-tracking branch 'origin/master' into resume-on-resolutionerror 2018-04-25 10:51:23 -07:00
Josh Vera
dec1bd28c1 Merge branch 'master' into resumable-type-errors 2018-04-25 13:21:40 -04:00
Josh Vera
acb06b32d0 Merge pull request #1769 from github/project-dir
Evaluate all files in a directory
2018-04-25 13:20:36 -04:00
Josh Vera
2b17afcd7f Merge branch 'master' into project-dir 2018-04-25 12:58:19 -04:00
Timothy Clem
2da5acf57a Add ability to exclude directories from globbing 2018-04-25 09:55:05 -07:00
Rob Rix
50bbe11d8d Interpret all of the analyses’ effects using raiseHandler. 2018-04-25 12:52:09 -04:00
Rob Rix
a4bef770cc Generalize raiseHandler. 2018-04-25 12:47:45 -04:00
Rob Rix
22c8fec448 Import the other exceptions. 2018-04-25 12:46:01 -04:00
Rob Rix
73839b88e5 🔥 a redundant language extension. 2018-04-25 12:43:02 -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
Rob Rix
8ba011ea8d Use raiseHandler to lift BadValues’ handler. 2018-04-25 12:29:51 -04:00
Rob Rix
fb75b282be Add a helper to raise an effect handler into an Effectful computation. 2018-04-25 12:29:16 -04:00
Rob Rix
16393af491 Spacing. 2018-04-25 12:29:04 -04:00
Rob Rix
2270b0378f Handle ArithmeticError. 2018-04-25 12:18:46 -04:00
Patrick Thomson
83925dc194 Merge branch 'master' into resumable-type-errors 2018-04-25 12:16:31 -04:00
joshvera
f7e6609069 Remove readProjectEntry 2018-04-25 12:10:33 -04:00
joshvera
0c8450edb6 Fix interface for graph 2018-04-25 12:08:32 -04:00
Rob Rix
b875664847 Merge branch 'master' into analyses-provide-and-handle-effects 2018-04-25 12:06:20 -04:00
Rob Rix
6c1eb6f120 Use the Empty instances for the initial values. 2018-04-25 12:05:36 -04:00
Rob Rix
7670c44a5e 📝 Interpreter. 2018-04-25 12:03:17 -04:00
Rob Rix
76b00d1074 🔥 the Effects type family. 2018-04-25 11:57:01 -04:00
Timothy Clem
e8488329fd Merge branch 'master' into resume-on-resolutionerror 2018-04-25 07:57:53 -07:00
Rob Rix
0b0bd2a1a8 🔥 Control.Effect.Fresh in favour of Control.Monad.Effect.Fresh. 2018-04-25 10:40:58 -04:00
Rob Rix
9b7079c9eb Bump effects for https://github.com/joshvera/effects/pull/34 2018-04-25 10:40:20 -04:00
Rob Rix
b074cc35ab 🔥 mergeEither. 2018-04-25 10:02:08 -04:00
Rob Rix
7cf79573e3 🔥 RunEffects/RunEffect. 2018-04-25 10:01:36 -04:00
Rob Rix
2c770138ec Use runFresh instead of runEffect. 2018-04-25 09:58:42 -04:00
Rob Rix
192367da0b Extract a runFresh helper. 2018-04-25 09:58:21 -04:00
Rob Rix
86ef19bbb0 Bump effects to master. 2018-04-25 09:52:44 -04:00
Patrick Thomson
13a01fc3b1 Merge pull request #1779 from github/catch-arith-exceptions
Catch and bubble up ArithExceptions that handle in math operations.
2018-04-25 09:48:36 -04:00