Tim Neumann
Tim Neumann
The import statement allowed import of files without checking for cases in file names. This branch should fix the issue (by aborting translation when the name of the import file...
Importing a file helloWorld.effekt ``` def hello() = { println("Hello World!") } ``` to the REPL using ``` import helloWorld ``` causes the REPL to load the file, however, as...