Actually, I think one can make a stronger statement. I suspect
(without spending many brain-cycles on it) that the GENERAL
question "Does function f1 do the same thing as function f2?"
is formally unsolvable, in the same way that the halting problem
has no general solution.
If you can really find a way to do so, you'll cause a general
protection fault that will crash the universe. ;-)
-jn-
[EMAIL PROTECTED] wrote:
>
...
>
> If you want to determine if two scripts are doing the same thing,
> you'd at least have to simulate their execution. That is, you
> can't determine that by just statically analyzing REBOL code.
>
> If you really find a way to do so, then you've found a way to
> compile REBOL code.
>
> Regards,
> Gabriele.
> --
> Gabriele Santilli <[EMAIL PROTECTED]> - Amigan - REBOL programmer
> Amiga Group Italia sez. L'Aquila -- http://www.amyresource.it/AGI/
