daig / daig/intrinsic-superclasses

disambiguate defaults by class

Open
#16 0 comments 0 reactions 0 assignees View on GitHub
bug
Dominant language
Haskell
Stars
1
Forks
0
PR merge metrics
No merged PRs in 30d

Description

Defining multiple defaults for the same method will clobber eachother, even if they utilize different sublcass methods. This leads to a nasty nonlocal bug where an upstream module may fail to compile if it is imported together with a module that clobbers the default it wants, even though locally that upstream module imports the right defaults.

Add an extra `Name` argument to `defaulting` which takes the name of the subclass providing the default, and disambiguate using it in `instances`

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.