From e4c702edaf91dee0e2a41dca61c55ae676f2ba0c Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Mon, 30 Jul 2018 16:46:16 +0200 Subject: [PATCH] fix brackets, title and document location --- backend/Builtin/Syntax.icl | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/backend/Builtin/Syntax.icl b/backend/Builtin/Syntax.icl index 1796dfd..5832401 100644 --- a/backend/Builtin/Syntax.icl +++ b/backend/Builtin/Syntax.icl @@ -78,7 +78,7 @@ EXs :: !String !String -> SyntaxExample EXs s c = {example=c, cleanjs_start=Just s} bs_basicvalues = - { syntax_title = "basicvalues" + { syntax_title = "basic values" , syntax_patterns = map exact ["'.'", "[+-]?\\d+", "[+-]?0[0-7]+", "[-+]?0x[0-9a-fA-F]+", "'.'", "True", "False", "E"] , syntax_code = ["0x...", "0...", "True", "False", "'...'", "...E..."] , syntax_description = @@ -86,19 +86,19 @@ bs_basicvalues = "Integers can be either defined in decimal (default), octal (`0` prefix) or hexadecimal (`0x` prefix).\n\n" + "Characters can either be printable characters (except `'`) or an escape sequence.\n\n" + "Reals can be suffixed by a power of ten in the scientific notation.\n\n" + - "Boolean values by their only inhabitants {{True}} and {{False}}.\n\n" + + "Boolean values by their only inhabitants {{`True`}} and {{`False`}}.\n\n" + "Basic values can also be pattern matched with these notations." - , syntax_doc_locations = [CLR 4 "1.1" "_Toc311798017"] + , syntax_doc_locations = [CLR 4 "4.1.1" "_Toc311798017"] , syntax_examples = map EX [ "(42, -42, +42) // Tuple with 42, -42 and 42 in decimal" , "(052, -052, +052) // Tuple with 42, -42 and 42 in octal" , "(0x2a, -0x2a, +0x2A) // Tuple with 42, -42 and 42 in hexadecimal" - , "('a', '\\x2a', '\\052') // Tuple with a normal character, a literal quote and twice the character with ordinal 42" + , "('a', '\\x2a', '\\052') // Tuple with a normal character, a literal quote and twice the character with ordinal 42" , "['\\n', '\\r', '\\f', '\\b', '\\t', '\\', '\'']\n" + - " //All character escapes" + " // All character escapes" , "(True, False) // All booleans in a tuple" , "(42.0, -42.0, 42E-10, +42.0E+10, -42.0E10)\n" + - " //Several reals" + " // Several reals" ] } -- GitLab