On Mon, Mar 9, 2009 at 2:14 PM, AUGER Cedric wrote:
> David Rajchenbach-Teller wrote:
>>
>> No, that's not possible. :: is an algebraic constructor, which means,
>> among other things, that it accepts no neutral element (well, except
>> when the list is infinite, but that's probably not what you'r
We should have a new release of Batteries by the end of the month,
though.
Cheers,
David
On Mon, 2009-03-09 at 07:25 -0700, Peter Hawkins wrote:
> Hi...
>
> Yes. The problem is to do with the case of "Compilers.mli":
> http://forge.ocamlcore.org/tracker/index.php?func=detail&aid=168&group_id=1
Good catch
On Mon, Mar 9, 2009 at 9:23 AM, Yaron Minsky wrote:
> 2009/3/9 Mike Lin
>
>> On a superficial scan of its contents, one might conclude that Tim's
>> letter to your lawyer may have been written in implied confidence,
>>
>
> I believe you meant "_Jason's_ letter to your lawyer".
>
> y
Hi...
Yes. The problem is to do with the case of "Compilers.mli":
http://forge.ocamlcore.org/tracker/index.php?func=detail&aid=168&group_id=17&atid=151
I have no idea how you fix this if you're doing a GODI build. I gave
up and built everything by hand.
Cheers,
Peter
On Mon, Mar 9, 2009 at 6:38
2009/3/9 Mike Lin
> On a superficial scan of its contents, one might conclude that Tim's letter
> to your lawyer may have been written in implied confidence,
>
I believe you meant "_Jason's_ letter to your lawyer".
y
___
Caml-list mailing list. Subsc
On Sun, Mar 8, 2009 at 3:15 AM, Tim Rentsch wrote:
>
> I
> have, to the best of my understanding, a legal right to use material
> from the joint work in the way that I'm using it.
While I am fully aware that a public argument over this among
poorly-informed non-lawyers is possibly counterprodu
Hi all,
I'm having a compilation problem with batteries under godi, running OS
X Leopard. Has anyone else encountered this? Any workarounds? I've
tried manually compiling compilers.mli (works), but then when I rerun
make it deletes all of the build directories as a first step, so I'm
out
David Rajchenbach-Teller wrote:
No, that's not possible. :: is an algebraic constructor, which means,
among other things, that it accepts no neutral element (well, except
when the list is infinite, but that's probably not what you're looking
for).
And even if the list is infinite, I don't see
No, that's not possible. :: is an algebraic constructor, which means,
among other things, that it accepts no neutral element (well, except
when the list is infinite, but that's probably not what you're looking
for).
Cheers,
David
On Sun, 2009-03-08 at 22:59 -0500, Su Zhang wrote:
> Hi all,
>
>
On Mon, Mar 09, 2009 at 04:13:11AM +, Jon Harrop wrote:
> On Sunday 08 March 2009 09:35:42 Richard Jones wrote:
> > On Sun, Mar 08, 2009 at 02:45:41AM +, Jon Harrop wrote:
> > > On Sunday 08 March 2009 01:19:20 Jon Harrop wrote:
> > > > I have applied to the OCaml Forge to create a new proj
On Monday 09 March 2009 11:37:52 Jon Harrop wrote:
> HLVM aspires to provide the following benefits over OCaml:
I forgot the second most important goal (!):
. Easy and efficient parallelism to leverage multicores.
--
Dr Jon Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?e
_
On Monday 09 March 2009 09:04:57 Jan Kybic wrote:
> > The OCaml Forge has kindly accepted to host the HLVM project:
> >
> > http://hlvm.forge.ocamlcore.org
>
> Hello. Just out of curiosity:
>
> I recall reading that one of your priorities for HLVM is performance of
> numerical code.
HLVM aspire
> The OCaml Forge has kindly accepted to host the HLVM project:
>
> http://hlvm.forge.ocamlcore.org
>>
Hello. Just out of curiosity:
I recall reading that one of your priorities for HLVM is
performance of numerical code. Does it mean that you expect numerical
code to run faster than natively c
Another option is STP. It's written in C++ I think, with OCaml binders.
http://people.csail.mit.edu/vganesh/STP_files/stp.html
-Mike
On Mar 9, 2009, at 1:09 AM, Grundy, Jim D wrote:
You might also want to look at the Decision Procedure Toolkit (DPT):
http://dpt.sourceforge.net/
DPT is an o
14 matches
Mail list logo
