github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-28 09:21:35 +03:00
Code Issues Projects Releases Wiki Activity
24,484 Commits 19 Branches 16 Tags 46 MiB
d1a9775874
Commit Graph

24484 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Timothy Clem
70f01d0806 Keep additional structured info around in Vertex 2018-07-17 10:02:40 -07: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
joshvera
6ef7fe4945 Write a BlobPair instance for Message 2018-07-16 14:05:12 -04:00
joshvera
5d2c1d08be Change all these to Single names and remove BlobPair definition 2018-07-16 14:04:30 -04:00
Patrick Thomson
3a56dc17e0 Merge pull request #2057 from github/call-graph-tests 
Add test cases for graphs.
 2018-07-16 13:29:28 -04:00
Patrick Thomson
9813122425 cleanup 2018-07-16 13:13:53 -04:00
joshvera
74c0bb63ac Add runRubyDiff 2018-07-16 12:57:40 -04:00
Rob Rix
dc6e661d62 Merge branch 'master' into call-graph-tests 2018-07-16 12:29:38 -04:00
Rob Rix
096081c026 Merge pull request #2056 from github/declarations-for-the-declarations-god,-free-variables-for-the-free-variables-throne 
Use Declarations for declared names, and FreeVariables for free variables
 2018-07-16 12:16:16 -04:00
Rob Rix
56e2724c64 Merge branch 'master' into declarations-for-the-declarations-god,-free-variables-for-the-free-variables-throne 2018-07-16 11:47:08 -04:00
Rob Rix
6e8875d645 Merge pull request #2055 from github/increase-default-hint-severity 
Increase default hint severity
 2018-07-16 11:46:51 -04:00
Rob Rix
ae5a7cba66 Note what a declared name even is. 2018-07-16 11:44:36 -04:00
Rob Rix
27b3f4adac Correct the docs for liftDeclaredName. 2018-07-16 11:40:03 -04:00
Patrick Thomson
5c8cd4a109 test less-copacetic cases 2018-07-16 11:36:17 -04:00