Hi,
I'm puzzled about the type error returned with the following code (fix :
remove fs). Assuming value mgu and constructor Var are defined, is
it reasonable to report a type error about subst rather than the
unbound value fs ? I would expect the type-checker to first
successfully type the folded
Sorry for answering very old message. I was looking to camomile
related email and found this message.
2008/5/5 Berke Durak berke.du...@gmail.com:
Hello,
A few months ago I submitted a small patch to ExtLib to the UTF8 module,
adding three small but important functions
- substring
-
I am trying to build ocaml 3.112 on cygwin. Make world seems to work fine, but
when I make bootstrap I do not get any errors, but I get the following message:
make[2]: warning: Clock skew detected. Your build may be incomplete.
make[2]: Leaving directory `/usr/src/ocaml-3.11.2/ocamldoc'
On 26-01-2010, Yoriyuki Yamagata yoriyuk...@gmail.com wrote:
Also maybe you could host Camomile at
forge.ocamlcore.org...
What is the benefit of it?
There are many benefits:
- better visibility among other OCaml projects
- beginners can easily find your library
- people that don't know
--- On Tue, 1/26/10, Goswin von Brederlow goswin-...@web.de wrote:
From: Goswin von Brederlow goswin-...@web.de
Subject: Re: [Caml-list] Unable to reach fixpoint building ocaml 3.11.2 on
cygwin
To: Ed Keith e_...@yahoo.com
Cc: caml-l...@inria.fr
Date: Tuesday, January 26, 2010, 10:42 AM
-[ Tue, Jan 26, 2010 at 11:00:07AM -0800, Ed Keith ]
boot/ocamlc ocamlc differ: byte 137, line 2
Any other ideas?
Maybe looking at the diff more closely could bring some ?
___
Caml-list mailing list. Subscription management:
--- On Tue, 1/26/10, Ed Keith e_...@yahoo.com wrote:
From: Ed Keith e_...@yahoo.com
Subject: Re: [Caml-list] Unable to reach fixpoint building ocaml 3.11.2 on
cygwin
To: Goswin von Brederlow goswin-...@web.de
Cc: caml-l...@inria.fr
Date: Tuesday, January 26, 2010, 2:00 PM
--- On Tue,
--- On Tue, 1/26/10, Alain Frisch al...@frisch.fr wrote:
From: Alain Frisch al...@frisch.fr
Subject: Re: [Caml-list] Unable to reach fixpoint building ocaml 3.11.2 on
cygwin
To: Ed Keith e_...@yahoo.com
Cc: caml-l...@inria.fr
Date: Tuesday, January 26, 2010, 2:42 PM
On 26/01/2010 16:19,