importing files with .grace in name

[apblack]

If one writes (incorrectly)

import "filename.grace" as nick

the compiler will find and compile filename.grace, as if one had written

import "filename" as nick

but there will then be an internal error when the runtime fails to load the compiled version, which it seeks under the name filename.grace.js

[apblack]

I think that the right behaviour here should be to reject the import statement with the extension. Why? There should be just one way of doing the import, and that should be by using the basename without an extension.

[KimBruce]

Sounds reasonable to me, though I would hope for a specialized error message that would let the user know that the ".grace" suffix was the problem (or maybe even that any suffix is a problem).

[apblack]

Of course. Helpful Messages are Us

[apblack]

This is fixed in commit 23d441a