preludes / compiler.lisp
compiler
Descriptor helpers. Shared reflection and diagnostics helpers for form projections.
From the source
Purpose: Shared reflection and diagnostic helpers for form projections. Requires: Core builtins and kernel macros (provided by descriptor bootstrap). Used by: Domain prelude validators and projections.
Macros 1
Syntax rewrites expanded before evaluation and type checking.
(named-map names ...)compiler.lisp:28
Build a string-keyed map from distinct binding names, retaining value syntax. (named-map gap visible) expands to {"gap" gap "visible" visible}.
Functions 3
Ordinary typed definitions that programs and elaboration hooks can call.
descriptor-constructcompiler.lisp:7
(define descriptor-construct [input] …)
diag/validate-membership-listcompiler.lisp:11
Generic collection checks used by form validators.
(define diag/validate-membership-list [values allowed slot-key slot] …)
diag/validate-default-in-listcompiler.lisp:19
(define diag/validate-default-in-list [value values slot-key slot] …)