Conversation

TIL:

seems to use alphabetical ordering to solve the diamond type class problem: try.purescript.org/?gist=88132cca

that code should be rejected :(

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.

I was trying to test how it would resolve a canonical path through the hierarchy in the presence of named instances.

also named instances are just for compilation output, shouldn't be able to influence compilation, at all. Bug.

Replying to

and

Ah, right! That was my source of confusion - I thought they were to facilitate implementing overlapping instances.

Replying to

and

yes, requiring names often makes people think it's got a language semantic. Can be confusing, sorry!