<?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/11/1f551b7bf53f76d0b573b176d6687798"
  from="Dustin Sallings &lt;dustin@s...&gt;"
  author="Dustin Sallings"
  date="2003-11-19T05:24:17"
  subject="[Caml-list] tail call optimization"
  prev="2003/11/2f531e5e78fe56a90964318c758a3fa2"
  next="2003/11/74fd6d12b051517ef4b87994851705ad"
  next-in-thread="2003/11/74fd6d12b051517ef4b87994851705ad"
  prev-thread="2003/11/f112840855ba7fadd40cd35228f1ee0a"
  next-thread="2003/11/222e3da9e074f94c1e735e19b5df6c54"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] tail call optimization">
<msg 
  url="2003/11/1f551b7bf53f76d0b573b176d6687798"
  from="Dustin Sallings &lt;dustin@s...&gt;"
  author="Dustin Sallings"
  date="2003-11-19T05:24:17"
  subject="[Caml-list] tail call optimization">
<msg 
  url="2003/11/74fd6d12b051517ef4b87994851705ad"
  from="Brian Hurt &lt;bhurt@s...&gt;"
  author="Brian Hurt"
  date="2003-11-19T05:52:29"
  subject="Re: [Caml-list] tail call optimization">
<msg 
  url="2003/11/cfdde01e96dd3fcc2e53c6be05b8a419"
  from="Dustin Sallings &lt;dustin@s...&gt;"
  author="Dustin Sallings"
  date="2003-11-19T06:24:25"
  subject="Re: [Caml-list] tail call optimization">
<msg 
  url="2003/11/27534b11b64fdea5311fde54c963c9c3"
  from="Frederic van der Plancke &lt;fvdp@d...&gt;"
  author="Frederic van der Plancke"
  date="2003-11-19T11:38:54"
  subject="Re: [Caml-list] tail call optimization">
</msg>
<msg 
  url="2003/11/030cefc60478232c72d1ae302af3e813"
  from="Brian Hurt &lt;bhurt@s...&gt;"
  author="Brian Hurt"
  date="2003-11-19T16:24:34"
  subject="Re: [Caml-list] tail call optimization">
<msg 
  url="2003/11/b3024c61f50d75b522f680a905aa2286"
  from="Dustin Sallings &lt;dustin@s...&gt;"
  author="Dustin Sallings"
  date="2003-11-19T17:46:34"
  subject="Re: [Caml-list] tail call optimization">
</msg>
</msg>
</msg>
</msg>
<msg 
  url="2003/11/76bfb2b8df6616335e079e0acbffab67"
  from="Dustin Sallings &lt;dustin@s...&gt;"
  author="Dustin Sallings"
  date="2003-11-19T06:09:01"
  subject="Re: [Caml-list] tail call optimization">
</msg>
</msg>
</thread>

<contents>

	I read something on the list about how a function may be tail 
recursive, but not be compiled with tail call optimization.  What kinds 
of things might cause this?

	Specifically, I've got an ``iter_lines'' function I'd like to turn 
into a ``fold_lines'' function that looks something like this (a few 
different functions for different things):

let rec fold_lines f init_value ch =
     try
         let v = f (input_line ch) init_value in
         fold_lines f v ch
     with End_of_file -&gt; init_value;
;;

	So, I have these other two functions:

let operate_on_file f fn =
     let ch = open_in fn in
     try
         let rv = f ch in
         close_in ch;
         rv
     with x -&gt;
         close_in ch;
         raise x
;;

let fold_file_lines f init_value fn =
     operate_on_file (fold_lines f init_value) fn
;;

	I now want to count the lines in a file:

dustinti:~/prog/eprojects/snippets/ocaml/lib 586% wc -l numbers
  4769526 numbers
# Fileutils.fold_file_lines (fun x y -&gt; y + 1) 0 "numbers";;
Stack overflow during evaluation (looping recursion?).

	Am I doing something wrong?

--
SPY                      My girlfriend asked me which one I like better.
pub  1024/3CAE01D5 1994/11/03 Dustin Sallings &lt;dustin@spy.net&gt;
|    Key fingerprint =  87 02 57 08 02 D0 DA D6  C8 0F 3E 65 51 98 D8 BE
L_______________________ I hope the answer won't upset her. ____________

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

