ErrorsValues 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_ quotes
Markdown for agents: /docs/errors/syntax.string_quotes.md.Built from Jadpo main at aee2e8f.