Allow -- ^ comment on record constructor

[heatsink]

This enhancement would add flexibility to the commenting style for record constructors. Accept a -- ^ comment between a constructor and its fields, meaning the same as a -- | comment before the constructor. The example below is rejected as a parse error due to the comment on 'Branch'.

-- | A tree with labeled internal nodes
data Tree =
    Empty                -- ^ Leaf
  | Branch               -- ^ Internal node
    { label :: a         -- ^ Node label
    , subtrees :: [Tree] -- ^ List of subtrees
    }

[anonymous]

Milestone 2.7.0 deleted