Revision 6dc0da43db04f9885f6781326af49ae52391d234 authored by Steven G. Johnson on 13 January 2024, 10:30:07 UTC, committed by GitHub on 13 January 2024, 10:30:07 UTC
Fixes the problem identified in
https://github.com/JuliaLang/julia/pull/52795#issuecomment-1884000786
thanks to @IanButterworth — currently, a `UUID` displays as:
```jl
julia> Base.UUID("30b93cbd-6b28-44ea-8d3f-42a2b647d023")
UUID("30b93cbd-6b28-44ea-8d3f-42a2b647d023")
```
even if the `UUID` symbol has not been imported. It should display as a
qualified name `Base.UUID` unless `UUID` is imported (e.g. by doing
`using UUIDs`). That is, after this PR you will get
```jl
julia> Base.UUID("30b93cbd-6b28-44ea-8d3f-42a2b647d023")
Base.UUID("30b93cbd-6b28-44ea-8d3f-42a2b647d023")
```
This is a tiny patch that just uses the standard type-printing machinery
to decide how to display the `UUID` type name. 1 parent e3a64e8
Computing file changes ...
