From: "Yannick Duchêne Hibou57" <yannick_duchene@yahoo.fr>
Subject: Re: Discriminant and type extensions
Date: Mon, 5 Oct 2009 15:29:13 -0700 (PDT)
Date: 2009-10-05T15:29:13-07:00 [thread overview]
Message-ID: <13d2a00f-4774-4860-95fa-5228389259b1@f10g2000vbf.googlegroups.com> (raw)
In-Reply-To: 42a46538-2430-4738-9cb4-7cbbb0c7db33@b25g2000prb.googlegroups.com
Sorry, I was writing a reply to Bob in the time you wrote this one
On 6 oct, 00:04, Adam Beneschan <a...@irvine.com> wrote:
> I think he wants to try to duplicate the discriminants for
> documentation purposes (for clarity), so that
So I'm very happy to read this : yes, that's it ! You've understood me
very well.
This is for documentation purpose and clarity, *and* something the
compiler could check (so not comments).
I gonna try the “ type T2 (D : Positive) is new T (D=>D) with ... ” I
did not knew it is legal. If the compiler does not complain and check
it the expected way, it may be a good work-around.
next prev parent reply other threads:[~2009-10-05 22:29 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-10-05 17:18 Discriminant and type extensions Hibou57 (Yannick Duchêne)
2009-10-05 20:42 ` Robert A Duff
2009-10-05 22:04 ` Adam Beneschan
2009-10-05 22:29 ` Yannick Duchêne Hibou57 [this message]
2009-10-05 22:34 ` Yannick Duchêne Hibou57
2009-10-05 23:08 ` Adam Beneschan
2009-10-07 6:20 ` Yannick Duchêne Hibou57
2009-10-05 22:15 ` Yannick Duchêne Hibou57
2009-10-09 6:29 ` Yannick Duchêne Hibou57
2009-10-09 15:42 ` Jean-Pierre Rosen
2009-10-07 7:21 ` Jean-Pierre Rosen
2009-10-07 15:39 ` Yannick Duchêne Hibou57
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox