<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Ulf Wiger (AL/EAB) wrote:
<blockquote
cite="midD4ADC896EC3F5948A9D3899986CEB9DE030D674E@esealmw115.eemea.ericsson.se"
type="cite">
<pre wrap="">Thomas Johnsson
</pre>
<blockquote type="cite">
<pre wrap="">What, you can do function equality in Erlang??
I hadn't realized....
</pre>
</blockquote>
<pre wrap=""><!---->
You mean I actually have to verify my
suggestions before posting them? ;)
I will admit that I just plainly assumed
that it would work. My original suggestion
was to use erlang:fun_info(F) as a key.
</pre>
<blockquote type="cite">
<pre wrap="">That's highly dubious ... When are two function
equal according the the Erlang implementation?
</pre>
</blockquote>
<pre wrap=""><!----></pre>
</blockquote>
My point was that it *shouldn't* work (:-)<br>
The traditional view is that two function are equal iff for same
arguments they return the same result. <br>
Ie undecidable since the number of possible arguments is infinite.<br>
In my opinion, in Erlang an attempt to compare two functions should
cause a run time error.<br>
<br>
-- Thomas<br>
<br>
</body>
</html>