Deprecating fromIntegral

Mikolaj Konarski mikolaj at well-typed.com
Thu Aug 13 17:29:49 UTC 2020


Herbert, now I'm a fan of your package. However, I'm getting this when
trying to intCast Int64 to Rational:

engine-src/Game/LambdaHack/Common/Time.hs:265:19: error: …
    • Couldn't match type ‘int-cast-0.2.0.0:Data.IntCast.IsIntBaseSubType
                             ('int-cast-0.2.0.0:Data.IntCast.FixedIntTag 64)

(int-cast-0.2.0.0:Data.IntCast.IntBaseType Rational)’
                     with ‘'True’
        arising from a use of ‘intCast’
    • In the expression: intCast :: Int64 -> Rational
      In the first argument of ‘(*)’, namely
        ‘(intCast :: Int64 -> Rational) v’
      In the second argument of ‘($)’, namely
        ‘(intCast :: Int64 -> Rational) v * s’

On Thu, Aug 13, 2020 at 6:54 PM Ben Franksen <ben.franksen at online.de> wrote:
>
> Am 13.08.20 um 17:48 schrieb Herbert Valerio Riedel:
> > It might also be worth pointing out the function added to `base`
> > originated from my package `int-cast`
> >
> > - https://hackage.haskell.org/package/int-cast-0.2.0.0/docs/Data-IntCast.html
> >
> > which provides the means to have compile-time verified "safe" (and also
> > a slightly weaker lossless "iso"morphic) integer conversions without
> > requiring O(n^2) instances.
>
> This is pretty cool. Thanks for sharing.
>
> Cheers
> Ben
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries


More information about the Libraries mailing list