• Simon Peyton Jones's avatar
    [project @ 2002-11-28 17:17:41 by simonpj] · 3c58c25b
    Simon Peyton Jones authored
          A day's work to improve error messages
    1.  Indicate when the cause of the error is likely to be the monomorpism
        restriction, and identify the offending variables.  This involves
        mainly tcSimplifyTop and its error generation.
    2.  Produce much better kind error messages.  No more
    	  Couldn't match `* -> *' against `Type bx'
    	      Expected kind: * -> *
    	      Inferred kind: Type bx
    	  When checking that `DiGraph n' is a type
    It took a surprisingly long time to get the details right.