Skip to content

Commit 21b8449

Browse files
author
Dwight Guth
committed
make TReturnOp a Stmt
1 parent a6fcaf0 commit 21b8449

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

  • semantics/cpp/language/translation

semantics/cpp/language/translation/syntax.k

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -173,6 +173,7 @@ module CPP-ABSTRACT-SYNTAX
173173
| ForTStmt(Stmt, Decl, Stmt, Stmt)
174174
| ForTStmt(Expr, Stmt, Stmt)
175175
| TemplateDefinitionStmt(K) // synthetic statement created by the body of a function template definition when it's evaluted before instantiation
176+
| TReturnOp(init: Expr, obj: K)
176177

177178
syntax AStmt ::= NoStatement()
178179
| CompoundAStmt(List)
@@ -224,7 +225,6 @@ module CPP-ABSTRACT-SYNTAX
224225
| Noexcept(Expr)
225226
| NewExpr(Bool, AType, AExpr, Init, List) [strict(2)]
226227
| DeleteExpr(Bool, Bool, Expr)
227-
| TReturnOp(init: Expr, obj: K)
228228

229229
syntax ResolvedExpr ::= CallExpr(Expr, StrictList, StrictListResult)
230230

0 commit comments

Comments
 (0)