Online evaluator crashes on extern resources
phischu opened this issue · comments
When I go to https://effekt-lang.org/quickstart.html and enter the following program
interface Greet { }
extern resource my_resource : Greet
def helloWorld() = ""
and in the REPL field I enter
helloWorld()
then the output is
ReferenceError: my_resource_1396 is not defined
instead of the result.