Skip to content

Commit a19d4b9

Browse files
committed
Fix.
1 parent b370188 commit a19d4b9

1 file changed

Lines changed: 5 additions & 3 deletions

File tree

  • semantics/cpp/language/common

semantics/cpp/language/common/class.k

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -35,9 +35,11 @@ module CPP-CLASS-BASIC-SYNTAX
3535

3636
syntax Class ::= ClassQualifier "::" ClassSpecifier [klabel(classId)]
3737

38-
// TODO(chathhorn): commenting these out because they seem to be redundant (with the above production for Class)
39-
// and cause parsing ambiguities.
40-
syntax InnerClass ::= Class // TODO(chathhorn): added by me to replace the stuff below.
38+
// TODO(chathhorn): the stuff below causes parsing ambiguities with the Class production above. Need to resolve in
39+
// a better way.
40+
syntax InnerClass ::= Class // TODO(chathhorn): added as an interim fix.
41+
syntax LocalInnerClass ::= Class // TODO(chathhorn): added as an interim fix.
42+
4143
// syntax LocalClass ::= LocalQualifier "::" ClassSpecifier [klabel(classId)]
4244

4345
// syntax Class ::= LocalClass

0 commit comments

Comments
 (0)