• simonpj@microsoft.com's avatar
    Fix 2030: make -XScopedTypeVariables imply -XRelaxedPolyRec · 493fd9df
    simonpj@microsoft.com authored
    The type checker doesn't support lexically scoped type variables 
    unless we are using the RelaxedPolyRec option.  Reasons: see
    Note [Scoped tyvars] in TcBinds.
    So I've changed DynFlags to add this implication, improved the 
    documentation, and simplified the code in TcBinds somewhat.
    (It's longer but only because of comments!)