Re: [Caml-list] Custom lexer in Camlp4

2008-06-25 Thread Nicolas Pouillard
Excerpts from Jeremy Yallop's message of Wed Jun 25 13:53:02 +0200 2008: > Nicolas Pouillard wrote: > > Excerpts from Jeremy Yallop's message of Tue Jun 24 16:30:23 +0200 2008: > >> Nicolas Pouillard wrote: > >>> Excerpts from Jeremy Yallop's message of Tue Jun 24 15:03:19 +0200 2008: > Is the

Re: [Caml-list] Custom lexer in Camlp4

2008-06-25 Thread Jeremy Yallop
Nicolas Pouillard wrote: Excerpts from Jeremy Yallop's message of Tue Jun 24 16:30:23 +0200 2008: Nicolas Pouillard wrote: Excerpts from Jeremy Yallop's message of Tue Jun 24 15:03:19 +0200 2008: Is there a way to replace the default lexer in Camlp4? I'd like to use (an extended version of) o

Re: [Caml-list] Custom lexer in Camlp4

2008-06-25 Thread Christophe TROESTLER
On Wed, 25 Jun 2008 09:41:31 +0100, Richard Jones wrote: > > On Tue, Jun 24, 2008 at 12:59:00PM -0400, Yaron Minsky wrote: > > You might want to take a look at an OSP project that is going on this summer > > that is aiming to implement something rather similar to what you describe: > > > > http:/

Re: [Caml-list] Custom lexer in Camlp4

2008-06-25 Thread Richard Jones
On Tue, Jun 24, 2008 at 12:59:00PM -0400, Yaron Minsky wrote: > You might want to take a look at an OSP project that is going on this summer > that is aiming to implement something rather similar to what you describe: > > http://osp.janestcapital.com/files/delimited-overloading.pdf Yes, when can

Re: [Caml-list] Custom lexer in Camlp4

2008-06-24 Thread Yaron Minsky
You might want to take a look at an OSP project that is going on this summer that is aiming to implement something rather similar to what you describe: http://osp.janestcapital.com/files/delimited-overloading.pdf y On Tue, Jun 24, 2008 at 11:16 AM, Richard Jones <[EMAIL PROTECTED]> wrote: > On

Re: [Caml-list] Custom lexer in Camlp4

2008-06-24 Thread Pietro Abate
Hi, a while ago I posted an example to replace the camlp4 lexer with a custom one. Nobody replied to my post. Maybe it was just plain wrong, but maybe it is worth a look. http://groups.google.com/group/fa.caml/browse_thread/thread/e51ee5ef1d837d36/0bd94b4d2e824536?lnk=gst&q=camlp4+and+lexers# p

Re: [Caml-list] Custom lexer in Camlp4

2008-06-24 Thread Hezekiah M. Carty
I forgot to include the relevant external links in my prior email. They are included below. On Tue, Jun 24, 2008 at 11:43 AM, Hezekiah M. Carty <[EMAIL PROTECTED]> wrote: > I toyed around with a simple extension to the pa_float example on the > camlp4 wiki. The modified version is here: > > http:

Re: [Caml-list] Custom lexer in Camlp4

2008-06-24 Thread Nicolas Pouillard
Excerpts from Hezekiah M. Carty's message of Tue Jun 24 17:43:52 +0200 2008: > On Tue, Jun 24, 2008 at 11:16 AM, Richard Jones <[EMAIL PROTECTED]> wrote: > > On Tue, Jun 24, 2008 at 03:30:23PM +0100, Jeremy Yallop wrote: > > On a related note I had a crazy brainwave that we could use camlp4 to > >

Re: [Caml-list] Custom lexer in Camlp4

2008-06-24 Thread Hezekiah M. Carty
On Tue, Jun 24, 2008 at 11:16 AM, Richard Jones <[EMAIL PROTECTED]> wrote: > On Tue, Jun 24, 2008 at 03:30:23PM +0100, Jeremy Yallop wrote: > On a related note I had a crazy brainwave that we could use camlp4 to > use 'ordinary' operators in an overloaded context. Something like: > > INT64 (2L *

Re: [Caml-list] Custom lexer in Camlp4

2008-06-24 Thread Andrej Bauer
On a related note: how hard would it be to convince camlp4 to translate the Coq-like context notation expr % M to the "open in" construct open M in expr ? Since % is already an infix operator, this shouldn't be too hard. Andrej ___ Caml-list mail

Re: [Caml-list] Custom lexer in Camlp4

2008-06-24 Thread Nicolas Pouillard
Excerpts from Jeremy Yallop's message of Tue Jun 24 16:30:23 +0200 2008: > Nicolas Pouillard wrote: > > Excerpts from Jeremy Yallop's message of Tue Jun 24 15:03:19 +0200 2008: > >> Is there a way to replace the default lexer in Camlp4? I'd like to use > >> (an extended version of) one of the OCa

Re: [Caml-list] Custom lexer in Camlp4

2008-06-24 Thread Richard Jones
On Tue, Jun 24, 2008 at 03:30:23PM +0100, Jeremy Yallop wrote: > Ok, I've built a slightly modified clone of PreCast. What's the best > way to persuade Camlp4 to use it? The original PreCast seems fairly > hardwired, e.g. in the Register module. If you get an answer to this, please post it. I

Re: [Caml-list] Custom lexer in Camlp4

2008-06-24 Thread Jeremy Yallop
Nicolas Pouillard wrote: Excerpts from Jeremy Yallop's message of Tue Jun 24 15:03:19 +0200 2008: Is there a way to replace the default lexer in Camlp4? I'd like to use (an extended version of) one of the OCaml grammars, but with a different lexer. You can rebuild (I mean functor application

Re: [Caml-list] Custom lexer in Camlp4

2008-06-24 Thread Nicolas Pouillard
Excerpts from Jeremy Yallop's message of Tue Jun 24 15:03:19 +0200 2008: > Is there a way to replace the default lexer in Camlp4? I'd like to use > (an extended version of) one of the OCaml grammars, but with a different > lexer. You can rebuild (I mean functor application), your own camlp4 by

[Caml-list] Custom lexer in Camlp4

2008-06-24 Thread Jeremy Yallop
Is there a way to replace the default lexer in Camlp4? I'd like to use (an extended version of) one of the OCaml grammars, but with a different lexer. -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. __