aboutsummaryrefslogtreecommitdiff
path: root/docs/dev/guide.md
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-09-09 18:20:39 +0100
committerGitHub <[email protected]>2020-09-09 18:20:39 +0100
commit5c336e266fe09ae9ae6e634513d441cbcde63696 (patch)
tree1572fa9047870f4fc092d74ec62231d7a8d6761d /docs/dev/guide.md
parent60c8941097f3674ed4b583925603b5ec43833f0c (diff)
parentbf0b194fed03d88b1217e921799638cb80bb9df8 (diff)
Merge #5968
5968: Lookup ADT and associated type names for chalk debugging / tweak chalk interner r=flodiebold a=nathanwhit This PR improves the chalk program writing integration by looking up the names for ADTs and associated types, making the output much more readable. There are also a few small changes to the interner, which gives some nice performance improvements. We clone `Ty`s and `ProgramClause`s relatively often in chalk, so wrapping them in `Arc`s is a perf win. This takes the time for performing type inference on the rust-analyzer codebase from 40s to 33s on my machine. Co-authored-by: Nathan Whitaker <[email protected]>
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions