On Mon, May 12, 2014 at 4:58 PM, Richard Eisenberg <eir@cis.upenn.edu> wrote:
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 <greg@gregorycollins.net>