ucall (callable -- inlineResult)

Builtins

Name introduction, declaration modifiers, and module binding: NAME: ...;, codeRef, def, exportFunction, importFunction, importVariable, overload, private, static, use, and virtual.
Struct construction forms: (...), {...}, and array.
Selection forms: source-text selection with NAME and .NAME, read-only source-text selection with @NAME and .@NAME, and ordinal or known-name data-input selection with @, callField, and fieldRead.
Writing forms: source-text selection with !NAME and .!NAME, ordinal selection with ! and fieldWrite, and already-selected destination replacement with set.
Calling and control flow: call, if, loop, ucall, and uif.
Text operations: &, LF, attribute, textSize, and textSplit.
Condition constants, value comparison, and logical operators: <, =, >, DEBUG, FALSE, TRUE, and, is, lshift, or, rshift, xor, and ~.
Arithmetic and numeric transforms: *, +, -, /, ^, cast, ceil, cos, floor, log, log10, mod, neg, sin, and sqrt.
Reference, creation, and value-state operations: const, dynamic, isConst, isDirty, isDynamic, isRef, isStatic, known?, new, newVarOfTheSameType, stable?, unconst, and unknownStable?.
Schema and struct introspection: code?, codeRef?, fieldCount, fieldIndex, fieldIsRef, fieldIsVirtual, fieldName, has, isCombined, managed?, same, schemaName, and virtual?.
Storage and manual lifetime operations: addressToReference, alignment, manuallyDestroyVariable, manuallyInitVariable, storageAddress, and storageSize.
Diagnostics and compile-time failure: failCompilation, getCallTrace, printCompilerMessage, printStack, printStackTrace, and raiseStaticError.

ucall (callable -- inlineResult)

Inputs

callable: Already-selected value or Ref whose dereferenced input is Block or known Text.

Outputs

inlineResult: Result produced by inline processing of callable.

Processes one already-selected Block or known Text inline in the current scope. No name lookup or field selection happens inside the builtin.

Inline processing leaves locals created by the processed code available afterward.

Behavior

The callable must already be on the data stack.

Any remaining data inputs required by that callable must already be below it on the data stack.

Supported inputs are Block and known Text only.

Stored Block values are obtained via .@NAME or @NAME when the stored Block itself must be pushed. Plain .NAME or NAME may already process the stored Block before ucall runs. Known Text locals differ: plain mention already pushes the Text value, so textSource ucall is valid.

Unknown Text is invalid.

Code values are invalid.

Callable Dict values are invalid, even when the Dict's CALL field is a Block. ucall does not select CALL or evaluate PRE from a Dict input.

Known Text inputs are interpreted as MPL code text and processed inline.

Example

{} 0 {} [ "-- block uses stack values below it --" printCompilerMessage 5 [2 +] ucall printStack _:; "-- read stored Block value first, then process it inline --" printCompilerMessage blockSource: [7 "blockLocal" def]; @blockSource ucall blockLocal printStack _:; "-- text uses stack values below it --" printCompilerMessage 9 «1 +» ucall printStack _:; "-- known Text local also processes inline --" printCompilerMessage textSource: «8 "textLocal" def»; textSource ucall textLocal printStack _:; 0 ] "main" exportFunction

Expected Output During Compilation

-- block uses stack values below it -- 7 -- read stored Block value first, then process it inline -- 7 Cref -- text uses stack values below it -- 10 -- known Text local also processes inline -- 8 Cref