Infix constraints are printed prefixed

[ghc-mirror]

Original reporter: v.dijk.bas@

In my regions package I make extensive use of infix constraints.

Take my hFileSize function for example. If you look at the source you'll notice that the constraint: prParentOfcr is written infix. However haddock prints it prefixed: ParentOf pr cr.

It would be nice if Haddock respected the fixity of the written constraint.

[ghc-mirror]

Original reporter: david.waern@

To fix this we'll have to augment the HsPred type in GHC to remember if the class was used infix or not.

[ghc-mirror]

Original reporter: fuuzetsu@

HsPred no longer exists so that idea is out.

[RyanGlScott]

A related issue is that equality constraints (~) are also rendered prefix. See the IfB instances in the Boolean haddocks for an example:

((~) * bool (BooleanOf p), (~) * bool (BooleanOf q), IfB p, IfB q) => IfB (p, q)