Option to output instance resolution process
Would it be possible to see what instances get picked by the constraint solver? For example, see coq's Set Typeclass Debug.
.
The following comment also shows what it might look like: https://www.reddit.com/r/haskell/comments/8cmn4i/algorithmically_scrapping_your_typeclasses/dxg8fes/
Trac metadata
Trac field | Value |
---|---|
Version | 8.2.2 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | lyxia |
Operating system | |
Architecture |