cvs commit: hugs98/src connect.h static.c type.c

[ross at glass.cse.ogi.edu]

ross        2003/09/29 14:28:41 PDT

  Modified files:
    src                  connect.h static.c type.c 
  Log:
  Improve the error message for irreducible constraints on inferred
  types in +98 mode.
  
  Formerly:
  
  	Prelude> "abc" + "def"
  	ERROR - Illegal Haskell 98 class constraint in inferred type
  	*** Expression : "abc" + "def"
  	*** Type       : Num [Char] => [Char]
  
  Now changed to
  
  	Prelude> "abc" + "def"
  	ERROR - Cannot derive instance
  	*** Instance   : Num [Char]
  	*** Expression : "abc" + "def"
  
  Messages for explicitly given types are unchanged.
  
  Revision  Changes    Path
  1.76      +3 -2      hugs98/src/connect.h
  1.155     +28 -2     hugs98/src/static.c
  1.72      +5 -5      hugs98/src/type.c