Expand the abbreviated string type and its conversion builtin to the full
word everywhere:
str -> string (the immutable-string type)
str(x) -> str -> string(x) -> string (the stringify builtin;
what `{…}` interpolation calls)
Types are recognized by identifier, and llty maps both spellings to LLVM
`ptr`, so this is an atomic source rewrite: type annotations, the Ludic
type tags, the builtin name/dispatch, and the interpolation desugar, plus
the grammars, LSP, docs (type-str -> type-string, fn-str -> fn-string), and
inventory. int/bool stay (universally accepted, like Math).
Reseeded; C-free fixpoint holds; all suites green (45/24/29); site + check.py OK.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
834 B
834 B
id: op-interp
name: String interpolation
category: operators
kind: operator
sig: text {expr} more
tip: A backtick string with {expr} holes, each stringified and concatenated.
order: 7
A backtick string `…` is an interpolated string: any {expr} hole inside it is evaluated, converted to text, and concatenated with the surrounding literal parts. Numbers, bools, and fixed values are stringified automatically and string values pass through, so `score: {score}` desugars to "score: " + string(score). It is the readable way to build a message from mixed pieces without hand-writing a + chain. Write a literal brace with {{ or }}.
let status_line: string = `score {score} — health {current_health}/{maximum_health}`
Screen.status(status_line)
print(`wave {wave_number} incoming`)