OSDN Git Service

Patch from James Morrison
authorwilson <wilson@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 5 Dec 2003 06:45:48 +0000 (06:45 +0000)
committerwilson <wilson@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 5 Dec 2003 06:45:48 +0000 (06:45 +0000)
* lex.l: Add \t as a whitespace character.
* treelang.texi (Lexical Syntax): Document a tab as whitespace.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@74311 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/treelang/ChangeLog
gcc/treelang/lex.l
gcc/treelang/treelang.texi

index 36865e3..d017977 100644 (file)
@@ -1,5 +1,8 @@
 2003-12-04  James A. Morrison  <ja2morri@uwaterloo.ca>
 
+       * lex.l: Add \t as a whitespace character.
+       * treelang.texi (Lexical Syntax): Document a tab as whitespace.
+
        * treelang.texi (What is GNU Treelang?): Fix a typo.
        (Lexical Syntax): Create an itemize list of keywords.  Add commas to
        paragraph defining names.
index 364bf02..12b211e 100644 (file)
@@ -78,7 +78,7 @@ static void dump_lex_value (int lexret);
    ((struct prod_token_parm_item *)yylval)->tp.tok.charno = next_tree_charno;
  }
 
-[ \n]+ {
+[ \n\t]+ {
   update_lineno_charno ();
     NOT_RETURN (WHITESPACE);
 }
index 77e5203..501c4bf 100644 (file)
@@ -399,8 +399,8 @@ Treelang programs consist of whitespace, comments, keywords and names.
 @itemize @bullet
 
 @item
-Whitespace consists of the space character and the end of line
-character. Tabs are not allowed. Line terminations are as defined by the
+Whitespace consists of the space character, a tab, and the end of line
+character.  Line terminations are as defined by the
 standard C library. Whitespace is ignored except within comments,
 and where it separates parts of the program. In the example below, A and
 B are two separate names separated by whitespace.