Several generated files fail when using SDF3 files with a capitalized name.

[molenzwiebel]

Summary

Several of the files generated by Spoofax during SDF3 compilation will choose to lowercase the generated file name, without also lowercasing the module name. As a result, compilation fails since the module name differs from the file name.

What you did

In src/Exp.sdf:

module Exp

...

What you expected to happen

Either compilation fails (require a lowercase filename), or everything works fine (and support mixed-case filenames).

What actually happened

In generated/statix/signatures/exp-sig.stx (fully lowercase path):

module signatures/Exp-sig
...

In generated/stratego/injections/exp-injections.str2 (fully lowercase path):

module injections/Exp-injections
...

In generated/stratego/pp/exp-pp.str2 (fully lowercase path):

module pp/Exp-pp
...

In generated/stratego/signatures/exp-sig.str2 (fully lowercase path):

module signatures/Exp-sig
...

The modules do not match the names of the files. The contents of the files all reference the capitalized name, but the files are written with a lowercase name. Causes several build errors.

Context

• Spoofax version: 0.11.11
• Operating system & version: Windows 10

[Gohla]

Actually the chocopy reference project uses capitalized SDF3 module names, and the generated files are not lowercased. For a module named Common in SDF3 I get:

• build/generated/sources/languageSpecification/statix/signatures/Common-sig.stx with module signatures/Common-sig
• build/generated/sources/languageSpecification/stratego/injections/Common-injections.str2 with module injections/Common-injections
• build/generated/sources/languageSpecification/stratego/pp/Common-pp.str2 with module pp/Common-pp
• build/generated/sources/languageSpecification/stratego/signatures/Common-sig.str2 with signatures/Common-sig

Are the filenames only lowercased on Windows? Edit: this is what I get on macOS.

[molenzwiebel]

They generate as lowercased for me on Windows. All those examples were done on Spoofax 3 0.11.11 on my Windows machine.