Add markup support for properties

[ghc-mirror]

Original reporter: sol@

Some libraries, e.g. filepath include properties in documentation. It would be useful to have dedicated markup for properties, so that Doctest can extract an test properties with QuickCheck.

[ghc-mirror]

Original reporter: sol@

This is already implemented in Doctest, and we have two wip patches for Haddock:

• https://github.com/kazu-yamamoto/haddock/tree/prop
• https://github.com/sol/haddock/tree/doctest-properties

Both need more work, esp. tests.

[ghc-mirror]

Original reporter: kazu@

Discussion on the next Haskell Platform is going on. Could you apply this
patch and release the next version of haddock in time for the next HP?

[buggymcbugfix]

Anything still happening in this regard?

[alexbiehl]

No, please feel free to pick this up.