roland/xo-expression2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

xo-expression2: + DApplyExpr::make

Browse source
This commit is contained in:
Roland Conybeare 2026-01-26 15:45:40 -05:00
commit 78e3d28196
1 changed files with 30 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

32
src/expression2/DApplyExpr.cpp
View file

@ -3,8 +3,9 @@
* @author Roland Conybeare, Jan 2026
**/
#include "DApplyExpr.hpp"
#include "Expression.hpp"
#include "DApplyExpr.hpp"
#include "detail/IExpression_DApplyExpr.hpp"
#include <xo/printable2/Printable.hpp>
#include <xo/facet/FacetRegistry.hpp>
@ -15,7 +16,34 @@ namespace xo {
using xo::mm::AGCObject;
namespace scm {
/* incomplete! */
obj<AExpression,DApplyExpr>
DApplyExpr::make2(obj<AAllocator> mm,
TypeRef typeref,
obj<AExpression> fn_expr,
obj<AExpression> arg1,
obj<AExpression> arg2)
{
return obj<AExpression,DApplyExpr>
(DApplyExpr::_make2(mm, typeref, fn_expr, arg1, arg2));
}
DApplyExpr *
DApplyExpr::_make2(obj<AAllocator> mm,
TypeRef typeref,
obj<AExpression> fn_expr,
obj<AExpression> arg1,
obj<AExpression> arg2)
{
DApplyExpr * result
= DApplyExpr::scaffold(mm, typeref, fn_expr, 2 /*n_args*/);
result->assign_arg(0, arg1);
result->assign_arg(1, arg2);
return result;
}
/* incomplete, in the sense that does not populate args_[] */
DApplyExpr::DApplyExpr(TypeRef typeref,
obj<AExpression> fn_expr,
size_type n_args) : typeref_{typeref},