Re: [Caml-list] Comparing variant types

[Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>]

[-- Attachment #1: Type: text/plain, Size: 671 bytes --]

On 04/29/2011 12:57 AM, Ethan Burns wrote:
> Thanks for the links.  Actually, I think that understand OCaml's
> polymorphic comparison and how to get rid of it (for the most part). I
> guess that I just found it surprising that the compiler doesn't seem
> to optimize it away in this case (a variant type used as an
> enumeration with only simple constructors).  I suppose that one
> solution would be to just use let-bindings to associate integers with
> names "by hand" instead of using the variant type.  I don't really
> like that approach too much, however.

Indeed, the compiler does not do it... yet. But it's already somewhere
on someone's TODO list ;-)

Fabrice

[-- Attachment #2: fabrice_le_fessant.vcf --]
[-- Type: text/x-vcard, Size: 380 bytes --]

begin:vcard
fn:Fabrice LE FESSANT
n:LE FESSANT;Fabrice
org:INRIA Saclay -- Ile-de-France;P2P & OCaml
adr;quoted-printable:;;Parc Orsay Universit=C3=A9 ;Orsay CEDEX;;91893;France
email;internet:fabrice.le_fessant@inria.fr
title;quoted-printable:Charg=C3=A9 de Recherche
tel;work:+33 1 74 85 42 14
tel;fax:+33 1 74 85 42 49 
url:http://fabrice.lefessant.net/
version:2.1
end:vcard