Hi, Am Dienstag, den 12.12.2006, 11:24 -0800 schrieb Greg Fitzgerald: > I'd like to be able to reorganize my code and then verify that I > didn't change any functionality. That is, the old and new code have > precisely the same meaning. > > Also, I'd like to be able to change a function and verify that > efficiency was the only thing affected. > > Are either of these possible in Haskell or any language?
Yes, just create an instance (Eq a, Eq b) => Eq (a -> b) then you can use == to compare your definitions. Sorry, could not resist, Joachim -- Joachim Breitner e-Mail: [EMAIL PROTECTED] Homepage: http://www.joachim-breitner.de ICQ#: 74513189 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe