TIL: seems to use alphabetical ordering to solve the diamond type class problem: try.purescript.org/?gist=88132cca
Conversation
that code should be rejected :(
1
Replying to
Indeed - I’d assumed would reject diamond hierarchies, but then I saw pursuit.purescript.org/packages/pures - piqued my curiosity!
what's the problem with a diamond? The problem I see is overlapping instances.
2
I was trying to test how it would resolve a canonical path through the hierarchy in the presence of named instances.
2
Show replies