core.c

Go to the documentation of this file.

/* -*- C -*-
 * Serene programming language
 * Copyright (C) 2019-2026 Sameer Rahmani <[email protected]>
 *
 * This library is free software: you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public License
 * along with this library.  If not, see <https://www.gnu.org/licenses/>.
 */
 
#include "serene/rt/core.h"
 
#include "serene/rt/context.h"
#include "serene/utils.h"
 
// The shared sentinels declared `extern` in core.h. One instance each, so their
// addresses are stable across translation units.
srn_metadata_t absurd_metadata = {nullptr, nullptr};
srn_value_t nil_v              = {.type = VNil};
srn_value_t true_v             = {.type = VTrue};
srn_value_t false_v            = {.type = VFalse};
 
// TODO(lxsameer): the tag-only values handed back here (nil_v/true_v/false_v)
// are shared sentinels that must never be mutated. Make srn_value_make -- and
// the value API it feeds -- return `const srn_value_t *` so the compiler
// enforces that, instead of relying on callers to leave them alone.
srn_value_t *
srn_value_make(srn_context_t *ctx, srn_value_tag_t tag, srn_metadata_t *metadata, void *payload) {
  PANIC_IF_NULL(ctx);
 
  switch (tag) {
  case VNil:
    return &nil_v;
  case VTrue:
    return &true_v;
  case VFalse:
    return &false_v;
  default:
    break;
  }
 
  srn_value_t *v = ALLOC(ctx, srn_value_t);
  v->type        = tag;
  v->metadata    = metadata;
 
  // At this point payload should not be null
  PANIC_IF_NULL(payload);
 
  switch (tag) {
  case VI64:
    v->as.i64 = *(int64_t *)payload;
    break;
  case VF64:
    v->as.f64 = *(double *)payload;
    break;
  case VList:
    v->as.list = (srn_list_t *)payload;
    break;
  case VSeq:
    v->as.seq = (srn_seq_t *)payload;
    break;
  case VQuote:
    PANIC("Not implemented");
  case VClosure:
    PANIC("Not implemented");
  case VNamespace:
    v->as.ns = (srn_namespace_t *)payload;
    break;
  case VString:
    v->as.string = (srn_string_t *)payload;
    break;
  case VSymbol:
    v->as.symbol = (srn_symbol_t *)payload;
    break;
  case VKeyword:
    v->as.keyword = (srn_keyword_t *)payload;
    break;
  case VMap:
    v->as.map = (srn_map_t *)payload;
    break;
  case VError:
    v->as.error = (srn_error_t *)payload;
    break;
  default:
    PANIC("Should never happen");
  }
  return v;
}