Effects declared in a pure module can’t be used inside it
Darya- opened this issue · comments
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
Fixed the testNetwork18 bug in my push today. Still need to work on testNetwork19.