• 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
T10045.stderr 787 Bytes