Skip to content

Commit

Permalink
Bump version
Browse files Browse the repository at this point in the history
  • Loading branch information
christiaanb committed Oct 10, 2023
1 parent f91c28e commit f00e7c2
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 1 deletion.
3 changes: 3 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
# Changelog for the [`ghc-typelits-natnormalise`](http://hackage.haskell.org/package/ghc-typelits-natnormalise) package

## 0.7.9 *October 10th 2023*
* Support for GHC 9.8.1

## 0.7.8 *February 20th 2023*
* Try and outright solve substituted constraints, the same as is done with the unsubstituted constraint. Partially Fixes [#65](https://github.com/clash-lang/ghc-typelits-natnormalise/issues/65).
* Support for GHC-9.6.0.20230210
Expand Down
2 changes: 1 addition & 1 deletion ghc-typelits-natnormalise.cabal
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
name: ghc-typelits-natnormalise
version: 0.7.8
version: 0.7.9
synopsis: GHC typechecker plugin for types of kind GHC.TypeLits.Nat
description:
A type checker plugin for GHC that can solve /equalities/ and /inequalities/
Expand Down

0 comments on commit f00e7c2

Please sign in to comment.