<?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/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; ?"
  prev="2003/07/52db5848fcf82796cf6022e25fc64b51"
  next="2003/07/f99c8935e3441152ae1bb768aa473b06"
  prev-in-thread="2003/07/28a24d1de6e0bfae026434e22611feed"
  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>

Jacques Garrigue writes:
 &gt; A middle ground would be to only warn when the wild pattern matches a
 &gt; function type

That would be great! 

Could it be done before 3.07 is released? :-)

-- 
Jean-Christophe

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

