Archives of the Caml mailing list > Message from Eijiro Sumii

Browse thread

ambitious proposal: polymorphic arithmetics

Eijiro Sumii
- Sébastien Hinderer
- Richard Jones
  - Dmitry Lomov
    - Richard Jones
      - Jacques Carette
      - Ethan Aubin
- William Lovas
- Christophe TROESTLER
  - Eijiro Sumii
- Marcin 'Qrczak' Kowalczyk
  - padiolea@i...
    - Eijiro Sumii
      - Eijiro Sumii
        
        Marcin 'Qrczak' Kowalczyk
        
        Eijiro Sumii
    - Richard Jones
- Jon Harrop
  - Eijiro Sumii

Date:	-- (:)
From:	Eijiro Sumii <eijiro_sumii@a...>
Subject:	Re: [Caml-list] ambitious proposal: polymorphic arithmetics

From: "Marcin 'Qrczak' Kowalczyk" <qrczak@knm.org.pl>
> # type t = A | B | C;;
> type t = A | B | C
> # match (Obj.magic (Obj.magic C + Obj.magic C)) with A -> 0 | B -> 1 | C -> 2;;
> zsh: segmentation fault  ocaml

Good job!!  It reproduced in all environments I have access to.  Then,
after all, "polymorphic addition" isn't actually as easy to implement
in OCaml as I (rather naively) thought...

Thanks so much to everybody for the very informative responses!

	Eijiro