effekt-lang / effekt-lang/effekt

Filepath and module path can differ

Open
#7 2 comments 0 reactions 1 assignee Claimed by @anfark View on GitHub
bug
Dominant language
Scala
Stars
469
Forks
41
Avg merge
1d 16h
Merged PRs (30d)
23

Description

The file path (eg. `/my/inlude/path/to/file.effekt`) and the module path (e.g. `module path/file`) can differ.

Now assume we include an import statement in another file:

```
import path/to/file
```

Typechecking and compilation might succeed since the file is correctly resolved. The generated JavaScript file however uses the `declared` path on the module, not the actual path. That is, it generates a file `path_file.js`. The import will look for `path_to_file.js`, which it cannot find.

We either should error / warn if there is this mismatch or exclude paths in module declarations altogether.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.