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
20,932 Commits 19 Branches 16 Tags 46 MiB
142a899ac5
Commit Graph

20932 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
142a899ac5 Add an Evaluator datatype wrapping some effectful interpreter. 2018-04-25 19:22:23 -04:00
Rob Rix
b9b529076b Give Interpreter a type family for the result type. 2018-04-25 19:12:54 -04:00
Rob Rix
e19b07c0ec Merge branch 'master' into embed-interpreters-in-closures 2018-04-25 18:51:30 -04:00
Rob Rix
b75ff20fb3 Correct the type of the comparison helper. 2018-04-25 18:49:22 -04:00
Rob Rix
f3e6a7fca3 Correct the type signature for specialize. 2018-04-25 18:48:22 -04:00
Rob Rix
7ea0a8e898 Move the Show constraint on location into the MonadValue instance for Value. 2018-04-25 18:40:22 -04:00
Rob Rix
18cae1545d Correct a doc. 2018-04-25 18:37:41 -04:00
Rob Rix
8fd919d20e 🔥 the Monoid instance of Lower. 2018-04-25 18:35:30 -04:00
Rob Rix
71c5558213 Define a Lower instance for Origin. 2018-04-25 18:31:18 -04:00
Rob Rix
2066b33aaf Rename Empty to Lower. 2018-04-25 18:25:02 -04:00
Rob Rix
b4c5648ff0 Move throwResumable, throwException, and catchException into Control.Effect. 2018-04-25 18:24:37 -04:00
Rob Rix
19128b3183 Use raiseHandler to simplify some local calls. 2018-04-25 18:21:42 -04:00
Rob Rix
eae31711c2 Define the Empty instance for EvaluatorState in terms of other Empty instances. 2018-04-25 18:12:57 -04:00
Rob Rix
1e5e766da9 Move the result type to the next line. 2018-04-25 18:11:14 -04:00
Rob Rix
17494e7b78 Reformat the result type. 2018-04-25 18:10:39 -04:00
Rob Rix
a6fbc1fe22 MonadEvaluator does not imply Fail. 2018-04-25 18:10:05 -04:00
Rob Rix
15dcb44302 Make getConfiguration a function rather than a method. 2018-04-25 18:07:06 -04:00
Rob Rix
8d11219264 Move askRoots/extraRoots into Evaluator. 2018-04-25 18:05:07 -04:00
Rob Rix
87f2f982ff Use raiseHandler to lift local into Caching. 2018-04-25 18:04:27 -04:00
Rob Rix
501eb2291f 🔥 a redundant membership constraint. 2018-04-25 18:04:17 -04:00
Rob Rix
032d5bb183 🔥 CachingEffects. 2018-04-25 18:03:17 -04:00
Rob Rix
40fcaa58b9 Define a Retaining analysis. 2018-04-25 17:53:45 -04:00
Rob Rix
f0635c0390 📝 Collecting. 2018-04-25 17:53:37 -04:00
Rob Rix
fbd013c3d8 Sort the deriving clause. 2018-04-25 17:52:17 -04:00
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