Re: [Caml-list] Compiling Cryptokit on Windows

2012-02-20 Thread Romain Bardou
Le 06/02/2012 18:09, Romain Bardou a écrit : Hi list, There has been some discussion during the last few months were some argued that there was not enough Windows users to test libraries. Well it happens that I need to compile Cryptokit for Windows. Here are my first results, which failed

[Caml-list] The Alan Turing Centenary Conference

2012-02-20 Thread Geoff Sutcliffe
THE TURING CENTENARY CONFERENCE Manchester, UK, June 22-25, 2012 http://www.turing100.manchester.ac.uk/ First announcement and call for submissions Features: (1) Ten Turing Award winners, a Templeton Award winner and Garry Kasparov as invited speakers (2) 20,000 pounds worth best paper

[Caml-list] calmp5 pa_pragma

2012-02-20 Thread bob zhang
Hi, Daniel, I noticed that camlp5 has a pretty nice extension pa_pragma, would you like shed some light on this? (I mean the design issue, and the its defect) I would be happy to port it to camlp4 if it's not too difficult -- Best, bob -- Caml-list mailing list. Subscription

[Caml-list] Some utilities about camlp4

2012-02-20 Thread bob zhang
Hi, List the meta filter distributed with camlp4 is buggy and unmodular, I put a modular one here http://seas.upenn.edu/~hongboz/meta_filter.zip building with syntax extension is really easy provided this file http://www.seas.upenn.edu/~hongboz/myocamlbuild.ml It works with .inferred.mli,

[Caml-list] Re: calmp5 pa_pragma

2012-02-20 Thread bob zhang
Sorry, I typed the wrong mail address... On Mon, Feb 20, 2012 at 6:55 PM, bob zhang bobzhang1...@gmail.com wrote: Hi,   Daniel,   I noticed that camlp5 has a pretty nice extension pa_pragma, would you like shed some light on this?   (I mean the design issue, and the its defect) I would be

[Caml-list] some tricks about ocaml

2012-02-20 Thread bob zhang
Hi list, This may be useful http://www.seas.upenn.edu/~hongboz/master.pdf Caveat: it's totally unorganized, but you may find something useful, (some pieces does not reflect what I think now, they should be rewritten) -- Best, bob -- Caml-list mailing list. Subscription management

Re: [Caml-list] camlp5 pa_pragma

2012-02-20 Thread Daniel de Rauglaudre
Hi, On Tue, Feb 21, 2012 at 12:56:10AM +0100, bob zhang wrote: I noticed that camlp5 has a pretty nice extension pa_pragma, would you like shed some light on this? It allows to execute code at syntactic analysis phase and, therefore, to do syntactic extensions without having to previously