cleanup: s/impl Copy/#[derive(Copy)]/g

[rust.git] / src / etc / extract_grammar.py

diff --git a/src/etc/extract_grammar.py b/src/etc/extract_grammar.py
index 6066a1ebc9c52263fdcb14558e51df2cd67f9314..53781652902f5771eec5660a008062e2afa6f453 100755 (executable)
--- a/src/etc/extract_grammar.py
+++ b/src/etc/extract_grammar.py
@@ -1,4 +1,14 @@
 #!/usr/bin/env python
+#
+# Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT
+# file at the top-level directory of this distribution and at
+# http://rust-lang.org/COPYRIGHT.
+#
+# Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+# http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+# <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+# option. This file may not be copied, modified, or distributed
+# except according to those terms.
 
 # This script is for extracting the grammar from the rust docs.
 
@@ -86,9 +96,17 @@ symnames = {
 
 "::": "coloncolon",
 
+"->": "rightarrow",
+"<-": "leftarrow",
+"<->": "swaparrow",
+
 "//": "linecomment",
 "/*": "openblockcomment",
-"*/": "closeblockcomment"
+"*/": "closeblockcomment",
+"macro_rules": "macro_rules",
+"=>" : "eg",
+".." : "dotdot",
+","  : "comma"
 }
 
 lines = []