Patrick Thomson
|
587b97ffa5
|
Add -Wmissing-export-lists to semantic.
|
2018-07-19 14:56:58 -04:00 |
|
Patrick Thomson
|
bdd75e6e7c
|
Add export lists to modules missing them.
|
2018-07-19 14:45:04 -04:00 |
|
Rob Rix
|
fb93abff18
|
Merge pull request #2059 from github/new-AST-inspection
swap out commands for inspecting AST
|
2018-07-19 13:35:09 -04:00 |
|
Rob Rix
|
45db386adf
|
Merge branch 'master' into new-AST-inspection
|
2018-07-19 13:25:06 -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 |
|
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 |
|
Patrick Thomson
|
7aeb998bf3
|
Fix up Data.Error
|
2018-07-17 15:48:14 -04:00 |
|
Patrick Thomson
|
3b47557794
|
Fix tests.
|
2018-07-17 14:52:01 -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 |
|