summaryrefslogtreecommitdiffstats
path: root/docs/language-reference
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2025-07-01 14:02:35 -0700
committerGitHub <noreply@github.com>2025-07-01 21:02:35 +0000
commiteb7f3357a1c316bad51cf0bfaea27d81a93f96ad (patch)
tree448a2a07d36ef11b66ef79522086765efc5e708b /docs/language-reference
parent5120c1cd072548654c9ce79fa85426a5e48736c4 (diff)
Misc language server improvements. (#7569)
* Misc language server improvements. * Fix. * Fix decl path printing for existential lookup. * More existential decl path fix. * Polish. * Fix test.
Diffstat (limited to 'docs/language-reference')
0 files changed, 0 insertions, 0 deletions