[Haskell-cafe] [ANN] ghc-typelits-knownnat-0.2: Solving GHCs KnownNat constraints

Will Yager will.yager at gmail.com
Wed Aug 17 17:50:51 UTC 2016

Ah. I believe I have run into such issues with Clash, requiring me to add extraneous constraints over the results of addition. I assume this is the motivating use case here?

Great work on this and Typelits-natnormalise!


> On Aug 17, 2016, at 06:11, Christiaan Baaij <christiaan.baaij at gmail.com> wrote:

> If you have ever worked with `GHC.TypeLits`, then you have probably encountered an error very similar to:
> >    • Could not deduce (KnownNat (n + 2))
> >        arising from a use of ‘natVal’
> >      from the context: KnownNat n

More information about the Haskell-Cafe mailing list