[GHC] #5695: Ghci type inference to [()] -> String, when should be Show a => [a] -> Striing

[GHC]

#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