exportviaShow might collapse vertices where (show v1) == (show v2) but v1 ≠ v2

[jmtd]

exportviaShow might collapse vertices where (show v1) == (show v2) but v1 ≠ v2

[snowleopard]

I'd say this is the right behaviour. Your instance Show breaks the unstated (but generally agreed upon) requirement for Show instances: if show x == s then it must be possible to feed s to a Haskell compiler and obtain x back. This might seem like a strange requirement, but it's very useful when you want to show a Haskell expression and use the result as a real Haskell code.

This requirement is often violated, but I'd advise against this, because some useful libraries (for example, Facebook's Haxl) rely on it to generate Haskell code.

Note that a consequence of this requirement is that show should be an injective (or one-to-one) function, which guarantees that this issue will not occur.

If you want to obtain the second graph, you need to use the export function instead, where you are in full control of how labels are assigned.

[snowleopard]

@jmtd I'm convinced the current behaviour is correct, so I'm closing this issue. Feel free to reopen if you'd like to argue that something should be changed.