• Simon Peyton Jones's avatar
    Be less picky about reporing inaccessible code · 03541cba
    Simon Peyton Jones authored
    Triggered by the discussion on Trac #12466, this patch
    makes GHC less aggressive about reporting an error when
    there are insoluble Givens.
    Being so agressive was making some libraries fail to
    compile, and is arguably wrong in at least some cases.
    See the discussion on the ticket.
    Several test now pass when they failed before; see
    the files-modified list for this patch.
all.T 19.9 KB