Re: [Boost-users] Equality comparison of boost::function<>

Subject: Re: [Boost-users] Equality comparison of boost::function<>
From: Scott McMurray (me22.ca+boost_at_[hidden])
Date: 2009-08-08 02:30:43

2009/8/7 Zachary Turner <divisortheory_at_[hidden]>:
>
> Out of curiosity, is it impossible due to technical limitations, or is
> it just not implemented because it's either difficult or nobody's ever
> gotten around to it?
>

Undecidable by reduction to the halting problem in general, though
apparently possible for straight-line code (no loops/recursion)
through the brute-force method of generate all paths and send them to
a theorem prover to prove equivalence.