implements first batch of CR suggestions by Joao

viperproject · May 21, 2024 · d84036f · d84036f
1 parent 6dfb890
commit d84036f
Show file tree

Hide file tree

Showing 8 changed files with 2,173 additions and 2,049 deletions.
diff --git a/src/main/antlr4/GobraParser.g4 b/src/main/antlr4/GobraParser.g4
@@ -157,10 +157,10 @@ ghostSliceType: GHOST L_BRACKET R_BRACKET elementType;
 
 ghostPointerType: GPOINTER L_BRACKET elementType R_BRACKET;
 
-// copy of `fieldDecl` from GoParser.g4 extended with an optional `GHOST` modifier for fields:
+// copy of `fieldDecl` from GoParser.g4 extended with an optional `GHOST` modifier for fields and embedded fields:
 fieldDecl: (
 		GHOST? identifierList type_
-		| embeddedField
+		| GHOST? embeddedField
 	) tag = string_?;
 
 sqType: (kind=(SEQ | SET | MSET | OPT) L_BRACKET type_ R_BRACKET)