« Return to Thread: "ocaml_beginners"::[] De-unifying variant types

Re: "ocaml_beginners"::[] De-unifying variant types

by Richard Jones-4 :: Rate this Message:

Reply to Author | View in Thread

Take a look at PG'OCaml (http://merjis.com/developers/pgocaml) as it
solves this problem already in a type-safe way.

Rich.

--
Richard Jones
Red Hat

 « Return to Thread: "ocaml_beginners"::[] De-unifying variant types