caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "Jake Donham" <jake@donham.org>
To: "Paolo Donadeo" <p.donadeo@gmail.com>
Cc: "OCaml mailing list" <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] Parsing simple type expressions
Date: Tue, 6 Jan 2009 10:19:00 -0800	[thread overview]
Message-ID: <c7e4e9f0901061019i52cc7a0cxd88574ebb82cc6c4@mail.gmail.com> (raw)
In-Reply-To: <4b5157c30901060603k6d0589d2m469b170dc5ec7c8e@mail.gmail.com>

[-- Attachment #1: Type: text/plain, Size: 729 bytes --]

On Tue, Jan 6, 2009 at 6:03 AM, Paolo Donadeo <p.donadeo@gmail.com> wrote:

> For a serializer I'm writing I need to parse simple OCaml type
> expressions composed by OCaml basic types, tuples, options and lists.


This is pretty easy with Camlp4, although as you say there isn't much in the
docs to point the way. You might take a look at how orpc does it--see the
parse_type function in

  http://code.google.com/p/orpc2/source/browse/trunk/src/generator/parse.ml

(I'm going to cover using Camlp4 in this way on the blog I posted yesterday,
but not for another week or two.)

You might also look at some other Camlp4-based serialization tools, like
bin-prot/type-conv at

  http://www.ocaml.info/home/ocaml_sources.html

Jake

[-- Attachment #2: Type: text/html, Size: 1198 bytes --]

  parent reply	other threads:[~2009-01-06 18:19 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-01-06 14:03 Paolo Donadeo
2009-01-06 15:12 ` [Caml-list] " David Allsopp
2009-01-06 21:10   ` Martin Jambon
2009-01-06 22:49     ` Re : " Matthieu Wipliez
2009-01-07 22:50       ` Paolo Donadeo
2009-01-06 18:19 ` Jake Donham [this message]
2009-01-06 21:00   ` Paolo Donadeo

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=c7e4e9f0901061019i52cc7a0cxd88574ebb82cc6c4@mail.gmail.com \
    --to=jake@donham.org \
    --cc=caml-list@yquem.inria.fr \
    --cc=p.donadeo@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).