Re: Don't use the "use" clause

From: "Martin Dowie" <martin.dowie@xxxxxxxxxxxxxx>
Date: Tue, 24 Jan 2006 09:42:56 -0000

Stephen Leake wrote:
>> Right. The OP might want to use SPARK, which does not have use
>> clauses.
>
> That seems odd. What does SPARK gain by outlawing use clauses? Surely
> the examiner can handle the extra name resolution!

But the human reader can't handle the extra name resolution! :-)

Cheers

-- Martin

.

Follow-Ups:
- Re: Don't use the "use" clause
  - From: Peter Amey
- Re: Don't use the "use" clause
  - From: Stephen Leake

References:
- Re: Don't use the "use" clause
  - From: adaworks
- Re: Don't use the "use" clause
  - From: Jeffrey R. Carter
- Re: Don't use the "use" clause
  - From: Stephen Leake

Prev by Date: Re: Don't use the "use" clause
Next by Date: Re: Don't use the "use" clause
Previous by thread: Re: Don't use the "use" clause
Next by thread: Re: Don't use the "use" clause
Index(es):
- Date
- Thread

Relevant Pages

Re: Dont use the "use" clause
... > Stephen Leake wrote: ... What does SPARK gain by outlawing use clauses? ... > But the human reader can't handle the extra name resolution! ...
(comp.lang.ada)
There are normal forms.
... conventional that we are always talking about the conjunction of ALL ... clauses in some collection of clauses-we-have-verified. ... After that, you could google resolution. ... usually in fact proves EVERYthing via RAA (the standard ...
(sci.logic)
Re: solving SAT: generating extended resolution proofs using techniques for resolution?
... > Suppose your SAT problem contains the clauses ... > is a sequence of such resolution steps that results ... >> Thomas Li ...
(sci.math.symbolic)
Re: solving SAT: generating extended resolution proofs using techniques for resolution?
... > Suppose your SAT problem contains the clauses ... > is a sequence of such resolution steps that results ... >> Thomas Li ...
(comp.theory)
Re: using `use : what is the best practice ?
... On 06/07/2011 08:32 AM, milouz wrote: ... If correctness of your SW is important enough to use Spark, you won't have use clauses. ... Monty Python & the Holy Grail ...
(comp.lang.ada)