Closed luketpeterson closed 3 months ago
This PR addresses a degenerate case in mod_name::normalize_name_path that was preventing !(mod-space top) from resolving.
mod_name::normalize_name_path
!(mod-space top)
Not directly related, but a possible work-around for https://github.com/trueagi-io/hyperon-experimental/issues/354 for the doc-strings.
This PR addresses a degenerate case in
mod_name::normalize_name_path
that was preventing!(mod-space top)
from resolving.Not directly related, but a possible work-around for https://github.com/trueagi-io/hyperon-experimental/issues/354 for the doc-strings.