[plt-scheme] Check for function equality?

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.