carbon-lang/toolchain/semantics/semantics_builtin_kind.def

// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
// Exceptions. See /LICENSE for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
// Note that this is an X-macro header.
//
// It does not use `#include` guards, and instead is designed to be `#include`ed
// after the x-macro is defined in order for its inclusion to expand to the
// desired output.
//
// x-macros come in two forms:
//   CARBON_SEMANTICS_BUILTIN_KIND_NAME(Name)
//     Used as a fallback if other macros are missing.
//   CARBON_SEMANTICS_BUILTIN_KIND(Name, Type)
//     Defines a builtin kind with the associated type, which must also be
//     builtin.
//
// Note that Invalid is provided with CARBON_SEMANTICS_BUILTIN_KIND_NAME but not
// CARBON_SEMANTICS_BUILTIN_KIND.

#if !(defined(CARBON_SEMANTICS_BUILTIN_KIND_NAME) || \
      defined(CARBON_SEMANTICS_BUILTIN_KIND))
#error \
    "Must define CARBON_SEMANTICS_BUILTIN_KIND family x-macros to use this file."
#endif

// If CARBON_SEMANTICS_BUILTIN_KIND_NAME is undefined, ignore calls.
#ifndef CARBON_SEMANTICS_BUILTIN_KIND_NAME
#define CARBON_SEMANTICS_BUILTIN_KIND_NAME(Name)
#endif

// If CARBON_SEMANTICS_BUILTIN_KIND is undefined, delegate calls to
// CARBON_SEMANTICS_BUILTIN_KIND_NAME.
#ifndef CARBON_SEMANTICS_BUILTIN_KIND
#define CARBON_SEMANTICS_BUILTIN_KIND(Name, ...) \
  CARBON_SEMANTICS_BUILTIN_KIND_NAME(Name)
#endif

// Tracks expressions which are valid as types.
// This has a deliberately self-referential type.
CARBON_SEMANTICS_BUILTIN_KIND(TypeType, TypeType)

// Used when a SemanticNode has an invalid type, which should then be ignored
// for future type checking.
// This has a deliberately self-referential type.
CARBON_SEMANTICS_BUILTIN_KIND(InvalidType, InvalidType)

// The type of integers and integer literals, currently always i32. Long-term
// we may not want it this way, but for now this is the approach.
CARBON_SEMANTICS_BUILTIN_KIND(IntegerType, TypeType)

// The type of reals and real literals, currently always f64. Long-term
// we may not want it this way, but for now this is the approach.
CARBON_SEMANTICS_BUILTIN_KIND(RealType, TypeType)

// Keep invalid last, so that we can use values as array indices without needing
// an invalid entry.
CARBON_SEMANTICS_BUILTIN_KIND_NAME(Invalid)

#undef CARBON_SEMANTICS_BUILTIN_KIND_NAME
#undef CARBON_SEMANTICS_BUILTIN_KIND