summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--NEWS2
-rw-r--r--src/global_checks.ml1
-rw-r--r--src/lexer.mll1
3 files changed, 4 insertions, 0 deletions
diff --git a/NEWS b/NEWS
index 8efcd18..6361288 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,5 @@
+- recognize "state"
+
Version 1.2.9 - 17 September 2008, by Thierry Vignaud
- fake_packages:
diff --git a/src/global_checks.ml b/src/global_checks.ml
index 8425ee3..800bb54 100644
--- a/src/global_checks.ml
+++ b/src/global_checks.ml
@@ -245,6 +245,7 @@ let declare_Our vars (ours, pos) =
let declare_My_our vars (my_or_our, l, pos) =
match my_or_our with
+ | "state"
| "my" -> declare_My vars (l, pos)
| "local"
| "our" -> declare_Our vars (l, pos)
diff --git a/src/lexer.mll b/src/lexer.mll
index b25e08c..42f0ddb 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -530,6 +530,7 @@ rule token = parse
| "for" { FOR(lexeme lexbuf, pos lexbuf) }
| "my" { MY_OUR(lexeme lexbuf, pos lexbuf) }
| "our" { MY_OUR(lexeme lexbuf, pos lexbuf) }
+| "state" { MY_OUR(lexeme lexbuf, pos lexbuf) }
| "local" { LOCAL(pos lexbuf) }
| "continue" { CONTINUE(pos lexbuf) }
| "sub" { SUB(pos lexbuf) }