ghc-typelits-extra changelog

Changelog History

Page 1

• v0.4.3 Changes

  June 18, 2021

  • ➕ Add support for GHC 9.2.0.20210422

• v0.4.2 Changes

  January 01, 2021

  • ➕ Add support for GHC 9.0.1-rc1

• v0.4.1 Changes

  November 10, 2020

  • ⬇️ Reduce n <=? Max (n + p) p to True

• v0.4 Changes

  March 09, 2020

  • Max short-circuits on zero, but is stuckness preserving. i.e. Max (0-1) 0 reduces to (0-1)
  • ⬇️ Reduce inside arithmetic equations. e.g. 1 + a ~ Max 0 a + CLog 2 2

• v0.3.3 Changes

  February 06, 2020

  • ➕ Add support for GHC 8.10.1-alpha2

• v0.3.2 Changes

  January 18, 2020

  • 🛠 Fix https://github.com/clash-lang/clash-compiler/issues/1019

• v0.3.1 Changes

  August 26, 2019

  • ⬇️ Reduce a <=? Max a b to True
  • ⬇️ Reduce n ~ (Max a b) => a <=? n to True
  • Prove Max (1 + n) 1 ~ (n+1)

• v0.3 Changes

  September 14, 2018

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

• v0.2.6 Changes

  • ➕ Add support for GHC-8.6.1-alpha1

• v0.2.5 Changes

  May 09, 2018

  • ➕ Add support for ghc-typelits-natnormalise-0.6

• 1
• 2
• Next ›
• Last »