From: anon@anon.org (anon)
Subject: Compiler Warnings while building the SPARK Tokeneer
Date: Fri, 05 Jun 2009 13:32:56 GMT
Date: 2009-06-05T13:32:56+00:00 [thread overview]
Message-ID: <c89Wl.323919$4m1.156172@bgtnsc05-news.ops.worldnet.att.net> (raw)
In-Reply-To: 74074524-bae8-4426-a75e-d0681e7c670b@g20g2000vba.googlegroups.com
In compiling Sparks 8.1.1 I saw a number of style and "pragma Unreferenced"
generated warnings. I just wonder if these are the only type of warnings or
if others exist that might cause problems. And for the GNAT and SPARK
systems, all warnings should be treated as errors.
Plus this type of programming kind of reminds me of bad side of C/C++
coding.
next prev parent reply other threads:[~2009-06-05 13:32 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-06-04 23:35 Newby-ish question -- SPARK v. Ada2005 problem Tim Rowe
2009-06-05 7:36 ` roderick.chapman
2009-06-05 13:32 ` anon [this message]
2009-06-05 20:37 ` Tim Rowe
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox