Show fully-qualified name in hover text#811

Merged

Kha merged 3 commits intoleanprover:masterfrom larsk21:fully-qualified-hover

Nov 21, 2021

+61-25

Commits on Nov 19, 2021

Commits on Nov 21, 2021

fix: handle _root_ in unresolveNameGlobal with pp.fullNames
larsk21
committed