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
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/
