---

yaml
---
r: 15678
b: refs/heads/try
c: 5eca3c2
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: 21dc41649bc48cea25dd498c3e11d6f9c50f0aee
+refs/heads/try: 5eca3c2210964e8987fea250224544b22a6f6520
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/src/librustsyntax/parse/common.rs

@@ -95,14 +95,18 @@ fn check_restricted_keywords(p: parser) {
     alt p.token {
       token::IDENT(_, false) {
         let w = token_to_str(p.reader, p.token);
-        if is_restricted_keyword(p, w) {
-            p.fatal("found `" + w + "` in expression position");
-        }
+        check_restricted_keywords_(p, w);
       }
       _ { }
     }
 }
 
+fn check_restricted_keywords_(p: parser, w: ast::ident) {
+    if is_restricted_keyword(p, w) {
+        p.fatal("found `" + w + "` in restricted position");
+    }
+}
+
 fn expect_gt(p: parser) {
     if p.token == token::GT {
         p.bump();

branches/try/src/librustsyntax/parse/parser.rs

@@ -1384,7 +1384,11 @@ fn parse_pat(p: parser) -> @ast::pat {
             }
 
             let lo1 = p.last_span.lo;
-            let fieldname = parse_ident(p);
+            let fieldname = if p.look_ahead(1u) == token::COLON {
+                parse_ident(p)
+            } else {
+                parse_value_ident(p)
+            };
             let hi1 = p.last_span.lo;
             let fieldpath = ast_util::ident_to_path(mk_sp(lo1, hi1),
                                           fieldname);
@@ -1393,9 +1397,6 @@ fn parse_pat(p: parser) -> @ast::pat {
                 p.bump();
                 subpat = parse_pat(p);
             } else {
-                if is_restricted_keyword(p, fieldname) {
-                    p.fatal("found `" + fieldname + "` in binding position");
-                }
                 subpat = @{id: p.get_id(),
                            node: ast::pat_ident(fieldpath, none),
                            span: mk_sp(lo, hi)};
@@ -2147,9 +2148,7 @@ fn parse_item_enum(p: parser, attrs: [ast::attribute]) -> @ast::item {
     let mut variants: [ast::variant] = [];
     // Newtype syntax
     if p.token == token::EQ {
-        if is_restricted_keyword(p, id) {
-            p.fatal("found `" + id + "` in enum constructor position");
-        }
+        check_restricted_keywords_(p, id);
         p.bump();
         let ty = parse_ty(p, false);
         expect(p, token::SEMI);

branches/try/src/test/compile-fail/bad-value-ident-false.rs

@@ -1,2 +1,2 @@
-fn false() { } //! ERROR found `false` in expression position
+fn false() { } //! ERROR found `false` in restricted position
 fn main() { }

branches/try/src/test/compile-fail/bad-value-ident-true.rs

@@ -1,2 +1,2 @@
-fn true() { } //! ERROR found `true` in expression position
+fn true() { } //! ERROR found `true` in restricted position
 fn main() { }

branches/try/src/test/compile-fail/restricted-keyword1.rs

@@ -1,4 +1,4 @@
-// error-pattern:found `let` in binding position
+// error-pattern:found `let` in restricted position
 
 fn main() {
     alt true {

branches/try/src/test/compile-fail/restricted-keyword2.rs

@@ -1,4 +1,4 @@
-// error-pattern:found `let` in enum constructor position
+// error-pattern:found `let` in restricted position
 
 fn main() {
     enum let = int;