• Simon Peyton Jones's avatar
    Add a solveEqualities to tcClassDecl1 · 43b08cfb
    Simon Peyton Jones authored
    Trac #15505 showed that, when we have a type error, we
    could have an unfilled-in coercion hole.  We don't want an
    assertion error in that case.
    
    The underlying cause is that tcClassDecl1 should call
    solveEqualities to fully solve all top-level equalities
    (or fail in the attempt).
    
    I also refactored the ClassDecl case for tcTyClDecl1 into
    a new function tcClassDecl1.  That makes it symmetrical
    with the others.
    43b08cfb
DsMeta.hs 104 KB