Referring to name in evaluator defined after run shutsdown Pardinus-cli

[tdelv]

#lang forge

aRun : run {}

sig A {}

Then, referring to A in the evaluator during aRun causes PardinusCli to shutdown with

No definition found for rS. (line 1, pos 10):
BasicParseError (line 1, pos 10):
[error] [blank] No definition found for rS. (line 1, pos 10):
[error] [blank] BasicParseError (line 1, pos 10):
[error] [blank] No definition found for rS. (line 1, pos 10):
[error] [blank] BasicParseError (line 1, pos 10):
#<eof>

[tnelson]

Confirming that, lamentably, this issue is still active. Keeping it in this year's stack as I clean up.

[tnelson]

This appears resolved as of the multiple-simultaneous-runs change in Pardinus. (The evaluator produces an error saying that there's no entry for A, but Pardinus does not get sent the query.)