RE: [Caml-list] Parameterised lexer

Definitely not possible (directly) with ocamllex - what you're suggesting would involve recompiling the automaton on each call which isn't how ocamllex works. Don't know about ulex. But: do you know enough about the kind of expressions that param could be to use one regexp that would cover them al

[Caml-list] Keeping local types local?

David Rajchenbach-Teller wrote: > One way of doing so would be to use monads but my idea is to use local > modules and local types and take advantage of the fact that values of > that type cannot escape the scope of the local module. Unfortunately, > as it turns out, sometimes, values with a loca

[Caml-list] JFLA 2009: 2ème appel aux communi cations

(This message is intentionally written in French) * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * DEUXIEME APPEL AUX COMMUNICATIONS DEUXIEME APPEL AUX COMMUNICATIONS JFLA'2009 (http://jfla.inria.fr/) Journées Fr

[Caml-list] csml: high-level bindings between OCaml and .Net

Dear Caml developers, LexiFi is proud to announce the first public release of CSML, a system to interface OCaml and .Net/C#. CSML makes it possible to leverage existing .Net components from OCaml, to expose OCaml libraries into the .Net world and more generally to write mixed OCaml/.Net applic

[Caml-list] Re: Keeping local types local?

Thanks for the answer. My hope is that, since OCaml does already perform some scope escape analysis, this analysis could be hijacked into something more restrictive with the help of some simple rewriting/staged compilation. Now, I realise that monads (I'm unfamiliar with parametrised monads, alth

[Caml-list] strange behavior with camlp4 and #use

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hi, I am running 3.10.2 installed from GODI. Findlib is similarly installed. I run into the following error "I/O error: Bad file descriptor" when I try to '#use somefile' several times (when camlp4 is turned on). I can reproduce this weird beh

Re: [Caml-list] strange behavior with camlp4 and #use

On Tue, Sep 16, 2008 at 5:31 PM, Peng Zang <[EMAIL PROTECTED]> wrote: > Hi, > > I am running 3.10.2 installed from GODI. Findlib is similarly installed. I > run into the following error > > "I/O error: Bad file descriptor" > > when I try to '#use somefile' several times (when camlp4 is turned on

Re: [Caml-list] csml: high-level bindings between OCaml and .Net

On Tue, Sep 16, 2008 at 05:37:58PM +0200, Alain Frisch wrote: > LexiFi is proud to announce the first public release of CSML, a system > to interface OCaml and .Net/C#. CSML makes it possible to leverage > existing .Net components from OCaml, to expose OCaml libraries into the > .Net world an

Re: [Caml-list] csml: high-level bindings between OCaml and .Net

Stefano Zacchiroli wrote: Out of curiosity: is CSML specific to Windows or not? Currently CSML only works under Windows. I've briefly tried to make it work under Linux with Mono some months ago but I stopped very quickly; I could not even call a simple C function in a shared library from C#

Re: [Caml-list] strange behavior with camlp4 and #use

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On Tuesday 16 September 2008 05:58:17 pm Hezekiah M. Carty wrote: > > "I/O error: Bad file descriptor" > > > > when I try to '#use somefile' several times (when camlp4 is turned on). > > Yes, this is an unfortunate error which came along with the new

[Caml-list] Symposium on Automatic Program Verification - cfp

APV 2009 Automatic Program Verification http://se.ethz.ch/apv/ February 14-15, 2009 Argentina Automatic software verification is once again at the forefront of research in computer science, thanks to a combination of novel te