Ticket #287 (new defect)

Opened 8 months ago

Last modified 8 months ago

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:
Priority: minor Milestone:
Version: 2.14.0 Keywords:
Cc:

Description

To reproduce:

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.

Change History

Changed 8 months ago by Fūzetsu

  • version changed from 2.13.2.1 to 2.14.0
Note: See TracTickets for help on using tickets.