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/Monomorphism_**restrictionhttp://www.haskell.org/haskellwiki/Monomorphism_restriction
+ http://www.haskell.org/ghc/docs/latest/html/users_guide/interactive-evaluati...
Thanks!
$ ghci -XNoMonomorphismRestriction
Prelude> :t (+1)
(+1) :: Num a => a -> a
Prelude> let inc=(+1)
Prelude> :t inc
inc :: Num a => a -> a
Cool.
-Greg
On Tue, May 22, 2012 at 12:34 PM, Artyom Kazak
http://www.haskell.org/**haskellwiki/Monomorphism_**restrictionhttp://www.haskell.org/haskellwiki/Monomorphism_restriction
______________________________**_________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/**mailman/listinfo/haskell-cafehttp://www.haskell.org/mailman/listinfo/haskell-cafe
participants (3)
-
Artyom Kazak -
Greg Fitzgerald -
Sean Leather