#5695: Ghci type inference to [()] -> String, when should be Show a => [a] ->
Striing
---------------------------------------+------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.0.3 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC rejects valid program | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------------+------------------------------------
GHCi, version 7.0.3 from Haskell Platform 2011.2.0.1
*Main> let test = intercalate ";" . map (\a -> "Id=" ++ show a) :: Show a
=> [a] -> String
*Main> :t test
test :: [()] -> String
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5695>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
