ghc-typelits-knownnat changelog

Changelog History

Page 1

• v0.7.3 Changes

  July 25, 2020

  🛠 Fix clash-lang/clash-compiler#1454

• v0.7.2 Changes

  February 06, 2020

  • ➕ Add support for GHC 8.10.1-alpha2

• v0.7.1 Changes

  October 08, 2019

  • 🛠 Fix #29
  • 🛠 Fix #30

• v0.7 Changes

  August 26, 2018

  • Solve "known" type-level Booleans, also inside If (GHC 8.6+)

• v0.6 Changes

  September 14, 2018

  • 🚚 Move KnownNat2 instances for Div and Mod from ghc-typelits-extra to ghc-typelits-knownnat

• v0.5 Changes

  May 09, 2018

  • 🛠 Fix Inferred constraint is too strong #19

• v0.4.2 Changes

  April 15, 2018

  • ➕ Add support for GHC 8.5.20180306

• v0.4.1 Changes

  March 18, 2018

  • ➕ Add support for GHC 8.4.1

• v0.4 Changes

  January 04, 2018

  • ➕ Add partial GHC 8.4.1-alpha1 support
  • ⬇️ Drop singletons dependency #15
    • KnownNatN classes no longer have the KnownNatFN associated type family

• v0.3.1 Changes

  August 17, 2017

  • 🛠 Fix testsuite for GHC 8.2.1

• 1
• 2
• Next ›
• Last »