• simonpj@microsoft.com's avatar
    Fix defaulting for overloaded strings · 041c35e5
    simonpj@microsoft.com authored
    This patch fixes the typechecking of the default declaration itself,
    when overloaded strings are involved.  It also documents the behaviour
    in the user manual.
    
    nofib/spectral/power should work again now!
    041c35e5
TcSimplify.lhs 89.5 KB