Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: "Stéphane Glondu" <steph@glondu.net>
To: "Stéphane Lescuyer" <lescuyer@lri.fr>
Cc: Romain Bardou <Romain.Bardou@lri.fr>, caml-list <caml-list@inria.fr>
Subject: Re: [Caml-list] Attach an invariant to a type
Date: Sun, 10 Feb 2008 19:00:02 +0100	[thread overview]
Message-ID: <47AF3BA2.8070004@glondu.net> (raw)
In-Reply-To: <e9e94ac90801311129k1b1d7318q213c3ef595be433e@mail.gmail.com>

Stéphane Lescuyer a écrit :
> No you're not :) as far as I know, a private type can only be a record
> or a variant.

Xavier mentioned the possibility to extend private types to any type:

  http://gallium.inria.fr/~xleroy/talks/cug2008.pdf (page 5)

So maybe Romain's code will work in a near future :-)


My 2 cents.

-- 
Stéphane


      parent reply	other threads:[~2008-02-10 18:00 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-01-31 13:28 Dawid Toton
2008-01-31 13:50 ` [Caml-list] " Romain Bardou
2008-01-31 17:58   ` David Teller
2008-01-31 18:13     ` Romain Bardou
2008-01-31 19:13       ` Hezekiah M. Carty
2008-01-31 19:29         ` Stéphane Lescuyer
2008-01-31 19:51           ` Dawid Toton
2008-01-31 20:26             ` Edgar Friendly
2008-02-01 10:00               ` Keiko Nakata
2008-01-31 20:13           ` Romain Bardou
2008-02-10 18:00           ` Stéphane Glondu [this message]

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=47AF3BA2.8070004@glondu.net \
    --to=steph@glondu.net \
    --cc=Romain.Bardou@lri.fr \
    --cc=caml-list@inria.fr \
    --cc=lescuyer@lri.fr \
    /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