[Haskell-cafe] GHC optimisations

Brandon S. Allbery KF8NH allbery at ece.cmu.edu
Tue Aug 21 22:16:20 EDT 2007

On Aug 21, 2007, at 22:13 , Twan van Laarhoven wrote:

> Other rules that could be interesting are:
> > forall a b. fromInteger a + fromInteger b = fromInteger (a + b)

I don't think this will work, a and b have to be the same type.

brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH

More information about the Haskell-Cafe mailing list