• 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.
    50bfd421
TcErrors.lhs 60 KB