From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: Re: Elaboration circularity with generics
Date: Mon, 16 Jan 2012 13:29:54 -0800 (PST)
Date: 2012-01-16T13:29:54-08:00 [thread overview]
Message-ID: <2ffd449a-2eee-4127-8cdb-7c42bcfd9e60@a40g2000vbu.googlegroups.com> (raw)
In-Reply-To: wccd3ajaf7f.fsf@shell01.TheWorld.com
On Jan 16, 3:34 pm, Robert A Duff <bobd...@shell01.TheWorld.com>
wrote:
> > In such a case I would consider it to be a compiler bug.
>
> I don't see any compiler bug here.
What I'm concerned about is portability. If the compiler is allowed to
refuse my program even though there is no paragraph saying that my
program is illegal, then perhaps some other compiler will compile it
without any trouble. Which means that my program will not be portable,
even though it might not touch any implementation limits or other
similarly valid reasons.
--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com
next prev parent reply other threads:[~2012-01-16 21:29 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-01-14 15:09 Elaboration circularity with generics Maciej Sobczak
2012-01-14 16:13 ` Martin Dowie
2012-01-14 16:17 ` AdaMagica
2012-01-14 22:46 ` Simon Wright
2012-01-15 16:55 ` AdaMagica
2012-01-16 15:09 ` Simon Wright
2012-01-16 17:15 ` AdaMagica
2012-01-14 16:26 ` AdaMagica
2012-01-14 22:01 ` Georg Bauhaus
2012-01-15 17:15 ` Maciej Sobczak
2012-01-15 17:43 ` AdaMagica
2012-01-16 17:02 ` Adam Beneschan
2012-01-16 14:34 ` Robert A Duff
2012-01-16 21:29 ` Maciej Sobczak [this message]
2012-01-16 21:52 ` Adam Beneschan
2012-01-16 22:25 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox