Lisp/Scheme parser

Lisp/Scheme parser

[Jacques Carette]

I tried to find a full Lisp (or Scheme) parser in Ocaml, and did not 
immediately find one.  Is my Google-fu not up to the task?

Yes, I am aware that parsing s-expressions is trivial, but the full Lisp 
(or Scheme) grammar is somewhat more complicated, and I do not feel like 
reinventing the wheel.

Any technology that integrates well with Ocaml is fine, since in the end 
in-memory ASTs is going to be what we're really interested in.

Jacques

PS: Other than CIL for C, are there other programming languages for 
which I can just get an off-the-shelf (non-commercial) parser?

Re: [Caml-list] Lisp/Scheme parser

[Pierre-Evariste Dagand]

2007/5/27, Jacques Carette <carette@mcmaster.ca>:
> I tried to find a full Lisp (or Scheme) parser in Ocaml, and did not
> immediately find one.  Is my Google-fu not up to the task?

There is an implementation of a minimal lisp called Minilisp here :

http://www.bretagne.ens-cachan.fr/DIT/People/Luc.Bouge/Teaching/MIT1/Lisp/MLlisp/Dynamic/

It may fulfill your needs.

-- 
Pierre-Evariste DAGAND
http://perso.eleves.bretagne.ens-cachan.fr/~dagand/

Empreinte GPG [pgp.mit.edu] :
F8CC 61DD 40B7 933F 17CA  061F 5591 AAE6 D3EC 7357

Re: [Caml-list] Lisp/Scheme parser

[skaller]

On Sun, 2007-05-27 at 11:43 -0400, Jacques Carette wrote:
> I tried to find a full Lisp (or Scheme) parser in Ocaml, and did not 
> immediately find one.  Is my Google-fu not up to the task?

OCS Scheme.

http://will.iki.fi/software/ocs/


-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

Re: [Caml-list] Lisp/Scheme parser

[Joel Reymont]

This is the first result of the Google search for "scheme ocaml":

http://home.arcor.de/chr_bauer/schoca.html

	Thanks, Joel

--
http://topdog.cc/ - EL to C# compiler
http://wagerlabs.com/ - blog

Re: [Caml-list] Lisp/Scheme parser

[Jacques Carette]

Joel Reymont wrote:
> This is the first result of the Google search for "scheme ocaml":
Silly me, I kept putting "grammar" or "parsing" in my searches, with 
sub-optimal results.

Thanks to all who have responded to this,
Jacques

Re: [Caml-list] Lisp/Scheme parser

[Eliot Handelman]

skaller wrote:
> On Sun, 2007-05-27 at 11:43 -0400, Jacques Carette wrote:
>   
>> I tried to find a full Lisp (or Scheme) parser in Ocaml, and did not 
>> immediately find one.  Is my Google-fu not up to the task?
>>     
>
> OCS Scheme.
>
> http://will.iki.fi/software/ocs/
>
>
>   
Are there examples anywhere of how to embed OCS in an ocaml program?

thanks,

-- eliot

Re: [Caml-list] Lisp/Scheme parser

[Eric Cooper]

On Sun, May 27, 2007 at 11:43:22AM -0400, Jacques Carette wrote:
> PS: Other than CIL for C, are there other programming languages for 
> which I can just get an off-the-shelf (non-commercial) parser?

I wrote an OCaml parser for Java a while ago:
    http://www.cs.cmu.edu/~ecc/joust.tar.gz
It handled the full language at the time I wrote it, but it probably
needs to be updated now (for generics at least).

-- 
Eric Cooper             e c c @ c m u . e d u