github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 13:21:59 +03:00
Code Issues Projects Releases Wiki Activity
24,418 Commits 19 Branches 16 Tags 46 MiB
b05a781d95
Commit Graph

24418 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
b05a781d95 Merge branch 'master' into holes-with-things-in-them 2018-07-19 12:02:07 -04:00
Josh Vera
341e103c7f Merge pull request #2073 from github/bench-call-graph 
Fix benchmarks and add benchmark for call graph.
 2018-07-18 18:06:02 -04:00
Josh Vera
e92b04b032 Merge branch 'master' into bench-call-graph 2018-07-18 17:42:52 -04:00
Josh Vera
337d700dae Merge pull request #2069 from github/add-callstack-to-error 
Store CallStack information in Errors directly.
 2018-07-18 17:42:32 -04:00
Josh Vera
bd9b34a512 Merge branch 'master' into add-callstack-to-error 2018-07-18 17:09:18 -04:00
Patrick Thomson
dafed54a6f Merge pull request #2060 from github/why-haskell 
Document usage of Haskell in this project
 2018-07-18 16:37:54 -04:00
Patrick Thomson
6788371bc5 Merge branch 'master' into why-haskell 2018-07-18 16:20:57 -04:00
Patrick Thomson
2a01288c82 Merge remote-tracking branch 'origin/master' into bench-call-graph 2018-07-18 16:16:10 -04:00
Patrick Thomson
68cd404e9c Merge remote-tracking branch 'origin/master' into add-callstack-to-error 2018-07-18 16:12:14 -04:00
Patrick Thomson
7c3c970d05 lints/warnings 2018-07-18 16:11:28 -04:00
Josh Vera
3122bd705a Merge pull request #2053 from github/grpc-diff-trees 
Diffs in the gRPC interface
 2018-07-18 16:11:18 -04:00
Patrick Thomson
ea69a17eda last of Rob's changes 2018-07-18 16:05:47 -04:00
joshvera
49c948a708 Remove RubyDiff from ruby-terms.proto 2018-07-18 15:55:56 -04:00
Rob Rix
e131347600 Return the load order, not the terms. 2018-07-18 12:59:26 -04:00
Patrick Thomson
bad6e9f53a Fix benchmarks and add benchmark for call graph. 
Preyy straightforward.
 2018-07-18 11:38:28 -04:00
Patrick Thomson
973a8ff2f7 don't use call stack in unError 2018-07-18 10:39:34 -04:00
Rob Rix
ae8aa6a97c Merge branch 'master' into why-haskell 2018-07-18 09:02:34 -04:00
joshvera
abe3524325 Remove commented out code 2018-07-17 19:35:05 -04:00
joshvera
13dbff2ea4 Remove old proto files 2018-07-17 19:34:14 -04:00
joshvera
84c52cdda5 lints 2018-07-17 19:27:11 -04:00
joshvera
bc4952661d Merge remote-tracking branch 'origin/master' into grpc-diff-trees 2018-07-17 19:16:29 -04:00
joshvera
0913284879 Comment out diffs of syntax roundtrip test 2018-07-17 19:00:05 -04:00
joshvera
a0d27311bb Add a ListableF2 2018-07-17 18:59:54 -04:00
joshvera
198ba0414a Remove redundant constraints 2018-07-17 18:59:35 -04:00
joshvera
a25b40877b Add protobuf terms 2018-07-17 18:06:53 -04:00
joshvera
5f3df53bce Regenerate protobuf files 2018-07-17 18:06:42 -04:00
Patrick Thomson
a18ee33fd9 Remove unnecessary implicit params 2018-07-17 16:30:27 -04:00
Rob Rix
376ba5bb48 Move graphing back outside caching. 2018-07-17 16:25:00 -04:00
Rob Rix
921627c61a Cache above the heap. 2018-07-17 16:17:11 -04:00
Rob Rix
ae462ac8da Cache above the graph. 2018-07-17 16:16:28 -04:00
Rob Rix
9856ea7d77 Move runTermEvaluator up to the top. 2018-07-17 16:14:56 -04:00
Rob Rix
cecc4e895a Generalize resumingEnvironmentError over the Effectful context. 2018-07-17 16:09:31 -04:00
Rob Rix
f1d6080fdb Generalize resumingValueError over the Effectful context. 2018-07-17 16:08:41 -04:00
Rob Rix
0d352ed121 Generalize resumingAddressError over the Effectful context. 2018-07-17 16:07:38 -04:00
Rob Rix
a99c360b0c Generalize resumingUnspecialized over the Effectful context. 2018-07-17 16:06:33 -04:00
Rob Rix
f9a2c57241 Generalize resumingEvalError over the Effectful context. 2018-07-17 16:05:36 -04:00
Rob Rix
0aa964f2c7 Generalize resumingLoadError over the Effectful context. 2018-07-17 16:04:41 -04:00
Rob Rix
1277224795 Define resumingEnvironmentError using runResumableWith. 2018-07-17 15:48:17 -04:00
Patrick Thomson
7aeb998bf3 Fix up Data.Error 2018-07-17 15:48:14 -04:00
Rob Rix
41b9fd65ca Specialize caching to []. 2018-07-17 15:36:58 -04:00
Rob Rix
1900507609 resumingEnvironmentError contextualizes holes with names. 2018-07-17 15:22:01 -04:00
Rob Rix
aae736ba4c Don’t compute lists of free names. 2018-07-17 15:20:36 -04:00
Rob Rix
f213204a20 Holes-as-addresses can be contextualized. 2018-07-17 15:11:52 -04:00
Rob Rix
52b41bb0c4 Give Hole an extra parameter for context about errors. 2018-07-17 15:05:08 -04:00
Patrick Thomson
3b47557794 Fix tests. 2018-07-17 14:52:01 -04:00
Rob Rix
27a81eb878 Reformat resumingAddressError. 2018-07-17 14:01:02 -04:00
Rob Rix
2c96cdf378 Align the fields. 2018-07-17 14:00:22 -04:00
Rob Rix
6e5a2aeb9c Rename the AddressError constructors. 2018-07-17 13:59:11 -04:00
Patrick Thomson
1bf1b33819 Store CallStack information in Errors directly. 
Adds a `makeError` constructor that provides a HasCallStack
constraint. One should generally use this instead of the Error
constructor.
 2018-07-17 13:47:31 -04:00
Patrick Thomson
aab70bd697 Merge pull request #2067 from github/call-graph-grpc 
Hook up call graph to gRPC
 2018-07-17 13:18:55 -04:00