Archives of the Caml mailing list > Message from Agustin Valverde Ramos

Browse thread

[Caml-list] Better option to read a file

Agustín_Valverde
- Pietro Abate
- Christoph Bauer
  - Agustin Valverde Ramos
    - Markus Mottl
      - Agustin Valverde Ramos
        
        Markus Mottl
- Jean-Christophe Filliatre
  - Markus Mottl

Date:	-- (:)
From:	Agustin Valverde Ramos <a_valverde@m...>
Subject:	Re: [Caml-list] Better option to read a file

A lot of thanks, Markus. In fact, I'm reading and studying about 
ocamllex/yacc and this code will help me. Just a couple of questions.

> type expr =
>   | Id of string
>   | Not of expr
>   | And of expr * expr
>   | Or of expr * expr

I want to work with conjunctions and disjunctions of lists:

      | And of expr list
      | Or of expr list

Is it hard/possible to modify  the rest of the code?

>  (note: the topmost expression also needs parenthesis!). E.g.:

Why? is it possible to release this restriction?

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