All Versions
19
Latest Version
Avg Release Cycle
75 days
Latest Release
1342 days ago
Changelog History
Page 2
Changelog History
Page 2
-
v0.3 Changes
May 15, 2017- โก๏ธ GHC 8.2.1 support: Underlying representation for
KnownNat
in GHC 8.2 isNatural
, meaning users of this plugin will need to update their code to useNatural
for GHC 8.2 as well.
- โก๏ธ GHC 8.2.1 support: Underlying representation for
-
v0.2.4 Changes
April 10, 2017 -
v0.2.3 Changes
January 15, 2017- Solve normalised literal constraints, i.e.:
KnownNat (((addrSize + 1) - (addrSize - 1))) ~ KnownNat 2
- Solve normalised literal constraints, i.e.:
-
v0.2.2 Changes
September 29, 2016- ๐ New features:
- Derive smaller constraints from larger constraints when they differ by a single variable, i.e.
KnownNat (a + b), KnownNat b
impliesKnownNat a
.
- Derive smaller constraints from larger constraints when they differ by a single variable, i.e.
- ๐ New features:
-
v0.2.1 Changes
August 19, 2016- ๐ Fixes bugs:
- Source location of derived wanted constraints is, erroneously, always set to line 1, column 1
- ๐ Fixes bugs:
-
v0.2 Changes
August 17, 2016- ๐ New features:
- Handle
GHC.TypeLits.-
- Handle custom, user-defined, type-level operations
- Thanks to Gabor Greif (@ggreif): derive smaller from larger constraints, i.e.
KnownNat (n+1)
impliesKnownNat n
- Handle
- ๐ New features:
-
v0.1.2 Changes
- ๐ New features: Solve "complex" KnownNat constraints involving arbitrary type-functions, as long as there is a given KnownNat constraint for this type functions.
-
v0.1.1 Changes
August 11, 2016- ๐ Fixes bug: panic on a non-given KnownNat constraint variable
-
v0.1 Changes
August 10, 2016- ๐ Initial release