From 48e5178176c27676f623e516b3e55d2776a9196c Mon Sep 17 00:00:00 2001 From: Logan Kenwright Date: Sun, 27 Oct 2024 18:47:22 +1300 Subject: [PATCH] moved signal bodies to discrete scope so that the compiler doesn't get confused with local scopes --- .../transformators/incremental/SignalTransformation.xtend | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/plugins/de.cau.cs.kieler.esterel/src/de/cau/cs/kieler/esterel/processors/transformators/incremental/SignalTransformation.xtend b/plugins/de.cau.cs.kieler.esterel/src/de/cau/cs/kieler/esterel/processors/transformators/incremental/SignalTransformation.xtend index fa483f6ffd..adb7c027e6 100644 --- a/plugins/de.cau.cs.kieler.esterel/src/de/cau/cs/kieler/esterel/processors/transformators/incremental/SignalTransformation.xtend +++ b/plugins/de.cau.cs.kieler.esterel/src/de/cau/cs/kieler/esterel/processors/transformators/incremental/SignalTransformation.xtend @@ -136,8 +136,10 @@ class SignalTransformation extends AbstractSCEstDynamicProcessor { val parallel = createParallel val thread2 = createThread parallel.threads.add(thread2) - thread2.statements.addAll(module.statements) - thread2.statements.add(createAssignment(term, createTrue)) + var scope = createScopeStatement + thread2.statements.add(scope) + scope.statements.addAll(module.statements) + scope.statements.add(createAssignment(term, createTrue)) module.statements.add(parallel) module.declarations.add(decl)