From 9dfd5244ad2953753535e82acd05e72e5ab2bc5f Mon Sep 17 00:00:00 2001 From: Yong He Date: Fri, 16 May 2025 10:42:11 -0700 Subject: Allow lambda exprs without captures to coerce to `functype`. (#7129) --- source/slang/slang-check-expr.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'source/slang/slang-check-expr.cpp') diff --git a/source/slang/slang-check-expr.cpp b/source/slang/slang-check-expr.cpp index 41f945763..ad36a7e4a 100644 --- a/source/slang/slang-check-expr.cpp +++ b/source/slang/slang-check-expr.cpp @@ -2887,6 +2887,7 @@ Expr* SemanticsVisitor::CheckInvokeExprWithCheckedOperands(InvokeExpr* expr) } } } + rs->checked = true; return rs; } @@ -4209,9 +4210,9 @@ Expr* SemanticsExprVisitor::visitLambdaExpr(LambdaExpr* lambdaExpr) if (m_parentFunc) { nameBuilder << getText(m_parentFunc->getName()); + nameBuilder << "_"; + nameBuilder << m_parentFunc->members.getCount(); } - nameBuilder << "_"; - nameBuilder << m_parentFunc->members.getCount(); auto name = getName(nameBuilder.getBuffer()); lambdaStructDecl->nameAndLoc.name = name; lambdaStructDecl->nameAndLoc.loc = lambdaExpr->loc; @@ -4283,6 +4284,7 @@ Expr* SemanticsExprVisitor::visitLambdaExpr(LambdaExpr* lambdaExpr) auto resultLambdaObj = synthesizer.emitCtorInvokeExpr( synthesizer.emitStaticTypeExpr(DeclRefType::create(m_astBuilder, lambdaStructDecl)), _Move(args)); + resultLambdaObj->loc = lambdaExpr->loc; auto checkedResultExpr = dispatchExpr(resultLambdaObj, *this); return checkedResultExpr; } -- cgit v1.2.3