[Unison-hackers] New beta-release candidate

Jerome Vouillon Jerome.Vouillon at pps.jussieu.fr
Thu Apr 15 15:38:39 EDT 2010


On Thu, Apr 15, 2010 at 01:48:05PM -0400, Benjamin Pierce wrote:
> I was having one problem myself earlier, but I am unable to
> replicate it now.  I attach the relevant part of the make output.
[...]
> File "/Users/bcpierce/current/unison/branches/2.40/src/case.ml", line 166, characters 24-54:
> Error: Unbound value Unicode.case_sensitive_compare

I guess you copied trunk/src/unicode.mli over branches/2.40/src/unicode.mli.
Then, the compiled interface file branches/2.40/src/unicode.cmi
happened to be more recent than trunk/src/unicode.ml, and was thus not
rebuilt.  Hence the error.

-- Jerome


More information about the Unison-hackers mailing list