Investigate deletion of module declaration

[phischu]

Optionally, effekt files can start with something like module src/stuff. However, this information is redundant with the location of the file. We should delete this.

Addresses #7 and #264

[jiribenes]

Beware that it's relative path to the place where the compiler is invoked. That's why the projects in effekt-community write out the src prefix manually, otherwise CI can break without the user noticing locally

[phischu]

We can indeed use this module path to find the intended effekt root folder when looking at a file. And then make all imports in this file relative to this root folder. If we would choose this design, we would require users to always add the module declaration and check that it actually matches a suffix of the path.

[martin-ilgner]

So from what I understand the discussed design was something like this?:

module game

import shapes

where the folder structure is

src
 |__game.effekt
 |__shapes.effekt

But what if we have /src and /test? How do you import a test module from src or the other way around?

[jiribenes]

I'd strongly recommend postponing this in favour of other issues

[marvinborner]

fwiw, I believe the discussed design was that in this case you'd have to do ../test/foo or ../src/bar.