Method execute

packages/compiler/src/typecheck/ops/let.ts:34–43

()

  override readonly optional = false;

  override execute(): TcbExpr {
    const id = new TcbExpr(this.tcb.allocateId()).addParseSpanInfo(this.node.nameSpan);
    const value = tcbExpression(this.node.value, this.tcb, this.scope).wrapForTypeChecker();
    // Value needs to be wrapped, because spans for the expressions inside of it can
    // be picked up incorrectly as belonging to the full variable declaration.
    const varStatement = new TcbExpr(`const ${id.print()} = ${value.print()}`);
    varStatement.addParseSpanInfo(this.node.sourceSpan);
    this.scope.addStatement(varStatement);
    return id;
  }
}