From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: simple code can't compiled, without clear compiler warning (not clear enough to me at least)
Date: Wed, 29 Nov 2017 10:37:33 -0800 (PST)
Date: 2017-11-29T10:37:33-08:00 [thread overview]
Message-ID: <86ed50d2-90e5-4612-9530-8c7448f7b376@googlegroups.com> (raw)
In-Reply-To: <79e77011-250b-438f-8293-36ae33cdb18c@googlegroups.com>
Am Mittwoch, 29. November 2017 18:27:56 UTC+1 schrieb Mehdi Saada:
>
> That means I should rather put T'Last, since my generic formal type parameter for the Tabeau_type is unconstrained, so the library can't know if the provided subtype will or not be bound ?
That's correct.
prev parent reply other threads:[~2017-11-29 18:37 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-11-29 15:17 simple code can't compiled, without clear compiler warning (not clear enough to me at least) Mehdi Saada
2017-11-29 15:48 ` pascal.malaise
2017-11-29 16:11 ` A. Cervetti
2017-11-29 17:27 ` Mehdi Saada
2017-11-29 18:37 ` AdaMagica [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox