<?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="2002/12/cfab7d82fab7e0ed9d6dbd759f94419c"
  from="Christophe Raffalli &lt;Christophe.Raffalli@u...&gt;"
  author="Christophe Raffalli"
  date="2002-12-27T11:24:12"
  subject="[Caml-list] about optionnal argument ?"
  prev="2002/12/a57a9f8f19efef0c309a18bc051d81d2"
  next="2002/12/6bd310d129ea8d41c4a95acaa8b53a0d"
  prev-in-thread="2002/12/a57a9f8f19efef0c309a18bc051d81d2"
  next-in-thread="2002/12/86a98a76ddc2f876951492fdc2797528"
  prev-thread="2002/12/0a20c8ad6f2bdd101d65c6f54b7dfd02"
  next-thread="2002/12/5d442ee31123f148e1c3d1f0d71e3c7b"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] First alpha release of LablGTK2">
<msg 
  url="2002/12/a57a9f8f19efef0c309a18bc051d81d2"
  from="Jacques Garrigue &lt;garrigue@k...&gt;"
  author="Jacques Garrigue"
  date="2002-12-27T09:18:43"
  subject="[Caml-list] First alpha release of LablGTK2">
<msg 
  url="2002/12/cfab7d82fab7e0ed9d6dbd759f94419c"
  from="Christophe Raffalli &lt;Christophe.Raffalli@u...&gt;"
  author="Christophe Raffalli"
  date="2002-12-27T11:24:12"
  subject="[Caml-list] about optionnal argument ?">
<msg 
  url="2002/12/86a98a76ddc2f876951492fdc2797528"
  from="Jacques Garrigue &lt;garrigue@k...&gt;"
  author="Jacques Garrigue"
  date="2002-12-27T15:11:32"
  subject="Re: [Caml-list] about optionnal argument ?">
<msg 
  url="2002/12/d74e20ad375c94b64e2a48fd14c314bb"
  from="Nickolay Semyonov-Kolchin &lt;snob@s...&gt;"
  author="Nickolay Semyonov-Kolchin"
  date="2002-12-27T17:37:13"
  subject="Re: [Caml-list] about optionnal argument ?">
</msg>
</msg>
</msg>
</msg>
</thread>

<contents>
I wonder why optionnal argument are implemented through the option type instead 
of giving a defauklt value ?

Obviously the type should carry the default value which should be a closed 
constant (like None, 0, 0.0, [1;2;3], etc ...) but this would preserve the 
possibility of using optionnal arguments and unboxed int or float arguments
and it will save the None/Some test !


-- 
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature
---------------------------------------------

</contents>

</message>

