From: Matthew Flatt (mflatt at cs.utah.edu) Date: Thu Feb 19 17:13:28 EST 2009 |
|
At Thu, 19 Feb 2009 13:43:30 -0800 (PST), dave yrueta wrote: > Is there a Scheme function similar to "check-expect" that tests for > equality between functions? No. Apologies if you already know this and I misunderstand the question, but: That's not the sort of thing that can be detected or proved in general. Look for information on the "halting problem" for details. Matthew
Posted on the users mailing list. |
|