From ceaa82c6d1564b2ca7965c4f29b51f45ad1c2933 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 3 Sep 2020 22:15:24 -0400 Subject: Highlight quotes as strings even if unpaired --- docs/doc/syntax.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/doc/syntax.html') diff --git a/docs/doc/syntax.html b/docs/doc/syntax.html index 42fe714a..aafb86d9 100644 --- a/docs/doc/syntax.html +++ b/docs/doc/syntax.html @@ -21,7 +21,7 @@ Comment -'" +'" Character or string literal @@ -102,7 +102,7 @@ ↗️
    ⟨ ¯π ⋄ 0.5 ⋄ 5e¯1 ⋄ 1.5E3 ⋄ ∞ ⟩   # A list of numbers
 ⟨ ¯3.14159265358979 0.5 0.5 1500 ∞ ⟩
-

Strings are written with double quotes "", and characters with single quotes '' with a single character in between. A double quote within a string can be escaped by writing it twice; if two string literals are next to each other, they must be separated by a space. In contrast, character literals do not use escapes, as the length is already known.

+

Strings are written with double quotes "", and characters with single quotes '' with a single character in between. A double quote within a string can be escaped by writing it twice; if two string literals are next to each other, they must be separated by a space. In contrast, character literals do not use escapes, as the length is already known.

↗️
    ≠¨ ⟨ "str" ⋄ "s't""r" ⋄ 'c' ⋄ ''' ⋄ '"' ⟩   # "" is an escape
 ⟨ 3 5 1 1 1 ⟩
 
-- 
cgit v1.2.3