From 971983c4fe0b3711bc0491fd38ba0a968d98eca9 Mon Sep 17 00:00:00 2001 From: Gareth Callanan Date: Mon, 24 Jul 2023 13:35:10 +0200 Subject: [PATCH] Updated the way the appendToTag function appends the action name to the QID. --- .../se/lth/cs/tycho/phase/ActionGeneratorEnumeration.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/compiler/src/main/java/se/lth/cs/tycho/phase/ActionGeneratorEnumeration.java b/compiler/src/main/java/se/lth/cs/tycho/phase/ActionGeneratorEnumeration.java index 3748667d..3e3f02e0 100644 --- a/compiler/src/main/java/se/lth/cs/tycho/phase/ActionGeneratorEnumeration.java +++ b/compiler/src/main/java/se/lth/cs/tycho/phase/ActionGeneratorEnumeration.java @@ -327,8 +327,9 @@ default List generateActionCases(ActionGeneratorStmt actionGenerator * @return The updated tag. */ default QID appendToTag(QID qid, String suffix) { - String last = qid.getLast().toString() + suffix; - return qid.withLast(last); + //String last = qid.getLast().toString() + suffix; + QID last = QID.parse(suffix); + return qid.concat(last); } /**