Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Better option to read a file
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Agustin Valverde Ramos <a_valverde@m...>
Subject: Re: [Caml-list] Better option to read a file

El 17/03/2004, a las 8:31, Christoph Bauer escribió:

> I'm not quite sure, what you want.  `leer' reads a whole file (this
> whitout a upper limit on `long' a bad idea),

The unlimited long is the unique problem or is there another drawbacks?

>  `unir' doesn't work and

Yes, I wrote bad the definition in the email (let rec unir c ac = 
ac^(Char.escaped c);;), but I have understood that, any case, this is a 
bad idea.

> `leer2' is `read the first line of file and don't close the file'.
> (Do you mean `let leer2 = input_line'?)
>
> Because of `leer2', I assume you have a parser operating on lines.

No, my parser works over all the file content. I want to read formulas 
like the following:

((p | (r -> t)) &
(q | (t -> s)))
-> ((p & -(q -> -t)) |
(r -> ((q -> (s | r)) & s)))

For example, I have a file of 752Kb with 770028 characters and I forget 
the newline char to reduce the size of the resulting string. So I don't 
know if I can apply the Chirstoph and Pietro ideas directly.

I think that the Markus suggestion is better for me, because I have 
never worked with ocamllex. By the way, can I obtain benefits in 
efficiency using ocamllex? because in this case I'll learn to use it.

Thanks for all answers

*******************************
*  Agustín Valverde Ramos
*  Dept. Matemática Aplicada
*  E.T.S. de Ingeniería Informática
*  Universidad de Málaga
*  Campus de Teatinos
*  29071 Málaga (España)
*  ---------------------------------
*  Tel:  (+34)  952132878
*  Fax: (+34)  952132746
*  mailto:a_valverde@ctima.uma.es
*  http://www.AgustinValverde.com
*  ---------------------------------
*  Soy miembro de GIMAC:
*  "Grupo de Investigación
*  en Matemática Aplicada para la Computación"
*  http://batllo.informatica.uma.es/aciego/gimac-home.html
*
*  I am member of GIMAC:
*  "Research Group in Applied Mathematics for
*  Computer Science"
*  http://batllo.informatica.uma.es/aciego/gimac-home-eng.html
*******************************

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