Values and types · rule
syntax.string_quotes
String in single quotes or backticks.
Area 2, Values and types; not declinable; the next step is usually the agent's.
Strings are in double quotes.
type Code = Text { pattern: '^[a-z]+$'}
error: Jadpo writes strings in double quotes --> main.jadpo:2:14 |2 | pattern: '^[a-z]+$' | ^^^^^^^^^^ write `"` reason: Single quotes enclose text in Python, JavaScript and SQL, and a character in Rust, Java, C# and Kotlin, and backticks a template in JavaScript; Jadpo has one kind of string, in double quotes. next: Write `"^[a-z]+$"` (agent) rule: syntax.string_quotes help: https://jadpo.dev/docs/errors/syntax.string_quotescheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/syntax.string_quotes.md.Built from Jadpo main at a707efb.