• simonpj's avatar
    [project @ 2001-07-25 15:55:30 by simonpj] · 7fde87b3
    simonpj authored
    -----------------------------------------
    	Fix a bug in the monomorphism restriction
    	------------------------------------------
    
    Thanks for Koen for reporting this bug.
    
    In tcSimplifyRestricted, I wrongly called tcSimpifyToDicts,
    whereas actually we have to simplfy further than simply to
    a dictionary.
    
    The test for this is in typecheck/should_compile/tc132.hs
    7fde87b3
TcSimplify.lhs 58.1 KB