• 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
TcSimplify.lhs 58.1 KB