X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Flanguage.texi;h=78d38acdc6f0813fe2e1666fa7ddfa8b5bb69c31;hb=20751c90d1d6131fede84358ea2581d9ed443ae3;hp=19c9a6b9dc72593d76ec80ba7ba4722bf71e3772;hpb=f550aee00a62fe1d8baf62d83cd7efef6cc2ee92;p=pspp-builds.git diff --git a/doc/language.texi b/doc/language.texi index 19c9a6b9..78d38acd 100644 --- a/doc/language.texi +++ b/doc/language.texi @@ -112,8 +112,7 @@ significant inside strings. Strings can be concatenated using @samp{+}, so that @samp{"a" + 'b' + 'c'} is equivalent to @samp{'abc'}. Concatenation is useful for -splitting a single string across multiple source lines. The maximum -length of a string, after concatenation, is 255 characters. +splitting a single string across multiple source lines. Strings may also be expressed as hexadecimal, octal, or binary character values by prefixing the initial quote character by @samp{X}, @@ -148,11 +147,6 @@ punctuator only as the last character on a line (except white space). When it is the last non-space character on a line, a period is not treated as part of another token, even if it would otherwise be part of, e.g.@:, an identifier or a floating-point number. - -Actually, the character that ends a command can be changed with -@cmd{SET}'s ENDCMD subcommand (@pxref{SET}), but we do not recommend -doing so. Throughout the remainder of this manual we will assume that -the default setting is in effect. @end table @node Commands @@ -180,9 +174,7 @@ by a forward slash (@samp{/}). There are multiple ways to mark the end of a command. The most common way is to end the last line of the command with a period (@samp{.}) as described in the previous section (@pxref{Tokens}). A blank line, or -one that consists only of white space or comments, also ends a command -by default, although you can use the NULLINE subcommand of @cmd{SET} -to disable this feature (@pxref{SET}). +one that consists only of white space or comments, also ends a command. @node Syntax Variants @section Variants of syntax.