From: Jeffrey Carter <jrcarter@acm.org>
Subject: Re: Discriminated record question
Date: Wed, 15 May 2002 18:12:40 GMT
Date: 2002-05-15T18:12:40+00:00 [thread overview]
Message-ID: <3CE2A511.7280F214@acm.org> (raw)
In-Reply-To: 2d87db3f.0205150734.47a94f8d@posting.google.com
Mark Doherty wrote:
>
> > > Does the compiler have the freedom to raise it as a
> > > Constraint_Error?
> >
> > Highly dubious if you ask me. Report it as a bug.
> >
>
> Rational responce was ...
>
[Justification deleted.]
>
> Seems like a weak justifcation to me!
This is a case of the compiler being "correct but irritating". This is
related to compilers that are "correct but useless". In the latter case,
saying "Thank you. Your compiler is correct, but is unsuitable for our
needs. We are therefore evaluating other compilers for our project."
generally gets the vendor to sing a different tune. If you can honestly
say this to your vendor you may suddenly find yourself possessed of an
update that raises Storage_Error. But since this is only irritating, not
useless, it may not be worth the effort.
--
Jeff Carter
"Go and boil your bottoms."
Monty Python & the Holy Grail
next prev parent reply other threads:[~2002-05-15 18:12 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-05-07 12:45 Discriminated record question Grein, Christoph
2002-05-07 19:18 ` Randy Brukardt
2002-05-09 2:52 ` Robert Dewar
2002-05-09 20:29 ` Randy Brukardt
2002-05-08 10:10 ` Mark Doherty
2002-05-09 2:56 ` Robert Dewar
2002-05-15 15:34 ` Mark Doherty
2002-05-15 18:12 ` Jeffrey Carter [this message]
-- strict thread matches above, loose matches on Subject: below --
2002-05-16 5:03 Grein, Christoph
2002-05-07 12:17 Mark Doherty
2002-05-10 9:27 ` Emmanuel Briot
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox