<?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/07/f087c018f2b5dd9d20cee1fec0e2932e"
  from="henridf@l..."
  author="henridf@l..."
  date="2003-07-15T00:29:54"
  subject="[Caml-list] &apos;should have type unit&apos; warning in &apos;let _ =&apos; ?"
  prev="2003/07/54a6ceb53dfa0bd7ef618e45a55fec76"
  next="2003/07/0246c867e03ce642bf18a3fcaa245116"
  next-in-thread="2003/07/ed4b783ba287324e156a8716471da670"
  prev-thread="2003/07/54a6ceb53dfa0bd7ef618e45a55fec76"
  next-thread="2003/07/a7dc933f5630b69d8aaaade2b2a1795a"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] &apos;should have type unit&apos; warning in &apos;let _ =&apos; ?">
<msg 
  url="2003/07/f087c018f2b5dd9d20cee1fec0e2932e"
  from="henridf@l..."
  author="henridf@l..."
  date="2003-07-15T00:29:54"
  subject="[Caml-list] &apos;should have type unit&apos; warning in &apos;let _ =&apos; ?">
<msg 
  url="2003/07/ed4b783ba287324e156a8716471da670"
  from="Jacques Garrigue &lt;garrigue@k...&gt;"
  author="Jacques Garrigue"
  date="2003-07-15T01:04:49"
  subject="Re: [Caml-list] &apos;should have type unit&apos; warning in &apos;let _ =&apos; ?">
<msg 
  url="2003/07/03d042ad789734bfa71b3cc5a81d03b2"
  from="Richard Jones &lt;rich@a...&gt;"
  author="Richard Jones"
  date="2003-07-15T11:36:52"
  subject="Re: [Caml-list] &apos;should have type unit&apos; warning in &apos;let _ =&apos; ?">
<msg 
  url="2003/07/28a24d1de6e0bfae026434e22611feed"
  from="Jacques Garrigue &lt;garrigue@k...&gt;"
  author="Jacques Garrigue"
  date="2003-07-16T00:11:13"
  subject="Re: [Caml-list] &apos;should have type unit&apos; warning in &apos;let _ =&apos; ?">
<msg 
  url="2003/07/b2a1d888cd94e0bda8a7652de0bbadee"
  from="Jean-Christophe Filliatre &lt;Jean-Christophe.Filliatre@l...&gt;"
  author="Jean-Christophe Filliatre"
  date="2003-07-16T07:13:08"
  subject="Re: [Caml-list] &apos;should have type unit&apos; warning in &apos;let _ =&apos; ?">
</msg>
</msg>
</msg>
</msg>
</msg>
</thread>

<contents>
hi, 

i had a minor bug where the last expression in a 
let _ = ...
block of my module was not fully applied and hence was returning a 
functional value rather than apply the function (because I had added a 
parameter to the function).

pretty harmless, but it led me to wonder why I wasn't writing 'let () = 
..' for all my module initialization blocks, which would have given me 
'warning should have type unit' in the above situation.

So is there a reason why the commonly used idiom seems to be 'let _ =' 
rather than 'let () = '? 

Thanks

Henri


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

