Ticket #287 (new defect)
Ambiguous fixity annotation when only a single operator out of a grouped type signature inside a class definition has a fixity annotation
|Reported by:||haasn||Owned by:|
class Bug a where (<*<), (>*>) :: a -> a -> a infix 9 <*<
The haddock output just shows | infix 9 | here since there is only one fixity annotation for that line, except here it is not clear which operator the annotation corresponds to.
I think the proper way to address this would be to split apart lines of a class in general, instead of adding complex special case logic to detect the scenario of attaching a single fixity annotation to a method group (which does not fit into the current design whatsoever).
I'll look into implementing this feature whenever I get some free time and energy unless somebody else wants to.