On 08/18/2011 10:58 AM, Gabriel Scherer wrote:
I believe the comparison hardening was made desirable by the expected
use of first-class modules to encode existential datatypes: with
existential datatypes you may try to use the polymorphic comparison
operators on two values of the same (existentia
Dear Ashish,
thanks for the report; these issues are fixed in the latest
commit on https://gitorious.org/parmap (bfdf714)
Let me know if you find any more issues
All the best
--Roberto
On Wed, Aug 17, 2011 at 03:25:53PM -0400, Ashish Agarwal wrote:
> Thanks. This is very exciting. I tr
On Thu, Aug 18, 2011 at 10:02 AM, wrote:
> Is there anything special in 3.12.1 to help library authors define
> specialized comparison operators ?
>
Yes, from the 3.12.1 changelog:
> - Added new operation 'compare_ext' to custom blocks, called when
> comparing a custom block value with an unbo
Am Donnerstag, den 18.08.2011, 10:02 +0200 schrieb
ri...@happyleptic.org:
> > - polymorphic comparisons (=, <, >, etc) work correctly on Zarith's
> > big integers, provided OCaml 3.12.1 or later is used.
>
> Is there anything special in 3.12.1 to help library authors define
> specialized compari
> - polymorphic comparisons (=, <, >, etc) work correctly on Zarith's
> big integers, provided OCaml 3.12.1 or later is used.
Is there anything special in 3.12.1 to help library authors define
specialized comparison operators ?
--
Caml-list mailing list. Subscription management and archives:
Dear list,
It is my pleasure to announce release 1.0 of Zarith, a new OCaml
library for exact, arbitrary-precision arithmetic on integers and
rationals. Zarith was written by Antoine Miné with a little help from
me and feedback from Pascal Cuoq.
To download: http://forge.ocamlcore.org/projects/
