From a19d4b9759fbe9e3a4e096d2026b6a3bc91664c3 Mon Sep 17 00:00:00 2001 From: chathhorn Date: Sun, 27 Oct 2019 11:46:28 -0500 Subject: [PATCH] Fix. --- semantics/cpp/language/common/class.k | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/semantics/cpp/language/common/class.k b/semantics/cpp/language/common/class.k index 124d2091b..af92f596d 100644 --- a/semantics/cpp/language/common/class.k +++ b/semantics/cpp/language/common/class.k @@ -35,9 +35,11 @@ module CPP-CLASS-BASIC-SYNTAX syntax Class ::= ClassQualifier "::" ClassSpecifier [klabel(classId)] - // TODO(chathhorn): commenting these out because they seem to be redundant (with the above production for Class) - // and cause parsing ambiguities. - syntax InnerClass ::= Class // TODO(chathhorn): added by me to replace the stuff below. + // TODO(chathhorn): the stuff below causes parsing ambiguities with the Class production above. Need to resolve in + // a better way. + syntax InnerClass ::= Class // TODO(chathhorn): added as an interim fix. + syntax LocalInnerClass ::= Class // TODO(chathhorn): added as an interim fix. + // syntax LocalClass ::= LocalQualifier "::" ClassSpecifier [klabel(classId)] // syntax Class ::= LocalClass