<!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>