blob: d21c92fe788926186e55460de348c97b004c1b8c (plain
This could be used in propellor to improve compile time errors.
For example, a RevertableProperty is sometimes used where only a regular
Property is accepted. In this case, the error could suggest that the user
apply `setupRevertableProperty` to extract the setup side of the RevertableProperty.
> The `custom-error-types` branch has this implemented quite nicely.
> Unfortunately, it ran into a ghc bug <https://gitlab.haskell.org/ghc/ghc/issues/16894>