[ ghc-Bugs-1184340 ] Incorrect Type Inference?
SourceForge.net
noreply at sourceforge.net
Sat Apr 16 13:36:45 EDT 2005
Bugs item #1184340, was opened at 2005-04-16 10:36
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1184340&group_id=8032
Category: GHCi
Group: 6.4
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Incorrect Type Inference?
Initial Comment:
If the function
func1 = \x -> map (*x)
is saved into a file, and then imported to ghci
(v6.4, windows), the type becomes
Integer -> [Integer] -> [Integer]
However, if I do
:t \x -> map (*x)
the result is:
\x -> map (*x) :: (Num a) => a -> [a] -> [a]
which seems correct.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1184340&group_id=8032
More information about the Glasgow-haskell-bugs
mailing list