Skip to content
This repository was archived by the owner on Aug 3, 2024. It is now read-only.
This repository was archived by the owner on Aug 3, 2024. It is now read-only.

Add a mechanism to prune deprecated things #226

Open
@ghc-mirror

Description

@ghc-mirror

Original reporter: sol@

Sometimes you want to keep a deprecated function around, but you do not want it to clutter the documentation.

A more general approach would be to allow an optional list of arguments to prune, so that functions can be omitted selectively.

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions