On 2/27/2016 12:05 PM, Timon Gehr wrote:
On 26.02.2016 23:41, Walter Bright wrote:
On 2/26/2016 1:10 PM, Timon Gehr wrote:
Different passes are not really required once semantic analysis becomes
asynchronous. Just keep track of semantic analysis dependencies, with
strong and
weak dependencies and different means to resolve cycles of weak
dependencies.
Then write the semantic analysis of each component in a linear fashion
and pause
it whenever it depends on information that has not yet been obtained,
until that
information is computed.
I'll put you in charge of debugging that :-)
I am/was (I have not worked on it a lot lately). I haven't found it to be
particularly hard to debug.
It'll get 100 times harder if it's a heisenbug due to synchronization issues.