From: Simon Wright <simon@pushface.org>
Subject: Re: A Gnother Gnasty bug
Date: Sat, 07 Apr 2012 12:54:38 +0100
Date: 2012-04-07T12:54:38+01:00 [thread overview]
Message-ID: <m2bon3hi4h.fsf@pushface.org> (raw)
In-Reply-To: 22193583.1528.1333759470339.JavaMail.geo-discussion-forums@vbdn7
I don't think you needed all those levels to trigger the bug (and bug I
think it is, though the code is very very complex):
s : I_Ptr := I_Ptr'(new I'class'(F(arg=> 42)));
t : K := G(p_i => s); <--- this is OK
u : K :=
G(p_i =>
I_Ptr'
(new I'class' <--- Constraint_Error here
(F(arg=> 42))));
prev parent reply other threads:[~2012-04-07 11:54 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-04-07 0:44 A Gnother Gnasty bug sbelmont700
2012-04-07 11:09 ` Ludovic Brenta
2012-04-07 12:48 ` sbelmont700
2012-04-07 13:55 ` Robert A Duff
2012-04-09 21:09 ` Adam Beneschan
2012-04-09 21:39 ` Robert A Duff
2012-04-07 11:54 ` Simon Wright [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