Ticket #74 (closed defect: duplicate)

Opened 4 years ago

Last modified 8 months ago

commenting data constructors of GADTs doesn’t work

Reported by: g9ks157k@… Owned by:
Priority: major Milestone:
Version: 2.4.1 Keywords:
Cc: g9ks157k@…

Description

It doesn’t seem to be possible to comment data constructors of a GADT. Like so: 

data GADT a where

    -- | This is a comment.
    Constructor :: GADT a

Change History

Changed 4 years ago by waern

  • status changed from new to closed
  • resolution set to duplicate

Duplicate of #43.

Changed 8 months ago by anonymous

  • milestone 2.5.0 deleted

Milestone 2.5.0 deleted

Note: See TracTickets for help on using tickets.