Synopsis Module name and file name are different.
Description A Rascal module has a name (the name that follows the module keyword) and it is stored in a file. The (enforced) convention is that the name of the module (say MyModule) and the name of the file should be the same (except fo the Rascal extension .rsc). Module MyModule should be stored in the file MyModule.rsc. This error signals that this convention is violated.

  • Rename the module.
  • Rename the file.
Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit