Skip to content

v0.11.0.0

Latest
Latest
Compare
Choose a tag to compare
@lsrcz lsrcz released this 29 Dec 15:50
· 54 commits to main since this release
v0.11.0.0
1626c1d
This commit was signed with the committer’s verified signature.
lsrcz Sirui Lu
GPG key ID: 04D53E80A856B56F
Verified
Learn about vigilant mode.

Added

  • Added deriveGADT for deriving all relevant instances for GADTs. (#267)
  • Added EvalModeConvertible for a unified constraint for the evaluation modes that can be converted to each other with ToCon and ToSym. (#267)

Changed

  • [Breaking] We no longer support direct toCon from a union to a single value or toSym from a single value to a union. These should now be done through mrgToSym, toUnionSym, and unionToCon. (#267)
  • [Breaking] Changed the EvalMode tag for Con to C and Sym to S. (#267)

Fixed

  • Fixed some missing constraints for unified interfaces. (#267)
  • Fixed badly staged types in the lifting of terms. (#267)
  • Fixed the Read instance for bit-vectors on GHC 9.12. (#267)

Removed

  • Removed old template-haskell-based derivation mechanism. (#267)
Assets 2
Loading