For example, are the libraries (|123|) and (123) different names, or the same name?
I have done some preliminary tests here:
https://codeberg.org/scheme/r7rs/wiki/Number-vs-escaped-symbol-in-library-name
I am currently not able to test all the implementations I normally test, but none of the four I tested so far are able to separate the two.
For example, are the libraries `(|123|)` and `(123)` different names, or the same name?
I have done some preliminary tests here:
https://codeberg.org/scheme/r7rs/wiki/Number-vs-escaped-symbol-in-library-name
I am currently not able to test all the implementations I normally test, but none of the four I tested so far are able to separate the two.