Skip to content

Latest commit

 

History

History
67 lines (40 loc) · 1.68 KB

changelog.md

File metadata and controls

67 lines (40 loc) · 1.68 KB

Version 0.5.2.0 (2024-11-29)

  • Update to support GHC 9.10 and 9.12.
    Now requires ghc-tcplugin-api 0.13 or above.

Version 0.5.1.0 (2023-08-30)

  • Be more thorough when resetting GHC solver monad state. This should ensure transparent backtracking after giving up on the LHS of a disjunction constraint.

Version 0.5.0.0 (2023-08-29)

  • Add a fixity declaration for (||) (infixr 2, matching term-level disjunction).

  • Reset the GHC solver monad state after failing to solve the LHS constraint in a disjunction.

  • Require ghc-tcplugin-api >= 0.11.

Version 0.4.0.0 (2023-08-09)

  • Only consider a constraint solved when there are no residual constraints.

  • Bump version bounds for ghc-tcplugin-api.

Version 0.3.1.0 (2023-01-24)

  • Bumping of version bounds, and support for GHC 9.4 and GHC 9.6. Now requires ghc-tcplugin-api 0.9 or above.

Version 0.3.0.0 (2021-09-01)

  • Add the (||) constraint disjunction mechanism, with
dispatch :: ( c || d ) => ( c => r ) -> ( d => r ) -> r

This allows users to select between two different constraints. This is more general than ifCt, as it allows extra constraints in the fallback branch.

  • Implement IfCt, ifCt in terms of (||) and dispatch. IfCt becomes a type synonym, which means that it no longer bundles ifCt.

Version 0.2.1.1 (2021-08-31)

  • Minor documentation improvements.

Version 0.2.1.0 (2021-08-31)

  • Require ghc-tcplugin-api >= 0.5.1.0.

Version 0.2.0.0 (2021-08-31)

  • Add a type family IsSat :: Constraint -> Bool that computes whether a type-family is satisfied in the current context.

  • Rename IfCt to IfSat.

Version 0.1.0.0 (2021-08-30)

Initial release.