@rohal12/spindle 0.58.0 → 0.59.1

package/dist/pkg/story-variables.js

@@ -68,24 +68,41 @@ var LINK_SEPARATORS = [
 	["<-", true]
 ];
 var NO_SELECTORS = {};
-function parseLink(inner) {
+/**
+* A link's display text and target, from its text `inner` (at `at` in the
+* input), with where the target is written.
+*/
+function parseLink(inner, at) {
+	/** The trimmed text from `start` to `end` of inner, and where it is. */
+	const part = (start, end) => {
+		const raw = inner.slice(start, end);
+		const value = raw.trim();
+		const from = at + start + (value ? raw.indexOf(value) : 0);
+		return {
+			value,
+			start: from,
+			end: from + value.length
+		};
+	};
 	for (const [separator, targetFirst] of LINK_SEPARATORS) {
 		const idx = inner.indexOf(separator);
 		if (idx === -1) continue;
-		const before = inner.slice(0, idx).trim();
-		const after = inner.slice(idx + separator.length).trim();
-		return targetFirst ? {
-			display: after,
-			target: before
-		} : {
-			display: before,
-			target: after
+		const before = part(0, idx);
+		const after = part(idx + separator.length, inner.length);
+		const [display, target] = targetFirst ? [after, before] : [before, after];
+		return {
+			display: display.value,
+			target: target.value,
+			targetStart: target.start,
+			targetEnd: target.end
 		};
 	}
-	const trimmed = inner.trim();
+	const whole = part(0, inner.length);
 	return {
-		display: trimmed,
-		target: trimmed
+		display: whole.value,
+		target: whole.value,
+		targetStart: whole.start,
+		targetEnd: whole.end
 	};
 }
 function quoteArg(value) {
@@ -167,6 +184,8 @@ function tokenOf(x) {
 			type: "link",
 			display: x.display,
 			target: x.target,
+			targetStart: x.targetStart,
+			targetEnd: x.targetEnd,
 			...span
 		}, x);
 		case "variable": return withSelectors({
@@ -698,8 +717,8 @@ function peg$parse(input, options) {
 	function peg$f48() {
 		return !textMode;
 	}
-	function peg$f49(s, inner) {
-		return withSelectors(lexeme("link", location(), parseLink(inner)), s);
+	function peg$f49(s, at, inner) {
+		return withSelectors(lexeme("link", location(), parseLink(inner, at)), s);
 	}
 	function peg$f50() {
 		return !textMode;
@@ -1748,7 +1767,7 @@ function peg$parse(input, options) {
 		return s0;
 	}
 	function peg$parseLinkLexeme() {
-		let s0, s1, s2, s3, s4, s5;
+		let s0, s1, s2, s3, s4, s5, s6;
 		s0 = peg$currPos;
 		peg$savedPos = peg$currPos;
 		s1 = peg$f48();
@@ -1765,19 +1784,20 @@ function peg$parse(input, options) {
 			if (s2 !== peg$FAILED) {
 				s3 = peg$parseSelectors();
 				if (s3 !== peg$FAILED) {
-					s4 = peg$currPos;
-					s5 = peg$parseLinkText();
-					s4 = input.substring(s4, peg$currPos);
+					s4 = peg$parseHere();
+					s5 = peg$currPos;
+					s6 = peg$parseLinkText();
+					s5 = input.substring(s5, peg$currPos);
 					if (input.substr(peg$currPos, 2) === peg$c5) {
-						s5 = peg$c5;
+						s6 = peg$c5;
 						peg$currPos += 2;
 					} else {
-						s5 = peg$FAILED;
+						s6 = peg$FAILED;
 						if (peg$silentFails === 0) peg$fail(peg$e9);
 					}
-					if (s5 !== peg$FAILED) {
+					if (s6 !== peg$FAILED) {
 						peg$savedPos = s0;
-						s0 = peg$f49(s3, s4);
+						s0 = peg$f49(s3, s4, s5);
 					} else {
 						peg$currPos = s0;
 						s0 = peg$FAILED;
@@ -9410,6 +9430,22 @@ function regexEnd(src, start) {
 	return -1;
 }
 /**
+* The value of `src` when it is exactly one `"…"` or `'…'` string literal,
+* as JavaScript reads it (`"\u0048all"` is `Hall`, `"\1"` is U+0001 in
+* the non-strict code passages run), otherwise `null`: other code, or a
+* literal that is not well-formed (`"\u{110000}"`).
+*/
+function stringLiteralValue(src) {
+	if (src[0] !== "\"" && src[0] !== "'") return null;
+	try {
+		const p = tokenizerAt(src, 0, "expression");
+		p.nextToken();
+		return p.type === types$1.string && p.end === src.length ? p.value : null;
+	} catch {
+		return null;
+	}
+}
+/**
 * Scan the `"…"` or `'…'` string literal opening at `start`. `end` is the
 * index just past its closing quote, or `src.length` when it is unterminated
 * (`closed` false). A backslash escapes the character after it, so a quote
@@ -9668,10 +9704,22 @@ function parseSelectors(source, at = 0) {
 function tokenizeMarkupTolerant(source, options = {}) {
 	const tokens = [];
 	const errors = [];
+	const lastBrace = source.lastIndexOf("}");
+	const { closeBrace } = {
+		...defaultHooks,
+		...options.hooks
+	};
 	/** `text` shifted by `base`, tokenized: the tokens or the error. */
 	const attempt = (text, base) => {
+		const hooks = {
+			...options.hooks,
+			closeBrace: (input, codeStart, lenientStart) => base + Math.min(codeStart, lenientStart) > lastBrace ? -1 : closeBrace(input, codeStart, lenientStart)
+		};
 		try {
-			return tokenizeMarkup(text, options).map((token) => shift(token, base));
+			return tokenizeMarkup(text, {
+				...options,
+				hooks
+			}).map((token) => shift(token, base));
 		} catch (error) {
 			if (!(error instanceof MarkupError)) throw error;
 			return error;
@@ -9713,11 +9761,17 @@ function tokenizeMarkupTolerant(source, options = {}) {
 }
 /** `token` with its offsets moved `by` on. */
 function shift(token, by) {
-	return by === 0 ? token : {
+	if (by === 0) return token;
+	const moved = {
 		...token,
 		start: token.start + by,
 		end: token.end + by
 	};
+	if (moved.type === "link") {
+		moved.targetStart += by;
+		moved.targetEnd += by;
+	}
+	return moved;
 }
 //#endregion
 //#region src/utils/parse-delay.ts
@@ -9805,37 +9859,6 @@ function readWholeQuoted(src) {
 	const quoted = readQuoted(src, 0);
 	return quoted && quoted.end === src.length ? quoted.value : null;
 }
-var JS_SIMPLE_ESCAPES = {
-	n: "\n",
-	t: "	",
-	r: "\r",
-	b: "\b",
-	f: "\f",
-	v: "\v",
-	"0": "\0"
-};
-/** Undo every escape of a JavaScript string literal's body. */
-function decodeJsEscapes(body) {
-	return body.replace(/\\(?:u\{([0-9a-fA-F]+)\}|u([0-9a-fA-F]{4})|x([0-9a-fA-F]{2})|(\r\n|[\n\r\u2028\u2029])|([\s\S]))/g, (_, braced, unicode, hex, lineBreak, other) => {
-		if (lineBreak !== void 0) return "";
-		const code = braced ?? unicode ?? hex;
-		if (code !== void 0) {
-			const point = parseInt(code, 16);
-			return point <= 1114111 ? String.fromCodePoint(point) : "";
-		}
-		return JS_SIMPLE_ESCAPES[other] ?? other;
-	});
-}
-/**
-* The value of `src` when it is exactly one `"…"` or `'…'` string, read as
-* the JavaScript literal it is (`"\u0048all"` is `Hall`), otherwise `null`.
-* `readWholeQuoted` keeps other escapes as written, for labels and code.
-*/
-function readWholeJsString(src) {
-	const quoted = readQuoted(src, 0);
-	if (!quoted || quoted.end !== src.length) return null;
-	return decodeJsEscapes(src.slice(1, -1));
-}
 /**
 * Strip an optional quote from each end of an unquoted-or-loosely-quoted
 * argument (`"Red`, `Red'`), leaving at least one character. This is the
@@ -9995,7 +10018,9 @@ var MacroArgumentError = class extends Error {
 		this.name = "MacroArgumentError";
 	}
 };
-function readValue(param, src) {
+/** Read `src`, at `place`, as `param` says. */
+function readValue(param, src, place) {
+	place.spans?.set(param, [place.at, place.at + src.length]);
 	switch (param.type) {
 		case "string": {
 			const value = readWholeQuoted(src);
@@ -10006,7 +10031,7 @@ function readValue(param, src) {
 		case "names": return src.split(",").map((name) => name.trim());
 		case "delay": return parseDelay(src);
 		case "number": return Number(src);
-		case "options": return readOptions(param.parameters ?? [], src);
+		case "options": return readOptions(param.parameters ?? [], src, place);
 		default: return src;
 	}
 }
@@ -10024,11 +10049,12 @@ function matchAt(re, src, pos) {
 }
 /**
 * Read keyword options (`goto "X" priority 5 once`). A keyword takes the
-* quoted string or digit run after it as its value; keywords that aren't
-* declared, and their values, are skipped. A keyword of a `string` parameter
-* must be followed by a quoted string.
+* quoted string (with or without whitespace before it) or digit run after
+* it as its value; keywords that aren't declared, and their values, are
+* skipped. A keyword of a `string` parameter must be followed by a quoted
+* string.
 */
-function readOptions(params, src) {
+function readOptions(params, src, { at, spans }) {
 	const options = {};
 	let i = 0;
 	while (i < src.length) {
@@ -10039,22 +10065,20 @@ function readOptions(params, src) {
 		}
 		i += key.length;
 		let val;
-		let quoted = null;
 		let j = i;
 		while (j < src.length && isWhitespace(src[j])) j++;
-		if (j > i) {
-			quoted = readQuoted(src, j);
-			const digits = quoted ? null : matchAt(DIGITS_RE, src, j);
-			if (quoted) {
-				val = quoted.value;
-				i = quoted.end;
-			} else if (digits) {
-				val = digits;
-				i = j + digits.length;
-			}
+		const quoted = readQuoted(src, j);
+		const digits = quoted || j === i ? null : matchAt(DIGITS_RE, src, j);
+		if (quoted) {
+			val = quoted.value;
+			i = quoted.end;
+		} else if (digits) {
+			val = digits;
+			i = j + digits.length;
 		}
 		const param = params.find((p) => p.name === key);
-		if (param?.type === "string" && (!quoted || val === void 0)) throw new MacroArgumentError(param, matchAt(WORD_OR_PUNCT_RE, src, j) ?? "");
+		if (param && param.type !== "flag" && val !== void 0) spans?.set(param, [at + j, at + i]);
+		if (param?.type === "string" && !quoted) throw new MacroArgumentError(param, matchAt(WORD_OR_PUNCT_RE, src, j) ?? "");
 		if (param?.type === "flag") options[key] = true;
 		else if (param?.type === "number") options[key] = Number(val ?? 0);
 		else if (param) options[key] = val;
@@ -10064,21 +10088,21 @@ function readOptions(params, src) {
 /** `inline %name` reads a transient variable; `inline % 2` is modulo. */
 var LEADING_OPERATOR_RE = /^(?:[-+*/&|^=<>?:,.]|%(?![A-Za-z_]))/;
 /**
-* The rest of `src` without the flag `word` as its last or first term, or
-* `null` if it has no such flag. Next to a binary operator the word is an
-* operand (`"a" + inline`), not a flag; the closing `/` of a regex literal
-* is not one.
+* Where the rest of `src` is without the flag `word` as its last or first
+* term, or `null` if it has no such flag. Next to a binary operator the
+* word is an operand (`"a" + inline`), not a flag; the closing `/` of a
+* regex literal is not one.
 */
 function takeFlag(src, word) {
 	const spans = terms(src);
 	if (spans.length < 2) return null;
 	if (slice(src, spans[spans.length - 1]) === word) {
-		const rest = src.slice(0, spans[spans.length - 2][1]);
-		if (!endsWithOperator(rest)) return rest;
+		const rest = [0, spans[spans.length - 2][1]];
+		if (!endsWithOperator(slice(src, rest))) return rest;
 	}
 	if (slice(src, spans[0]) === word) {
-		const rest = src.slice(spans[1][0]);
-		if (!LEADING_OPERATOR_RE.test(rest)) return rest;
+		const rest = [spans[1][0], src.length];
+		if (!LEADING_OPERATOR_RE.test(slice(src, rest))) return rest;
 	}
 	return null;
 }
@@ -10106,69 +10130,93 @@ function findSeparator(src, word) {
 	return null;
 }
 var takesRest = (param) => param.type === "expression" || param.type === "statements" || param.type === "passage" || param.type === "text";
-/** Read the parameters of one group from `src` (`null`: no text) into `args`. */
-function readGroup(params, src, args) {
-	let text = src?.trim() ?? "";
+/** The text of `src` without the whitespace around it, and where it is. */
+function trimmed(src, at) {
+	const text = src.trim();
+	return [text, text ? at + src.indexOf(text) : at];
+}
+/**
+* Read the parameters of one group from `src` (`null`: no text), which is
+* at `at` in the raw arguments, into `args`.
+*/
+function readGroup(params, src, args, { at: srcAt, spans }) {
+	let [text, at] = trimmed(src ?? "", srcAt);
 	for (const flag of params.filter((p) => p.type === "flag")) {
 		const rest = src === null ? null : takeFlag(text, flag.name);
 		args[flag.name] = rest !== null;
-		text = rest ?? text;
+		if (rest) [text, at] = trimmed(slice(text, rest), at + rest[0]);
 	}
 	const positional = params.filter((p) => p.type !== "flag");
 	if (positional.length === 0) return;
 	const lastText = positional.findIndex((p, i) => takesRest(p) && !positional.slice(i + 1).some(takesRest));
 	const restIndex = lastText < 0 ? positional.length - 1 : lastText;
-	const read = (param, value) => value === "" ? unset(param) : readValue(param, value);
+	/** Read `param` from the text from `start` to `end`. */
+	const read = (param, [start, end]) => start === end ? unset(param) : readValue(param, text.slice(start, end), {
+		at: at + start,
+		spans
+	});
 	if (positional.length === 1) {
-		args[positional[0].name] = read(positional[0], text);
+		args[positional[0].name] = read(positional[0], [0, text.length]);
 		return;
 	}
-	const spans = terms(text);
+	const parts = terms(text);
 	let from = 0;
-	let to = spans.length;
-	for (const param of positional.slice(0, restIndex)) args[param.name] = from < to ? read(param, slice(text, spans[from++])) : unset(param);
-	const readTrailing = (param, value) => {
+	let to = parts.length;
+	for (const param of positional.slice(0, restIndex)) args[param.name] = from < to ? read(param, parts[from++]) : unset(param);
+	const readTrailing = (param, span) => {
 		try {
-			return read(param, value);
+			return read(param, span);
 		} catch (error) {
 			if (error instanceof MacroArgumentError) return void 0;
 			throw error;
 		}
 	};
 	for (const param of positional.slice(restIndex + 1).reverse()) {
-		const value = from < to && !endsWithOperator(text.slice(0, spans[to - 1][0])) ? readTrailing(param, slice(text, spans[to - 1])) : void 0;
+		const value = from < to && !endsWithOperator(text.slice(0, parts[to - 1][0])) ? readTrailing(param, parts[to - 1]) : void 0;
 		args[param.name] = value ?? unset(param);
 		if (value !== void 0) to--;
+		else spans?.delete(param);
 	}
 	const rest = positional[restIndex];
-	args[rest.name] = from < to ? read(rest, text.slice(spans[from][0], spans[to - 1][1])) : unset(rest);
+	args[rest.name] = from < to ? read(rest, [parts[from][0], parts[to - 1][1]]) : unset(rest);
 }
-/** Read `rawArgs` into the declared `parameters` (see above). */
-function parseMacroArgs(rawArgs, parameters) {
+/**
+* Read `rawArgs` into the declared `parameters` (see above). With `spans`,
+* note there where each argument set was read.
+*/
+function parseMacroArgs(rawArgs, parameters, spans) {
 	const args = {};
-	let rest = rawArgs.trim();
+	let [rest, restAt] = trimmed(rawArgs, 0);
 	let groupStart = 0;
 	parameters.forEach((separator, i) => {
 		if (separator.type !== "separator") return;
 		const at = rest === null ? null : findSeparator(rest, separator.name);
 		args[separator.name] = at !== null;
 		const before = at ? rest.slice(0, at[0]) : rest;
-		readGroup(parameters.slice(groupStart, i), before, args);
+		readGroup(parameters.slice(groupStart, i), before, args, {
+			at: restAt,
+			spans
+		});
 		rest = at ? rest.slice(at[1]) : null;
+		if (at) restAt += at[1];
 		groupStart = i + 1;
 	});
-	readGroup(parameters.slice(groupStart), rest, args);
+	readGroup(parameters.slice(groupStart), rest, args, {
+		at: restAt,
+		spans
+	});
 	return args;
 }
 /**
 * Read a `passage` argument as written (`{goto "Hall"}`, `{goto $room}`): a
-* quoted string is the name its JavaScript literal has (`"\u0048all"` is
-* `Hall`), anything else an expression, whose value is the name when it
+* string literal is the name JavaScript reads from it (`"\u0048all"` is
+* `Hall`), anything else (a literal that is not well-formed too) an
+* expression, whose value is the name when it
 * runs (see evaluatePassageName).
 */
 function passageTarget(arg) {
 	const expression = arg.trim();
-	const name = readWholeJsString(expression);
+	const name = stringLiteralValue(expression);
 	return name === null ? {
 		kind: "expression",
 		expression
@@ -10198,10 +10246,12 @@ function evaluatePassageName(expr, evaluate, { storyData, currentPassage }) {
 var WIDGET_PARAMETERS = [{
 	name: "name",
 	type: "text",
+	holds: "text",
 	required: true
 }, {
 	name: "parameters",
-	type: "text"
+	type: "text",
+	holds: "text"
 }];
 /**
 * The widget a {widget} definition's arguments declare: its name and its
@@ -10233,6 +10283,17 @@ function blockWidgetNames(passages) {
 	}
 	return names;
 }
+/** The parameters of the built-in sub-macros that take arguments. */
+var SUB_MACRO_PARAMETERS = new Map([["option", [{
+	name: "value",
+	type: "string",
+	holds: "text",
+	required: true
+}]]]);
+/** The parameters of the built-in sub-macro `name`, if it takes any. */
+function subMacroParameters(name) {
+	return SUB_MACRO_PARAMETERS.get(name.toLowerCase());
+}
 //#endregion
 //#region src/code-check.ts
 /** While a pass runs: the code it parsed so far, by goal and source. */
@@ -10270,30 +10331,59 @@ var CONDITION_MACROS = new Set([
 	"elseif",
 	"case"
 ]);
-/** Code inside the quoted strings of a macro's arguments, by parameter. */
-var CODE_IN_STRINGS = new Map([["watch", {
-	condition: "expression",
-	run: "statements"
-}]]);
-/** The `string` parameters of a macro that name a passage. */
-var PASSAGE_STRINGS = new Map([["watch", ["goto", "dialog"]]]);
-/**
-* The `text` and `string` parameters of a macro that the runtime keeps as
-* written, not as markup: an option's value, the name of a watcher.
-*/
-var LITERAL_STRINGS = new Map([
-	["option", ["value"]],
-	["watch", ["name"]],
-	["unwatch", ["name"]]
-]);
 /** Block macros whose body is the name of a passage. */
 var PASSAGE_BODIES = new Set(["dialog"]);
+/**
+* `params` with each `string` and `text` parameter (options too) saying
+* what it holds: what it declares, else `holds`.
+*/
+function withHolds(params, holds) {
+	return params.map((param) => {
+		if (param.parameters) return {
+			...param,
+			parameters: withHolds(param.parameters, holds)
+		};
+		return (param.type === "string" || param.type === "text") && !param.holds ? {
+			...param,
+			holds
+		} : param;
+	});
+}
+/**
+* The declared parameters of `macros`, by name in any case, and of the
+* built-in sub-macros (`{option}`): what the story-start check, reference
+* collection and tooling read arguments by. Each `string` and `text`
+* parameter says what it holds: what it declares, else `markup` for a macro
+* with `interpolate` (which can resolve markup) and `text` for any other.
+*/
+function parameterLookup(macros) {
+	const parameters = new NameMap();
+	for (const { name, parameters: params, interpolate } of macros) if (params) parameters.set(name, withHolds(params, holdsByDefault(interpolate)));
+	return (name) => {
+		let params = parameters.get(name);
+		if (!params) {
+			const sub = subMacroParameters(name);
+			if (sub) parameters.set(name, params = withHolds(sub, "text"));
+		}
+		return params;
+	};
+}
+/** What a `string` or `text` argument holds when its parameter doesn't say. */
+var holdsByDefault = (interpolate) => interpolate ? "markup" : "text";
 /** The goal of the code an argument of this type holds, if it is code. */
 function codeGoal(param) {
 	if (param.type === "expression" || param.type === "passage") return "expression";
 	if (param.type === "statements") return "statements";
 }
 /**
+* What a `string` or `text` argument holds: what its parameter says (see
+* parameterLookup), else markup, which is checked.
+*/
+function stringHolds(param) {
+	if (param.type !== "string" && param.type !== "text") return void 0;
+	return param.holds ?? "markup";
+}
+/**
 * The code and the markup-holding text in `tokens`, the tokens of `src`.
 * `parametersOf` gives the declared parameters of a macro, if it has any.
 */
@@ -10305,8 +10395,8 @@ function* codeAndText(src, tokens, parametersOf) {
 		if (token.type === "link") yield {
 			kind: "passage",
 			name: token.target,
-			offset: locate(src, token.target, token.start),
-			length: token.target.length,
+			offset: token.targetStart,
+			length: token.targetEnd - token.targetStart,
 			macro: "link",
 			label: src.slice(token.start, token.end)
 		};
@@ -10317,32 +10407,35 @@ function* codeAndText(src, tokens, parametersOf) {
 			goal: "expression",
 			label: `{${token.expression}}`
 		};
-		else if (token.type === "html") for (const [name, value] of Object.entries(token.attributes)) {
-			const at = locate(src, value, token.start);
-			if (!isCodeAttribute(name)) {
-				yield {
-					kind: "text",
-					text: value,
-					offset: at,
-					where: `In the ${name} attribute of <${token.tag}>: `
-				};
-				continue;
-			}
-			let from = 0;
-			for (const part of splitSigilTemplate(value)) {
-				if (!("expr" in part)) continue;
-				const k = locate(value, part.expr, from);
-				from = k + part.expr.length;
-				yield {
-					kind: "code",
-					code: part.expr,
-					offset: at + k,
-					goal: "expression",
-					label: `{${part.expr}} in the ${name} attribute of <${token.tag}>`
-				};
+		else if (token.type === "html") {
+			let cursor = token.start;
+			for (const [name, value] of Object.entries(token.attributes)) {
+				const at = locate(src, value, cursor);
+				cursor = at + value.length;
+				if (!isCodeAttribute(name)) {
+					yield {
+						kind: "text",
+						text: value,
+						offset: at,
+						where: `In the ${name} attribute of <${token.tag}>: `
+					};
+					continue;
+				}
+				let from = 0;
+				for (const part of splitSigilTemplate(value)) {
+					if (!("expr" in part)) continue;
+					const k = locate(value, part.expr, from);
+					from = k + part.expr.length;
+					yield {
+						kind: "code",
+						code: part.expr,
+						offset: at + k,
+						goal: "expression",
+						label: `{${part.expr}} in the ${name} attribute of <${token.tag}>`
+					};
+				}
 			}
-		}
-		else if (token.type === "macro" && !token.isClose) {
+		} else if (token.type === "macro" && !token.isClose) {
 			const name = token.name.toLowerCase();
 			if (name === "do") {
 				const close = closeOf(t, name);
@@ -10362,12 +10455,13 @@ function* codeAndText(src, tokens, parametersOf) {
 				const close = closeOf(t, name);
 				const body = tokens.slice(t + 1, close);
 				if (close > t + 1 && body.every((b) => b.type === "text")) {
-					const passage = src.slice(token.end, tokens[close].start).trim().replace(/^["']|["']$/g, "");
+					const text = src.slice(token.end, tokens[close].start);
+					const written = text.trim();
 					yield {
 						kind: "passage",
-						name: passage,
-						offset: locate(src, passage, token.end),
-						length: passage.length,
+						name: written.replace(/^["']|["']$/g, ""),
+						offset: token.end + text.indexOf(written),
+						length: written.length,
 						macro: name,
 						label: src.slice(token.start, token.end)
 					};
@@ -10375,7 +10469,8 @@ function* codeAndText(src, tokens, parametersOf) {
 			}
 			if (!args) continue;
 			const label = `{${token.name} ${args}}`;
-			const argsAt = locate(src, args, token.start + 1);
+			const tag = src.slice(token.start, token.end - 1);
+			const argsAt = token.start + tag.trimEnd().length - args.length;
 			if (CONDITION_MACROS.has(name)) {
 				yield {
 					kind: "code",
@@ -10394,8 +10489,9 @@ function* codeAndText(src, tokens, parametersOf) {
 /** The code and text in the arguments `args` (at `offset`) of `macro`. */
 function* argPieces(args, offset, params, macro, label) {
 	let values;
+	const spans = /* @__PURE__ */ new Map();
 	try {
-		values = parseMacroArgs(args, params);
+		values = parseMacroArgs(args, params, spans);
 	} catch (error) {
 		if (!(error instanceof MacroArgumentError)) throw error;
 		yield {
@@ -10406,11 +10502,7 @@ function* argPieces(args, offset, params, macro, label) {
 		};
 		return;
 	}
-	const key = macro.toLowerCase();
-	const inStrings = CODE_IN_STRINGS.get(key) ?? {};
-	const passageStrings = PASSAGE_STRINGS.get(key) ?? [];
-	const literalStrings = LITERAL_STRINGS.get(key) ?? [];
-	let cursor = 0;
+	const name = macro.toLowerCase();
 	/** The pieces of the parameters `list`, with their values in `from`. */
 	function* visit(list, from) {
 		for (const param of list) {
@@ -10419,47 +10511,62 @@ function* argPieces(args, offset, params, macro, label) {
 				yield* visit(param.parameters, value ?? {});
 				continue;
 			}
-			if (typeof value !== "string" || !value.trim()) continue;
-			const at = locate(args, value, cursor);
-			if (at >= cursor) cursor = at + value.length;
-			const goal = codeGoal(param) ?? inStrings[param.name];
+			const span = spans.get(param);
+			if (typeof value !== "string" || !value.trim() || !span) continue;
+			const [start, end] = span;
+			const written = args.slice(start, end);
+			/** The name as written (quotes included), at the argument. */
+			const passage = (passageName) => ({
+				kind: "passage",
+				name: passageName,
+				offset: offset + start,
+				length: end - start,
+				macro: name,
+				label
+			});
+			const goal = codeGoal(param);
+			if (param.type === "passage") {
+				const target = passageTarget(value);
+				if (target.kind === "name") {
+					yield passage(target.name);
+					continue;
+				}
+			}
 			if (goal) {
 				const piece = {
 					kind: "code",
 					code: value,
-					offset: offset + at,
+					offset: offset + start,
 					goal,
 					label
 				};
 				if (param.type === "passage") {
 					piece.passage = true;
-					piece.macro = macro.toLowerCase();
+					piece.macro = name;
 				}
-				if (!codeGoal(param)) piece.inString = true;
 				yield piece;
+				continue;
 			}
-			const written = param.type === "passage" ? value.trim() : value;
-			const target = param.type === "passage" ? passageTarget(value) : passageStrings.includes(param.name) ? {
-				kind: "name",
-				name: value
-			} : null;
-			if (target?.kind === "name") yield {
-				kind: "passage",
-				name: target.name,
-				offset: offset + at + value.indexOf(written),
-				length: written.length,
-				macro: macro.toLowerCase(),
-				label
+			const at = offset + start + (value !== written && /^["']/.test(written) ? 1 : 0);
+			const holds = stringHolds(param);
+			if (holds === "expression" || holds === "statements") yield {
+				kind: "code",
+				code: value,
+				offset: at,
+				goal: holds,
+				label,
+				inString: true
 			};
-			if (!goal && (param.type === "text" || param.type === "string") && !literalStrings.includes(param.name)) yield {
+			else if (holds === "passage") yield passage(value);
+			else if (holds === "markup") yield {
 				kind: "text",
 				text: value,
-				offset: offset + at,
+				offset: at,
 				where: `In the ${param.name} of {${macro}}: `
 			};
 		}
 	}
-	yield* visit(params, values);
+	yield* [...visit(params, values)].sort((a, b) => a.offset - b.offset);
 }
 /**
 * Index of `part` in `text` from `from` on, else anywhere, else `from`: the
@@ -10475,9 +10582,10 @@ function locate(text, part, from) {
 * The passages the markup `src` (with the `tokens` it tokenizes to) names:
 * `[[…]]` links, the passage argument of `{goto}`, `{include}` and `{link}`
 * (and of macros that declare one), the `goto` and `dialog` actions of
-* `{watch}` and the body of `{dialog}`, in source order. A name written out
-* is a literal; the others are expressions, which name a passage when they
-* run.
+* `{watch}` (and the `string` and `text` arguments of macros that declare
+* they hold one) and the body of `{dialog}`, in source order. A name written
+* out is a literal; the others are expressions, which name a passage when
+* they run.
 */
 function collectPassageReferences(src, tokens, parametersOf) {
 	const refs = [];
@@ -10492,21 +10600,14 @@ function collectPassageReferences(src, tokens, parametersOf) {
 	});
 	else if (piece.kind === "code" && piece.passage) refs.push({
 		macro: piece.macro,
-		target: passageTarget(piece.code),
+		target: {
+			kind: "expression",
+			expression: piece.code
+		},
 		start: piece.offset,
 		end: piece.offset + piece.code.length
 	});
-	return refs.filter((ref, i) => refs.findIndex((r) => r.start === ref.start && r.macro === ref.macro) === i);
-}
-/** The parameters of the built-in sub-macros that take arguments. */
-var SUB_MACRO_PARAMETERS = new Map([["option", [{
-	name: "value",
-	type: "string",
-	required: true
-}]]]);
-/** The parameters of the built-in sub-macro `name`, if it takes any. */
-function subMacroParameters(name) {
-	return SUB_MACRO_PARAMETERS.get(name.toLowerCase());
+	return refs;
 }
 //#endregion
 //#region src/markup/validate.ts
@@ -10636,7 +10737,7 @@ function validateMarkup(passages, options) {
 			report(passage, base + token.start, `${where}Unknown macro {${token.name}}.${didYouMean(token.name, names, (n) => `{${n}}`)}`);
 		}
 	};
-	const parametersOf = (name) => options.parametersOf?.(name) ?? subMacroParameters(name);
+	const parametersOf = options.parametersOf ?? (() => void 0);
 	/**
 	* Check `tokens`, the tokens of `src`, which starts at `base` in the
 	* passage: their macros, the code in them and the markup in their text.
@@ -10719,20 +10820,45 @@ var PARAMETER_TYPES = [
 	"options"
 ];
 /**
+* What the value of a `string` or `text` argument holds, for the check at
+* story start and for tooling (see code-check.ts):
+* - `markup`: markup the macro renders (`{button}`'s label): its markup
+*   is checked.
+* - `text`: plain text the macro uses as written (`{checkbox}`'s label).
+* - `passage`: a passage name (`{watch}`'s `goto`): the passage must exist.
+* - `expression`, `statements`: code (`{watch}`'s condition and `run`): it
+*   is checked as code, and its variable references against the schema.
+*
+* Without it, the argument of a macro with `interpolate` holds `markup`,
+* any other `text`.
+*/
+var STRING_HOLDS = [
+	"markup",
+	"text",
+	"passage",
+	"expression",
+	"statements"
+];
+/**
 * Throw if a parameter `macro` declares (or an option of one) has no type,
 * or one that isn't a ParameterType: arguments are read by their type, and
-* there is no default.
+* there is no default. Throw too if it declares what it `holds` wrongly.
 */
 function checkParameterTypes(macro, parameters) {
+	const holdsFix = `Give a \`string\` or \`text\` parameter one of ${STRING_HOLDS.join(", ")} to hold (see docs/custom-macros.md#what-a-string-holds).`;
 	for (const param of parameters) {
 		const type = param.type;
-		if (!PARAMETER_TYPES.includes(type)) {
-			const problem = type === void 0 ? "has no type" : `has the unknown type ${JSON.stringify(type)}`;
-			throw new Error(`spindle: The parameter "${param.name}" of the macro {${macro}} ${problem}. Give it one of the types ${PARAMETER_TYPES.join(", ")} (see docs/custom-macros.md#parameter-types), or declare no parameters and read props.rawArgs.`);
-		}
+		if (!PARAMETER_TYPES.includes(type)) throw parameterError(macro, param, type === void 0 ? "has no type" : `has the unknown type ${JSON.stringify(type)}`, `Give it one of the types ${PARAMETER_TYPES.join(", ")} (see docs/custom-macros.md#parameter-types), or declare no parameters and read props.rawArgs.`);
+		const holds = param.holds;
+		if (holds !== void 0 && type !== "string" && type !== "text") throw parameterError(macro, param, `is of the type ${type}, which holds what it is`, holdsFix);
+		if (holds !== void 0 && !STRING_HOLDS.includes(holds)) throw parameterError(macro, param, `holds the unknown ${JSON.stringify(holds)}`, holdsFix);
 		if (param.parameters) checkParameterTypes(macro, param.parameters);
 	}
 }
+/** The error for the parameter `param` of `macro`: what is wrong, and the fix. */
+function parameterError(macro, param, problem, fix) {
+	return /* @__PURE__ */ new Error(`spindle: The parameter "${param.name}" of the macro {${macro}} ${problem}. ${fix}`);
+}
 new NameMap();
 //#endregion
 //#region src/utils/namespace.ts
@@ -10918,20 +11044,19 @@ var transformCache = /* @__PURE__ */ new Map();
 */
 function validateStoryMarkup(passages, macros, options = {}) {
 	const list = [...passages];
+	const all = [...macros];
 	const known = /* @__PURE__ */ new Set();
-	const parameters = /* @__PURE__ */ new Map();
 	const blocks = new Set(blockWidgetNames(list).map((n) => n.toLowerCase()));
-	for (const macro of macros) {
+	for (const macro of all) {
 		const name = macro.name.toLowerCase();
 		known.add(name);
-		parameters.set(name, macro.parameters);
 		for (const sub of macro.subMacros) known.add(sub.toLowerCase());
 		if (macro.block) blocks.add(name);
 	}
 	return validateMarkup(list, {
 		isKnownMacro: (name) => known.has(name),
 		macroNames: known,
-		parametersOf: (name) => parameters.get(name),
+		parametersOf: parameterLookup(all),
 		isBlockMacro: (name) => blocks.has(name.toLowerCase()) || isBlockMacro(name),
 		checkPassageNames: options.checkPassageNames
 	});
@@ -10942,10 +11067,8 @@ function validateStoryMarkup(passages, macros, options = {}) {
 * skipped, so it reads half-typed markup.
 */
 function collectStoryPassageReferences(source, macros) {
-	const parameters = /* @__PURE__ */ new Map();
-	for (const macro of macros) parameters.set(macro.name.toLowerCase(), macro.parameters);
 	const { tokens } = tokenizeMarkupTolerant(source);
-	return collectPassageReferences(source, tokens, (name) => parameters.get(name.toLowerCase()) ?? subMacroParameters(name));
+	return collectPassageReferences(source, tokens, parameterLookup(macros));
 }
 //#endregion
 export { MarkupError, SIGIL_SCOPES, checkParameterTypes, collectStoryPassageReferences, endsWithOperator, evaluatePassageName, findCodeEnd, formatDiagnostic, isSigil, lexJs, lexTemplate, parseSelectors, parseStoryVariables, passageTarget, readQuoted, scanStringLiteral, splitArgs, splitIncludeFlag, splitTopLevel, stripLooseQuotes, tokenizeMarkup, tokenizeMarkupTolerant, transform, unescapeQuoted, validateStoryMarkup };