Effects declared in a pure module can’t be used inside it
Darya- opened this issue · 1 comments
Darya- commented
In a pure module, effects declared in the same module can be used neither in method annotations (see the testNetwork18
test in the effect-system tests) nor in a definition of another effect (see the testNetwork19
test in the effect-system tests).
Expected behavior: Type checks with no problems
Actual behavior: Error: Effect not found
JonathanAldrich commented
Fixed the testNetwork18 bug in my push today. Still need to work on testNetwork19.