<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2003/01/56cadbaf068bac6843dc9d7d06d05d08"
  from="Florian Hars &lt;hars@b...&gt;"
  author="Florian Hars"
  date="2003-01-08T16:51:22"
  subject="Re: [Caml-list] égalité_physique_(== )_avec_Pervasives.(+)"
  prev="2003/01/31835993ecc251120654a9c4bc10a0f6"
  next="2003/01/fb29e8f1afbaa8deaeabffe306b2d071"
  prev-in-thread="2003/01/eb09f1ee07200707e0515c5acc1d81ba"
  next-in-thread="2003/01/bb9a3376f7ecd1204d445dd821ff7e3d"
  prev-thread="2003/01/7a15eda9b4e6a6c840047caa336fed65"
  next-thread="2003/01/ffa553f7b474e1e0d8832df3cc727cf6"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] égalité_physique_(==)_avec_Pervasives .(+)">
<msg 
  url="2003/01/43e79a58009853705b48ca36fcab5c69"
  from="Diego Olivier Fernandez Pons &lt;Diego-Olivier.FERNANDEZ-PONS@c...&gt;"
  author="Diego Olivier Fernandez Pons"
  date="2003-01-06T17:59:27"
  subject="[Caml-list] égalité_physique_(==)_avec_Pervasives .(+)">
<msg 
  url="2003/01/eb09f1ee07200707e0515c5acc1d81ba"
  from="Christophe Raffalli &lt;Christophe.Raffalli@u...&gt;"
  author="Christophe Raffalli"
  date="2003-01-07T21:11:23"
  subject="Re: [Caml-list] égalité_physique_(== )_avec_Pervasives.(+)">
<msg 
  url="2003/01/56cadbaf068bac6843dc9d7d06d05d08"
  from="Florian Hars &lt;hars@b...&gt;"
  author="Florian Hars"
  date="2003-01-08T16:51:22"
  subject="Re: [Caml-list] égalité_physique_(== )_avec_Pervasives.(+)">
</msg>
<msg 
  url="2003/01/bb9a3376f7ecd1204d445dd821ff7e3d"
  from="Diego Olivier Fernandez Pons &lt;Diego-Olivier.FERNANDEZ-PONS@c...&gt;"
  author="Diego Olivier Fernandez Pons"
  date="2003-01-08T17:35:30"
  subject="Re: [Caml-list] égalité_physique_(== )_avec_Pervasives.(+)">
</msg>
</msg>
</msg>
</thread>

<contents>
&gt; Il me semble un peu bizarre d'utiliser l'égalité physique sur des 
&gt; fonctions !

Well, physical equality of closures is the only meaningful type of equality for 
functions (unless you manage to discover a polynomial algorithm to solve the 
halting problem).

Yours, Florian.

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

</contents>

</message>

