• simonpj@microsoft.com's avatar
    Improve error message · d2b27dcd
    simonpj@microsoft.com authored
    Improve a little-used error message.  Given
    	f :: a -> a
    	f x y = e
    the error says 
    
    	The equations for f have two arguments
    	but its type `a -> a' has only one
    
    (Before, it said "its type `a' has only one" which is bogus.
    d2b27dcd
TcUnify.lhs 65.1 KB