Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix
eqv
for parameters typed with parameterizations
In particular, curryings defined in different compunits would be represented by different typeobjects but be the same type in nature. For example, `Positional[Foo]` is the same positional currying even if sourced from different modules. Fixes a bug with 'method implementation required by role'.
- Loading branch information