Comments on default method declarations

[ghc-mirror]

Original reporter: david.waern@

suggested by Satnam.

[ghc-mirror]

Original reporter: anonymous

One can put the comment on the method declaration, just as one does with an ordinary function.

[harpocrates]

Motivating example (copied from #567):

{-# LANGUAGE DefaultSignatures #-}
-- | Documentation for Bug
module Bug where

-- | Documentation for Foo
class Foo a where
  -- | Documentation for bar
  bar :: a -> String
  -- | Documentation for bar's default implementation
  default bar :: Show a => a -> String
  bar = show

This currently gets rendered as

It would be nice if we also displayed the Documentation for bar's default implementation docstring somewhere (the logical place seems to be below default bar :: Show a => a -> String).