Currently we translate any slashes in a file name to be underscores, to avoid complications with directories (that of course use slashes). At the moment, the root directory ends up being represented by a single _, which is confusing and not intention-revealing. Some alternatives could be putting (root). Or we can figure out the best way to support slashes, but then we would want to make sure it works on all OS's such as WIndows.
#4 (comment)
Currently we translate any slashes in a file name to be underscores, to avoid complications with directories (that of course use slashes). At the moment, the root directory ends up being represented by a single
_, which is confusing and not intention-revealing. Some alternatives could be putting(root). Or we can figure out the best way to support slashes, but then we would want to make sure it works on all OS's such as WIndows.#4 (comment)