Open jameswoodleybetenbough opened 4 months ago
Sorry I was signed in under the wrong account when I created the issue.
We should at minimum qualify the some-effect/bar
name, but in handlers we should only consider names that are defined as effect clauses.
Expected: When an effect function and a type property have the same name, then the compiler can correctly resolve the function name in the effect handler definition. Actual: The compiler is unable to discern that the name refers to an effect function handler definition and not the property name of a type. Furthermore, the effect function name is unable to be qualified in any way (that I can think of) that would resolve the issue.