• simonpj's avatar
    [project @ 2002-11-28 17:17:41 by simonpj] · 3c58c25b
    simonpj 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
          ../alonzo/DiGraph.hs:40:
    	  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.
    3c58c25b