Re: [Caml-list] Comparing variant types

[Ethan Burns <burns.ethan@gmail.com>]

On Thu, Apr 28, 2011 at 5:07 PM, Vincent Aravantinos
<vincent.aravantinos@gmail.com> wrote:
> Hi,
>
> without entering any details, probably the following links would be
> interesting to you:
>
> http://ocaml.janestreet.com/?q=node/33
> http://ocaml.janestreet.com/?q=node/35

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.


Ethan