In ghci 7.4.1: Prelude> :t (+1) (+1) :: Num a => a -> a Prelude> let inc=(+1) Prelude> :t inc inc :: Integer -> Integer Why the difference? Thanks, Greg
On Tue, May 22, 2012 at 9:34 PM, Artyom Kazak wrote: > http://www.haskell.org/**haskellwiki/Monomorp...<http://www.haskell.org/haskellwiki/Monomorphi...>+ http://www.haskell.org/ghc/docs/latest/html/u...
Thanks!
$ ghci -XNoMonomorphismRestriction
Prelude> :t (+1)
(+1) :: Num a => a -> a
Prelude> let inc=(+1)
Prelude> :t inc
inc :: Num a => a -> a
Cool.
-GregOn Tue, May 22, 2012 at 12:34 PM, Artyom Kazak wrote:
> http://www.haskell.org/**haskellwiki/Monomorp...<http://www.haskell.org/haskellwiki/Monomorphi...>
>
>
> ______________________________**_________________
> Haskell-Cafe mailing list
>
> http://www.haskell.org/**mailman/listinfo/has...<http://www.haskell.org/mailman/listinfo/haske...>
>