• Simon Peyton Jones's avatar
    Improve type-error reporting · 1b476ab5
    Simon Peyton Jones authored
    This patch does two things:
    
    * When reporting a hole, we now include its kind if the
      kind is not just '*'.  This addresses Trac #14265
    
    * When reporting things like "'a' is a rigid type varaible
      bound by ...", this patch arranges to group the type variables
      together, so we don't repeat the "bound by..." stuff endlessly
    1b476ab5
all.T 6.9 KB