Fix a deriving bug, arising from recent refactoring
This one is a hangover from something I did a month or two ago, but didn't get quite right. tcSimplifyDefault should not check for no-instances; instead the checkValidInstance in TcDeriv does so. Conal's DeepArrow needs this fix. Test is drv015.
Showing
Please register or sign in to comment