• Simon Peyton Jones's avatar
    Improve error reporting for untouchable type variables · 50bfd421
    Simon Peyton Jones authored
    This change adds a suggestion
        Possible fix: add a type signature for ‘f’
    when we have a GADT-style definition with a
    type we can't figure out.
    See Note [Suggest adding a type signature] in TcErrors.
    This initially came up in the discussion of Trac #8968.
TcErrors.lhs 60 KB