Skip to content

Deleting Function.Bijection and friends? #3033

Description

@JacquesCarette

This was deprecated in v2.0 from December 2023. This is a non-trivial source of {-# OPTIONS --warning=noUserWarning #-} pragmas in stdlib.

A proper cleanup in v3.0 really needs to get rid of these entirely.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions