Function getRecFunc

article/utils.ts:229–242

(node: p.TSESTree.FunctionDeclaration, ctx: Context, restFunc: (() => Term) | null)

}

function getRecFunc(node: p.TSESTree.FunctionDeclaration, ctx: Context, restFunc: (() => Term) | null): Term {
  if (!node.id) error("function name is required", node);
  if (!node.returnType) error("function return type is required", node);
  const funcName = node.id.name;
  if (node.typeParameters) error("type parameter is not supported for function declaration", node);
  const params = node.params.map((param) => {
    const { name, type } = getParam(param);
    return { name, type: simplifyType(type, ctx) };
  });
  const retType = simplifyType(convertType(node.returnType.typeAnnotation), ctx);
  const body = convertStmts(node.body.body, true, ctx);
  const rest: Term = restFunc ? restFunc() : { tag: "var", name: funcName, loc: node.loc };
  return { tag: "recFunc", funcName, params, retType, body, rest, loc: node.loc };
}

function convertType(node: p.TSESTree.TypeNode): Type {
  switch (node.type) {