[Caml-list] printf "%a" vs sprintf "%a"

2009-03-27 Thread Bertrand Jeannet
For people that do not use OCaml batteries, a sprintf function similar to (Printf|Format).printf can be defined using kfprintf: let sprintf format = let buffer = Buffer.create 512 in let fmt = Format.formatter_of_buffer buffer in Format.kfprintf (begin fun fmt -> Format.pp_pri

Re: [Caml-list] Revised syntax scope (3.10 vs. 3.11)

2009-03-27 Thread Nicolas Pouillard
Excerpts from Andre Nathan's message of Fri Mar 27 05:42:34 +0100 2009: > Hello > > I've found the following difference of behavior between OCaml 3.10 and > 3.11. The code below > > <:expr< > do { > let a = "foo" in > print_endline a; > print_endline a > } > >> > >

[Caml-list] Récursivité terminale / tail-recursivity

2009-03-27 Thread David . Bulone
Bonjour, Y'a-t-il dans la littérature des résultats sur la transformation automatique de définitions récursives non terminales, en définitions de fonctions récursives terminales avec pile de taille bornée ? Sachant que le problème général est certainement indécidable, y'a-t-il des cla

[Caml-list] class constraints

2009-03-27 Thread Jacques Le Normand
Dear list, I'm having a little problem understanding constraints in objects. Consider the following code: class type foo = object method get_parent : foo end class type foo2 = object constraint foo2 = #foo method baz : float method get_parent : foo2 end it gives me the following error:

Re: [Caml-list] class constraints

2009-03-27 Thread Peng Zang
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Perhaps you mean this? class type foo = object('self) method get_parent : 'self end class type foo2 = object('self) constraint foo2 = #foo method baz : float method get_parent : 'self end The error you get is because the fir

[Caml-list] FroCoS'09 Call for Papers

2009-03-27 Thread Roberto Sebastiani
- WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE - Final Call for Papers 7th International Sy

Re: [Caml-list] Revised syntax scope (3.10 vs. 3.11)

2009-03-27 Thread Andre Nathan
On Fri, 2009-03-27 at 10:45 +0100, Nicolas Pouillard wrote: > That was indeed the intended behavior, to get a larger scope for 'a' > use this syntax: > > <:expr< > do { > let a = "foo"; (* <--- semicolon here *) > print_endline a; > print_endline a > } > >> Thank you

[Caml-list] PowerPC 405

2009-03-27 Thread Gregory Bellier
Hi everybody. Do you know if it is possible to compile caml code on a PowerPC 405 from the Vertex 4 family ? We'd like to put this processor in a FPGA. On the Caml's website, it is written "PowerPC" but is it only for Macintosch ? Thank you for your time. Gregory BELLIER.

Re: [Caml-list] PowerPC 405

2009-03-27 Thread Basile STARYNKEVITCH
Gregory Bellier wrote: Hi everybody. Do you know if it is possible to compile caml code on a PowerPC 405 from the Vertex 4 family ? We'd like to put this processor in a FPGA. On the Caml's website, it is written "PowerPC" but is it only for Macintosch ? That is probably not so hard if your

Re: [Caml-list] PowerPC 405

2009-03-27 Thread Gregory Bellier
Hello Basile, thank you for your reply. Yes, it will run Linux. It will have the uclibC or even the lib C. The best case is to run native code for better performance. We'd like to cross-compile for the PowerPC. I'm not a FPGA expert, I'm asking questions for a colleague who works on it. >From wh

Re: [Caml-list] PowerPC 405

2009-03-27 Thread Basile STARYNKEVITCH
Gregory Bellier wrote: Hello Basile, thank you for your reply. Yes, it will run Linux. It will have the uclibC or even the lib C. The best case is to run native code for better performance. We'd like to cross-compile for the PowerPC. I'm not a FPGA expert, I'm asking questions for a colleague

[Caml-list] Batteries conflicts with Extlib

2009-03-27 Thread Tiphaine Turpin
Hi, Is there a simple way to mix in the same project, - ocaml batteries - some library whose API refers to (some old version of) extlib ? Thanks, Tiphaine ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listi

Re: [Caml-list] PowerPC 405

2009-03-27 Thread Xavier Leroy
Just to complement Basile's excellent answers: > Do you know if it is possible to compile caml code on a PowerPC 405 > from the Vertex 4 family ? > We'd like to put this processor in a FPGA. On the Caml's website, > it is written "PowerPC" but is it only for Macintosch ? Not just Macintosh: Powe

Re: [Caml-list] Batteries conflicts with Extlib

2009-03-27 Thread Tiphaine Turpin
Well, the easiest solution that I found was to - wrap my extlib-dependent library into one that don't use it in its interface - make a big .cma with it - compile the rest against it and without extlib. This seems to work. Tiphaine Tiphaine Turpin a écrit : > Hi, > > Is there a simple way to mix

Re: [Caml-list] Batteries conflicts with Extlib

2009-03-27 Thread Richard Jones
On Fri, Mar 27, 2009 at 05:46:01PM +0100, Tiphaine Turpin wrote: > Hi, > > Is there a simple way to mix in the same project, > - ocaml batteries > - some library whose API refers to (some old version of) extlib H ... Rich. -- Richard Jones Red Hat _

Re: [Caml-list] questions

2009-03-27 Thread xah lee
2009/3/24 John Prince > I'm new to ocaml and coming (most recently) from ruby, ... > Can someone point me to the best resource(s) for newbies? I have been > reading through what's out there, but its always nice to get a > recommendation. > I also started learning OCaml this year. Here's my p

[Caml-list] ocaml + non-cygwin gtk+ on windows

2009-03-27 Thread Joel Reymont
Has anyone used ocaml and gtk+ to build non-cygwin app for windows? These would be gtk+ apps that don't require the x server. What toolchain did you use? Thanks, Joel --- http://linkedin.com/in/joelreymont ___ Caml-list mailing list. Subsc

[Caml-list] CFP: Sixth International Conference on Remote Engineering and Virtual Instrumentation (REV 2009)

2009-03-27 Thread REV 2009
Dear Colleagues, If you received this email in error, please forward it to the appropriate department at your institution. If you wish to unsubscribe please follow the unsubscribe link at bottom of the email. Please do not reply to this message. If you need to contact us please email us at i...

Re: [Caml-list] ocaml + non-cygwin gtk+ on windows

2009-03-27 Thread Dave Benjamin
Joel Reymont wrote: Has anyone used ocaml and gtk+ to build non-cygwin app for windows? These would be gtk+ apps that don't require the x server. What toolchain did you use? I did this a few years ago and got it to work, though I don't remember all the details anymore. I used Visual C++ at t