returnM (Just ty', ty_fvs)
| otherwise -> addLocErr ty patSigErr `thenM_`
returnM (Nothing, emptyFVs)
returnM (Just ty', ty_fvs)
| otherwise -> addLocErr ty patSigErr `thenM_`
returnM (Nothing, emptyFVs)
(addWarn (nonStdGuardErr guards'))
; return (GRHS guards' rhs', fvs) }
(addWarn (nonStdGuardErr guards'))
; return (GRHS guards' rhs', fvs) }