Peter Verswyvelen wrote:
Could it be considered a bug when a function compiles fine without type signature, but when you add the type signature that GHCi reports with :type, it fails to compile?
There are such cases where it is not a bug. For example, given import Data.Map (fromList) x a = fromList a ghci will happily report that x has type Ord k => [(k, a)] -> Data.Map.Map k a but the name Data.Map.Map is not in scope in the module. Tillmann _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
