Re: [Caml-list] interest in a much simpler, but modern, Caml?

2010-08-09 Thread ivan chollet
I have noted that there are now many implementation of OCaml. Namely : - caml light - jocaml - mincaml - your implementation ? etc. which means there is a lot of interest in implementing tools and runtimes for ML. I'm just saying this because I was planning to implement another VM for ML to

Re: [Caml-list] [Camlp4] questions

2010-08-09 Thread Hendrik Tews
Raphael Proust raphla...@gmail.com writes: Is there a (nice) way to input/output multiple files? I managed reading from a second file while transforming one but the code is (really) ugly. How about let start_loc_1 = Syntax.Loc.mkloc file_1 in let stream_1 = Stream.of_channel

Re: [Caml-list] interest in a much simpler, but modern, Caml?

2010-08-09 Thread Cedric Cellier
-[ Mon, Aug 09, 2010 at 04:37:36PM +1000, ivan chollet ] The existing ocaml runtime is amazing but it's definitely not very community friendly and is in my opinion a bit hard to understand given the scarcity of design documents. A real community project with real documentation might be

Re: [Caml-list] interest in a much simpler, but modern, Caml?

2010-08-09 Thread Nicolas Pouillard
On Sun, 8 Aug 2010 15:39:28 -0400, Jeremy Bem jere...@gmail.com wrote: On Sun, Aug 8, 2010 at 2:52 PM, Florian Weimer f...@deneb.enyo.de wrote: * Jeremy Bem: Yes and no, respectively. In other words, nothing new here. Oh. I just happen to think that those two are very high on the

Re: [Caml-list] interest in a much simpler, but modern, Caml?

2010-08-09 Thread David House
On 8 August 2010 17:47, bluestorm bluestorm.d...@gmail.com wrote: If you don't have any of these, you have to declare infix operators directly inside the module. You'd have a val (=) : int - int - bool in the int.ml file for example. That's notoriously painful to handle if you use the open

Re: [Caml-list] interest in a much simpler, but modern, Caml?

2010-08-09 Thread Nicolas Pouillard
On Mon, 9 Aug 2010 09:10:43 -0400, David House dmho...@gmail.com wrote: On 8 August 2010 17:47, bluestorm bluestorm.d...@gmail.com wrote: If you don't have any of these, you have to declare infix operators directly inside the module. You'd have a val (=) : int - int - bool in the int.ml

Re: [Caml-list] interest in a much simpler, but modern, Caml?

2010-08-09 Thread ivan chollet
It guess it would, but it seems to me that such a task would be far too ambitious. Speaking for myself, I could relatively quickly write a VM for caml, but writing the ocaml runtime design documents is something that would take me way too much time. Most of ML users don't have access to the

Re: [Caml-list] interest in a much simpler, but modern, Caml?

2010-08-09 Thread ivan chollet
It guess it would, however it seems to me that such a task would be far too ambitious. Speaking for myself, I could relatively quickly write a VM for caml, but writing the ocaml runtime design documents is something that would take me way too much time. Most of ML users don't have access to the