From: Leo White <lpw25@cam.ac.uk>
To: Goswin von Brederlow <goswin-v-b@web.de>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Obj.magic for polymorphic identifiers
Date: Mon, 05 May 2014 00:46:25 +0100 [thread overview]
Message-ID: <87ppjtumy6.fsf@study.localdomain> (raw)
In-Reply-To: <20140424142837.GA3845@frosties> (Goswin von Brederlow's message of "Thu, 24 Apr 2014 16:28:37 +0200")
> Now that is a good reason to have open types. I've tried (and failed)
> to do something like this without resorting to magic and the only way
> I found was to declare a big GADT that has a constructor for every
> possible type and match all possible equal pairs. That realy doesn't
> scale well.
>
>
> Would it be possible for someone familiar with the patch to create a
> pull request for it on git? Maybe that way it could be merged in
> faster.
>
> MfG
> Goswin
As it happens they have just been merged:
https://github.com/ocaml/ocaml/commit/b56dc4b3df8d022b54f40682a9d5d4168c690413
Regards,
Leo
next prev parent reply other threads:[~2014-05-04 23:34 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-04-22 8:03 Romain Bardou
2014-04-22 8:31 ` Jeremie Dimino
2014-04-24 14:28 ` Goswin von Brederlow
2014-05-04 23:46 ` Leo White [this message]
2014-04-24 15:30 ` Dmitry Grebeniuk
2014-04-28 7:36 ` Goswin von Brederlow
2014-04-28 8:13 ` Dmitry Grebeniuk
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87ppjtumy6.fsf@study.localdomain \
--to=lpw25@cam.ac.uk \
--cc=caml-list@inria.fr \
--cc=goswin-v-b@web.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox