The Acton compiler will happily compile a module with - in the file name, like foo-bar.act. But then how do you import that ;)
Before compiling, the module names should be validated and rejected if they contain characters that make them non-importable.
The Acton compiler will happily compile a module with
-in the file name, likefoo-bar.act. But then how do you import that ;)Before compiling, the module names should be validated and rejected if they contain characters that make them non-importable.