• simonpj@microsoft.com's avatar
    Fix another fundep error (fixes Trac #4969) · d1796b52
    simonpj@microsoft.com authored
    If I had a pound for every hour Dimitrios and I have spent
    making functional dependencies work right, we'd be rich!
    
    We had stupidly caused a 'wanted' to be rewritten by a 'derived', with
    resulting abject failure.  As well as fixing the bug, this patch
    refactors some more, adds useful assert and comments.
    d1796b52
TcSMonad.lhs 27.1 KB