#309: Printer should obey package-local nicknames -----------------------+---------------------------------------------------- Reporter: rschlatte | Owner: rschlatte Type: defect | Status: new Priority: major | Milestone: Component: other | Version: Keywords: | -----------------------+---------------------------------------------------- Currently, a symbol is printed with its home package name as package prefix. If the current package defines a local nickname for that package, the nickname should be printed instead.