Archives of the Caml mailing list > Message from Matthew W. Boyd

Browse thread

[Caml-list] Wanted - General Purpose "Glue Logic" Data-Structures

John Gerard Malecki
- Wheeler Ruml
  - Markus Mottl
    - Yaron M. Minsky
      - Jean-Christophe Filliatre
        
        Brian Hurt
        
        Jean-Christophe Filliatre
        
        Markus Mottl
        
        David Brown
        
        Brian Hurt
  - Brian Hurt
    - John Gerard Malecki
- Brian Hurt
- Matthew W. Boyd
- Nicolas Cannasse

Date:	-- (:)
From:	Matthew W. Boyd <mattwb@m...>
Subject:	Re: [Caml-list] Wanted - General Purpose "Glue Logic" Data-Structures


> The program broke down in 2 places.  First, List.concat was used to
> convert the output of the fracturer from 'a list list to 'a list.  Not
> only is List.concat not tail-recursive but @ (Pervasives.append) is
> also not tail-recursive.  I modified the fracturer to directly produce
> 'a list.
> 
> 

This has been brought up many times in the past.  Perhaps this could be
in the List module documentation?

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