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
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
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
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,
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
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
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