'declare' is concurrent - seems to be a bug!

[Leif Kornstaedt]

Peter Van Roy <pvr at info.ucl.ac.be> writes:
> Ok, with the switch it works.  But I am still confused.
> There are two issues:
> 1. Each code fragment fed to the compiler is done so in a separate thread.
> 2. Each 'declare' statement is concurrent.
> It seems to me that if (1) is true, that nonterminating queries are handled
> in the way you want.  So that (2) can be false without hurting this ability.
> So my request is that (2) should be false by default.

You are basically right, except that I would rephrase these as:

1. Each code fragment fed to the compiler is parsed as a
sequence of "queries".
2. Each query executes in a separate thread (given +threadedqueries).
3. Each 'declare' statement constitutes a query.

You are right that (3) could be changed such that a sequence
of declare statements would constitute a single query.  When
this decision was made, no one had a strong opinion one way
or the other.

Regards,
Leif