github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 00:12:29 +03:00
Code Issues Projects Releases Wiki Activity
24,446 Commits 19 Branches 16 Tags 46 MiB
f98263ca10
Commit Graph

24446 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Patrick Thomson
f14f47d87a Merge remote-tracking branch 'origin/master' into call-graph-grpc 2018-07-17 13:01:29 -04:00
Rick Winfrey
918f9e2de2 Merge pull request #2064 from github/pretty-debug 
Easier to read debug output for graphs
 2018-07-17 09:53:33 -07:00
Rick Winfrey
922d6ffe2d Merge branch 'master' into pretty-debug 2018-07-17 09:40:08 -07:00
Timothy Clem
cca39728d0 Merge pull request #2066 from github/abstracter-semantics 
Abstracter semantics
 2018-07-17 09:09:50 -07:00
Rick Winfrey
03643629f3 Merge branch 'master' into pretty-debug 2018-07-17 09:07:01 -07:00
Patrick Thomson
7c056163fc Merge remote-tracking branch 'origin/master' into call-graph-grpc 2018-07-17 11:42:19 -04:00
Patrick Thomson
361f62c812 Rename ImportGraph to AdjacencyList 2018-07-17 11:35:03 -04:00
Timothy Clem
808511b0d0 Merge branch 'master' into abstracter-semantics 2018-07-17 08:17:11 -07:00
Rob Rix
924dffcb07 Use Abstract semantics instead of Type semantics. 2018-07-17 10:18:29 -04:00
Rob Rix
00f194007f Export resumingTypeError. 2018-07-17 10:18:23 -04:00
Patrick Thomson
9b7bd3c7f0 Hook up gRPC to call graph. Not too hard. 2018-07-17 10:15:04 -04:00
Rick Winfrey
945cae783e Also prettyShow package info 2018-07-16 17:21:24 -07:00
Rick Winfrey
2fddfa1172 Conditionally include app, pid, etc when not in a terminal 2018-07-16 17:20:54 -07:00
Rick Winfrey
b4d21495c5 Make it easier to read the various resumable exceptions when debugging a call graph or import graph 2018-07-16 15:46:23 -07:00
Rick Winfrey
825abe968e Add a prettyShow function in Semantic.Graph 
This is slightly different from `Semantic.Util`'s `prettyShow` and is not exported from `Semantic.Graph`.
 2018-07-16 15:45:24 -07:00
joshvera
64f66c3a0f Remove outer embedding 2018-07-16 18:29:30 -04:00
joshvera
379683b054 Fix BlobPair encoding 2018-07-16 18:18:45 -04:00
joshvera
48411926a0 Add rountrip tests to blob and blob pair 2018-07-16 17:06:06 -04:00
joshvera
51d873f81e Add Listable instances for Join These Blob 2018-07-16 17:05:56 -04:00
Rob Rix
bb6a960c58 Merge branch 'master' into why-haskell 2018-07-16 16:15:14 -04:00
joshvera
fde0553d90 Add BlobPair message 2018-07-16 15:29:29 -04:00
joshvera
ab1c1c2569 Implement runTypeScriptDiff and runJSONDiff 2018-07-16 14:06:03 -04:00