<?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/6f1f42a6fc6d82c515c0fbf20ed92a74"
  from="Gérard_Huet &lt;Gerard.Huet@i...&gt;"
  author="Gérard_Huet"
  date="2003-01-21T16:38:33"
  subject="Re: [Caml-list] view types in ocaml?"
  prev="2003/01/eea86615e9ca47c169bfb91694fa15f2"
  next="2003/01/0650f6f66d394345038598ab4b6dfae6"
  prev-in-thread="2003/01/bf6d813c0d03ff819c067945cbcbcabd"
  prev-thread="2003/01/18adbbf91ec34b35351de3a8ecc5092f"
  next-thread="2003/01/c5aa93d21c0c93504dd2d03bd7e68762"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] view types in ocaml?">
<msg 
  url="2003/01/2b72d4c560e6efe5525adf0843857a06"
  from="Ed L Cashin &lt;ecashin@u...&gt;"
  author="Ed L Cashin"
  date="2003-01-21T04:51:07"
  subject="[Caml-list] view types in ocaml?">
<msg 
  url="2003/01/f7d77168aebaebd82fa5520666ec3b3e"
  from="Yaron M. Minsky &lt;yminsky@C...&gt;"
  author="Yaron M. Minsky"
  date="2003-01-21T12:54:33"
  subject="Re: [Caml-list] view types in ocaml?">
<msg 
  url="2003/01/bf6d813c0d03ff819c067945cbcbcabd"
  from="Yaron M. Minsky &lt;yminsky@C...&gt;"
  author="Yaron M. Minsky"
  date="2003-01-21T14:42:56"
  subject="Re: [Caml-list] view types in ocaml?">
<msg 
  url="2003/01/6f1f42a6fc6d82c515c0fbf20ed92a74"
  from="Gérard_Huet &lt;Gerard.Huet@i...&gt;"
  author="Gérard_Huet"
  date="2003-01-21T16:38:33"
  subject="Re: [Caml-list] view types in ocaml?">
</msg>
</msg>
</msg>
</msg>
</thread>

<contents>

Le mardi, 21 jan 2003, à 15:42 Europe/Paris, Yaron M. Minsky a écrit :

&gt; Another useful extension to the ocaml toplevel which has been proposed
&gt; in the past is to have some kind of default "this" variable which 
&gt; stores
&gt; unbound variables.  That would make the supression of let-bound easier
&gt; to use, since if you wanted to see how something printed out, you could
&gt; refrain from let-binding it, and still get access to the result using
&gt; the "this" variable.

For the record, this facility existed in the original ML from LCF 20 
years ago,
the variable was called "it" and it was extremely useful in top-level 
debugging.
It was still there in ML V6.2 circa 1985, and thus also in early 
versions of Caml.
I do not remember who took "it" off, but maybe "it" could be 
resurrected...
GH


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

