From 9f9d70cf5372f562fa22a27dc347a75086c67d7b Mon Sep 17 00:00:00 2001 From: Johannes Mey <johannes.mey@tu-dresden.de> Date: Tue, 19 Mar 2019 14:44:51 +0100 Subject: [PATCH] generate less code for serializer --- src/main/jastadd/Backend.jadd | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/main/jastadd/Backend.jadd b/src/main/jastadd/Backend.jadd index cc89bce..5cecbc2 100644 --- a/src/main/jastadd/Backend.jadd +++ b/src/main/jastadd/Backend.jadd @@ -805,9 +805,11 @@ aspect NameResolutionHelper { r.generateContextDependentNameResolution(sb); } - for (TypeDecl decl : getTypeDeclList()) { - decl.generateContextIndependentNameResolution(sb); - sb.append("\n"); + if (resolverHelper) { + for (TypeDecl decl : getTypeDeclList()) { + decl.generateContextIndependentNameResolution(sb); + sb.append("\n"); + } } sb.append("}\n\n"); } -- GitLab