From: Phil Thornley <phil.jpthornley@gmail.com>
Subject: Re: Question about SPARK flow error.
Date: Sat, 19 Jun 2010 12:29:12 -0700 (PDT)
Date: 2010-06-19T12:29:12-07:00 [thread overview]
Message-ID: <e106e46f-86d9-4b75-a307-eebedfdaed6d@u26g2000yqu.googlegroups.com> (raw)
In-Reply-To: 884fp3Ft1U1@mid.individual.net
On 19 June, 19:14, "Gavino" <inva...@invalid.invalid> wrote:
[...]
> You could shut the Examiner up by initialising Index (eg to
> Index_type'First), but it doesn't seem a satisfactory solution.
The problem with this solution (which Peter Amey always referred to as
a 'junk initialisation' - an excellent name) is that it can hide a
genuine data flow error if there really is a path that does not give
Index a value.
Cheers,
Phil
next prev parent reply other threads:[~2010-06-19 19:29 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-06-19 16:58 Question about SPARK flow error Peter C. Chapin
2010-06-19 18:03 ` Phil Thornley
2010-06-19 18:23 ` Gavino
2010-06-19 19:24 ` Phil Thornley
2010-06-19 18:14 ` Gavino
2010-06-19 19:29 ` Phil Thornley [this message]
2010-06-19 23:28 ` Phil Thornley
2010-06-20 0:37 ` Peter C. Chapin
2010-06-20 8:42 ` Phil Thornley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox