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