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
Indeed - I’d assumed would reject diamond hierarchies, but then I saw pursuit.purescript.org/packages/pures - piqued my curiosity!
1
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
overlaps are a warning right now but try ps doesn't show warnings.
1
1
when we add instance chains, we can make them error again.
1
but there are some useful cases where we would like overlaps until then.
1
Thanks for the extra info! I was a little worried there, but it seems like you’re on top of it :)