From: "Peter C. Chapin" <PChapin@vtc.vsc.edu>
Subject: Re: using `use' : what is the best practice ?
Date: Tue, 07 Jun 2011 19:04:46 -0500
Date: 2011-06-07T19:04:46-05:00 [thread overview]
Message-ID: <zPWdnV_TLZIDIXPQRVn_vwA@giganews.com> (raw)
In-Reply-To: islulr$gbt$1@tornado.tornevall.net
On Tue, 07 Jun 2011 11:51:43 -0700, Jeffrey Carter wrote:
> However, it's interesting to note that use clauses are not allowed in
> Spark. If correctness of your SW is important enough to use Spark, you
> won't have use clauses.
It should be noted that SPARK does allow a (limited) form of 'use type'
precisely so that operators can be made directly visible.
Peter
next prev parent reply other threads:[~2011-06-08 0:04 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-06-07 15:32 using `use' : what is the best practice ? milouz
2011-06-07 15:59 ` Simon Wright
2011-06-07 16:22 ` Dmitry A. Kazakov
2011-06-07 16:59 ` Simon Wright
2011-06-07 17:25 ` Dmitry A. Kazakov
2011-06-07 17:29 ` Simon Wright
2011-06-07 19:38 ` Dmitry A. Kazakov
2011-06-11 14:11 ` Yannick Duchêne (Hibou57)
2011-06-08 9:07 ` Paul Colin Gloster
2011-06-08 11:20 ` stefan-lucks
2011-06-08 16:45 ` Vinzent Hoefler
2011-06-11 14:05 ` Yannick Duchêne (Hibou57)
2011-06-07 17:33 ` Pascal Obry
2011-06-08 2:42 ` Randy Brukardt
2011-06-12 5:09 ` Yannick Duchêne (Hibou57)
2011-06-07 18:51 ` Jeffrey Carter
2011-06-08 0:04 ` Peter C. Chapin [this message]
2011-06-07 19:32 ` Anders Wirzenius
2011-06-07 23:38 ` Shark8
2011-06-12 5:19 ` Yannick Duchêne (Hibou57)
2011-06-12 7:55 ` Stephen Leake
2011-06-08 4:25 ` Jerry
2011-06-08 9:31 ` milouz
2011-06-08 17:17 ` Ludovic Brenta
2011-06-08 18:43 ` Jeffrey Carter
2011-06-09 10:40 ` Address arithmetic alternatives milouz
2011-06-09 11:25 ` Georg Bauhaus
2011-06-09 18:53 ` Jeffrey Carter
2011-06-08 19:22 ` using `use' : what is the best practice ? Pascal Obry
2011-06-09 1:17 ` Shark8
2011-06-09 10:44 ` milouz
2011-06-08 6:06 ` stefan-lucks
2011-06-15 2:25 ` Adrian Hoe
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox