#309 closed defect (fixed)
Printer should obey package-local nicknames
| Reported by: | rschlatte | Owned by: | rschlatte |
|---|---|---|---|
| Priority: | major | Milestone: | 1.2.0 |
| Component: | other | Version: | 1.2.0-dev |
| Keywords: | Cc: | ||
| Parent Tickets: |
Description
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.
Change History (2)
comment:1 Changed 12 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
comment:2 Changed 12 years ago by
| Milestone: | → 1.2.0 |
|---|---|
| Version: | → 1.2.0-dev |
Note: See
TracTickets for help on using
tickets.
(In [14422]) Consider package-local nicknames in printer.