14 May
2014
14 May
'14
3:53 p.m.
On Mon, May 12, 2014 at 4:58 PM, Richard Eisenberg
We could, of course, just leave the functions there with new implementations, but that feels like it could accumulate legacy functions over time.
I think the ultimate goal of removing the function was not unwise of you,
but the right thing to do here would be to write a reimplementation, mark
it as {-# DEPRECATED #-}, and give a timetable for its future removal. This
gives users time to adjust and minimizes breakage.
G
--
Gregory Collins