github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-04 13:34:31 +03:00
Code Issues Projects Releases Wiki Activity
19,047 Commits 19 Branches 16 Tags 46 MiB
6d40ceba39
Commit Graph

19047 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
35718fca96 Resume taking an explicit constructor in gather so it doesn’t have to be annotated with the type. 2018-03-12 11:42:14 -04:00
Rob Rix
82c578ed0d 📝 raise & lower. 2018-03-12 11:39:51 -04:00
Rob Rix
80f5a4e024 🔥 redundant extensions. 2018-03-12 11:37:56 -04:00
Rob Rix
fa4a74c3c1 Give a kind signature for Effectful’s parameter. 2018-03-12 11:37:23 -04:00
Rob Rix
5c415fee15 📝 Effectful. 2018-03-12 11:37:06 -04:00
Rob Rix
0171811da4 📝 trace. 2018-03-12 11:34:37 -04:00
Patrick Thomson
288308e6c0 Merge pull request #1521 from github/go-evaluation 
Support evaluating Go files
 2018-03-12 11:32:31 -04:00
Rob Rix
b21de35de8 More spacing. 2018-03-12 11:31:32 -04:00
Rob Rix
8cb9298f4c 📝 EvaluatingEffects. 2018-03-12 11:24:30 -04:00
Rob Rix
ecd0252c9c 📝 analyzeTerm. 2018-03-12 11:23:33 -04:00
Patrick Thomson
668fc45e63 add evaluateGoFile 2018-03-12 11:23:14 -04:00
Rob Rix
a222b10ded 📝 Caching’s RequiredEffects. 2018-03-12 11:22:15 -04:00
Rob Rix
63f8b113fd 📝 the CachingEffects list. 2018-03-12 11:21:13 -04:00
Rob Rix
3ef27e495f Spacing. 2018-03-12 11:19:52 -04:00
Patrick Thomson
8bebe26ea9 use the canonical definition of interface 2018-03-12 11:18:14 -04:00
Rob Rix
3bcb30dd67 📝 runAnalysis. 2018-03-12 11:17:42 -04:00
Patrick Thomson
8334619f95 DRY 2018-03-12 11:15:21 -04:00
Rob Rix
c4fa7d54a9 📝 RequiredEffects. 2018-03-12 11:14:23 -04:00
Rob Rix
e77553a3f0 📝 MonadCaching. 2018-03-12 11:11:49 -04:00
Patrick Thomson
547c2103b1 Merge remote-tracking branch 'origin/master' into go-evaluation 2018-03-12 11:09:56 -04:00
Patrick Thomson
69c1a53e3e Merge pull request #1540 from github/criterion 
Add evaluation benchmarks
 2018-03-12 11:07:15 -04:00
Patrick Thomson
46f4638497 Merge remote-tracking branch 'origin/master' into criterion 2018-03-12 10:53:50 -04:00
Patrick Thomson
6d5561f9b9 fix misalignment 2018-03-12 10:51:07 -04:00
Rob Rix
7f70c6d7e7 📝 CachingAnalysis. 2018-03-12 10:45:17 -04:00
Patrick Thomson
6f6f90ac3b Add Show constraint to MonadValue to improve error messages. 
Someday we will probably want our own bespoke `Debug` class so as to
save on compile times associated with generating `Show` instances. But
this is fine for now, and will also improve #1547.
 2018-03-12 10:42:52 -04:00
Rob Rix
00a6c1ad3d 📝 runAnalysis. 2018-03-12 10:38:32 -04:00
Rob Rix
52afe01b00 Reformat the signature for runAnalysis. 2018-03-12 10:37:35 -04:00
Rob Rix
848e78f959 📝 liftAnalyze. 2018-03-12 10:36:51 -04:00
Rob Rix
d615c38132 🔥 liftEvaluate. 2018-03-12 10:35:22 -04:00
Rob Rix
06be4ab967 📝 evaluateModule. 2018-03-12 10:33:27 -04:00
Patrick Thomson
8f7761ccc1 Merge pull request #1546 from github/weeder-pass 
Initial pass fixing errors raised by `weeder`.
 2018-03-12 10:32:12 -04:00
Rob Rix
a6c1b3663d 🔥 some unnecessary qualification. 2018-03-12 10:29:45 -04:00
Rob Rix
1e3f4a0481 Give a type signature for parseFile. 2018-03-12 10:27:53 -04:00
Rob Rix
8101cde85e Slightly less clever definition of parseFile. 2018-03-12 10:27:24 -04:00
Rob Rix
c4f11ea6f3 Import monoidal maps under Monoidal. 2018-03-12 10:22:55 -04:00
Patrick Thomson
8c2ffa6d8e Merge remote-tracking branch 'origin/master' into criterion 2018-03-12 10:22:41 -04:00
Patrick Thomson
ee2cbf9423 Merge remote-tracking branch 'origin/master' into weeder-pass 2018-03-12 10:12:30 -04:00
Patrick Thomson
ed6f6e77ff Merge pull request #1545 from github/remove-caching-interface 
🔥 Control.Monad.Effect.Cache.
 2018-03-12 10:10:04 -04:00
Rob Rix
56db84b3f2 🔥 the Bifoldable/Bitraversable instances for Subterm. 2018-03-09 15:42:22 -05:00
Rob Rix
53517662cf Roll caching an action into MonadCaching. 2018-03-09 15:37:34 -05:00
Rob Rix
fbd5c04227 Better API for isolating the cache & caching new values. 2018-03-09 15:21:12 -05:00
Rob Rix
a5704f49df Improve the API for running an action with a new oracle. 2018-03-09 15:07:50 -05:00
Rob Rix
6535209dc9 Improve the API for consulting the oracle. 2018-03-09 15:06:18 -05:00
Rob Rix
346e2115e2 Evaluate the module in the underlying analysis. 2018-03-09 14:58:10 -05:00
Rob Rix
2109310e9e 🔥 memoizeEval. 2018-03-09 14:57:33 -05:00
Rob Rix
a717bd54f7 Converge for the whole module, not per-term. 2018-03-09 14:57:09 -05:00
Rob Rix
e0076f3fb6 Leave the default signature alone. 2018-03-09 14:46:28 -05:00
Rob Rix
546f8bb3ec modifyGlobalEnv is not primitive. 2018-03-09 14:41:27 -05:00
Rob Rix
b3efd3b1e2 putStore is primitive. 2018-03-09 14:40:30 -05:00
Rob Rix
8966824307 Rename lift to raise. 2018-03-09 14:36:16 -05:00