Provide way to show the origin of a constraint
|Reported by:||iampure@…||Owned by:|
|Component:||Compiler (Type checker)||Version:||6.6.1|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||Blocked By:|
For a complex type (A b, C d, E e) => Something a b e -> Int, provide a way to given the query:
where does A b come from? Respond with the line number of a function that causes that constraint. This should of course also work for non-Haskell 98 constraints.
This issue comes up when one by accident calls a function in the wrong layer of a monadic transformer stack.
Change History (6)
comment:3 Changed 7 years ago by igloo
- Component changed from Compiler to Compiler (Type checker)
- Milestone set to _|_