| // Copyright 2016 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. |
| // |
| // Check the macro follow sets (see corresponding rpass test). |
| |
| // FOLLOW(pat) = {FatArrow, Comma, Eq, Or, Ident(if), Ident(in)} |
| macro_rules! follow_pat { |
| ($p:pat ()) => {}; //~ERROR `$p:pat` is followed by `(` |
| ($p:pat []) => {}; //~ERROR `$p:pat` is followed by `[` |
| ($p:pat {}) => {}; //~ERROR `$p:pat` is followed by `{` |
| ($p:pat :) => {}; //~ERROR `$p:pat` is followed by `:` |
| ($p:pat >) => {}; //~ERROR `$p:pat` is followed by `>` |
| ($p:pat +) => {}; //~ERROR `$p:pat` is followed by `+` |
| ($p:pat ident) => {}; //~ERROR `$p:pat` is followed by `ident` |
| ($p:pat $p:pat) => {}; //~ERROR `$p:pat` is followed by `$p:pat` |
| ($p:pat $e:expr) => {}; //~ERROR `$p:pat` is followed by `$e:expr` |
| ($p:pat $t:ty) => {}; //~ERROR `$p:pat` is followed by `$t:ty` |
| ($p:pat $s:stmt) => {}; //~ERROR `$p:pat` is followed by `$s:stmt` |
| ($p:pat $p:path) => {}; //~ERROR `$p:pat` is followed by `$p:path` |
| ($p:pat $b:block) => {}; //~ERROR `$p:pat` is followed by `$b:block` |
| ($p:pat $i:ident) => {}; //~ERROR `$p:pat` is followed by `$i:ident` |
| ($p:pat $t:tt) => {}; //~ERROR `$p:pat` is followed by `$t:tt` |
| ($p:pat $i:item) => {}; //~ERROR `$p:pat` is followed by `$i:item` |
| ($p:pat $m:meta) => {}; //~ERROR `$p:pat` is followed by `$m:meta` |
| } |
| // FOLLOW(expr) = {FatArrow, Comma, Semicolon} |
| macro_rules! follow_expr { |
| ($e:expr ()) => {}; //~ERROR `$e:expr` is followed by `(` |
| ($e:expr []) => {}; //~ERROR `$e:expr` is followed by `[` |
| ($e:expr {}) => {}; //~ERROR `$e:expr` is followed by `{` |
| ($e:expr =) => {}; //~ERROR `$e:expr` is followed by `=` |
| ($e:expr |) => {}; //~ERROR `$e:expr` is followed by `|` |
| ($e:expr :) => {}; //~ERROR `$e:expr` is followed by `:` |
| ($e:expr >) => {}; //~ERROR `$e:expr` is followed by `>` |
| ($e:expr +) => {}; //~ERROR `$e:expr` is followed by `+` |
| ($e:expr ident) => {}; //~ERROR `$e:expr` is followed by `ident` |
| ($e:expr if) => {}; //~ERROR `$e:expr` is followed by `if` |
| ($e:expr in) => {}; //~ERROR `$e:expr` is followed by `in` |
| ($e:expr $p:pat) => {}; //~ERROR `$e:expr` is followed by `$p:pat` |
| ($e:expr $e:expr) => {}; //~ERROR `$e:expr` is followed by `$e:expr` |
| ($e:expr $t:ty) => {}; //~ERROR `$e:expr` is followed by `$t:ty` |
| ($e:expr $s:stmt) => {}; //~ERROR `$e:expr` is followed by `$s:stmt` |
| ($e:expr $p:path) => {}; //~ERROR `$e:expr` is followed by `$p:path` |
| ($e:expr $b:block) => {}; //~ERROR `$e:expr` is followed by `$b:block` |
| ($e:expr $i:ident) => {}; //~ERROR `$e:expr` is followed by `$i:ident` |
| ($e:expr $t:tt) => {}; //~ERROR `$e:expr` is followed by `$t:tt` |
| ($e:expr $i:item) => {}; //~ERROR `$e:expr` is followed by `$i:item` |
| ($e:expr $m:meta) => {}; //~ERROR `$e:expr` is followed by `$m:meta` |
| } |
| // FOLLOW(ty) = {OpenDelim(Brace), Comma, FatArrow, Colon, Eq, Gt, Semi, Or, |
| // Ident(as), Ident(where), OpenDelim(Bracket), Nonterminal(Block)} |
| macro_rules! follow_ty { |
| ($t:ty ()) => {}; //~ERROR `$t:ty` is followed by `(` |
| ($t:ty []) => {}; // ok (RFC 1462) |
| ($t:ty +) => {}; //~ERROR `$t:ty` is followed by `+` |
| ($t:ty ident) => {}; //~ERROR `$t:ty` is followed by `ident` |
| ($t:ty if) => {}; //~ERROR `$t:ty` is followed by `if` |
| ($t:ty $p:pat) => {}; //~ERROR `$t:ty` is followed by `$p:pat` |
| ($t:ty $e:expr) => {}; //~ERROR `$t:ty` is followed by `$e:expr` |
| ($t:ty $t:ty) => {}; //~ERROR `$t:ty` is followed by `$t:ty` |
| ($t:ty $s:stmt) => {}; //~ERROR `$t:ty` is followed by `$s:stmt` |
| ($t:ty $p:path) => {}; //~ERROR `$t:ty` is followed by `$p:path` |
| ($t:ty $b:block) => {}; // ok (RFC 1494) |
| ($t:ty $i:ident) => {}; //~ERROR `$t:ty` is followed by `$i:ident` |
| ($t:ty $t:tt) => {}; //~ERROR `$t:ty` is followed by `$t:tt` |
| ($t:ty $i:item) => {}; //~ERROR `$t:ty` is followed by `$i:item` |
| ($t:ty $m:meta) => {}; //~ERROR `$t:ty` is followed by `$m:meta` |
| } |
| // FOLLOW(stmt) = FOLLOW(expr) |
| macro_rules! follow_stmt { |
| ($s:stmt ()) => {}; //~ERROR `$s:stmt` is followed by `(` |
| ($s:stmt []) => {}; //~ERROR `$s:stmt` is followed by `[` |
| ($s:stmt {}) => {}; //~ERROR `$s:stmt` is followed by `{` |
| ($s:stmt =) => {}; //~ERROR `$s:stmt` is followed by `=` |
| ($s:stmt |) => {}; //~ERROR `$s:stmt` is followed by `|` |
| ($s:stmt :) => {}; //~ERROR `$s:stmt` is followed by `:` |
| ($s:stmt >) => {}; //~ERROR `$s:stmt` is followed by `>` |
| ($s:stmt +) => {}; //~ERROR `$s:stmt` is followed by `+` |
| ($s:stmt ident) => {}; //~ERROR `$s:stmt` is followed by `ident` |
| ($s:stmt if) => {}; //~ERROR `$s:stmt` is followed by `if` |
| ($s:stmt in) => {}; //~ERROR `$s:stmt` is followed by `in` |
| ($s:stmt $p:pat) => {}; //~ERROR `$s:stmt` is followed by `$p:pat` |
| ($s:stmt $e:expr) => {}; //~ERROR `$s:stmt` is followed by `$e:expr` |
| ($s:stmt $t:ty) => {}; //~ERROR `$s:stmt` is followed by `$t:ty` |
| ($s:stmt $s:stmt) => {}; //~ERROR `$s:stmt` is followed by `$s:stmt` |
| ($s:stmt $p:path) => {}; //~ERROR `$s:stmt` is followed by `$p:path` |
| ($s:stmt $b:block) => {}; //~ERROR `$s:stmt` is followed by `$b:block` |
| ($s:stmt $i:ident) => {}; //~ERROR `$s:stmt` is followed by `$i:ident` |
| ($s:stmt $t:tt) => {}; //~ERROR `$s:stmt` is followed by `$t:tt` |
| ($s:stmt $i:item) => {}; //~ERROR `$s:stmt` is followed by `$i:item` |
| ($s:stmt $m:meta) => {}; //~ERROR `$s:stmt` is followed by `$m:meta` |
| } |
| // FOLLOW(path) = FOLLOW(ty) |
| macro_rules! follow_path { |
| ($p:path ()) => {}; //~ERROR `$p:path` is followed by `(` |
| ($p:path []) => {}; // ok (RFC 1462) |
| ($p:path +) => {}; //~ERROR `$p:path` is followed by `+` |
| ($p:path ident) => {}; //~ERROR `$p:path` is followed by `ident` |
| ($p:path if) => {}; //~ERROR `$p:path` is followed by `if` |
| ($p:path $p:pat) => {}; //~ERROR `$p:path` is followed by `$p:pat` |
| ($p:path $e:expr) => {}; //~ERROR `$p:path` is followed by `$e:expr` |
| ($p:path $t:ty) => {}; //~ERROR `$p:path` is followed by `$t:ty` |
| ($p:path $s:stmt) => {}; //~ERROR `$p:path` is followed by `$s:stmt` |
| ($p:path $p:path) => {}; //~ERROR `$p:path` is followed by `$p:path` |
| ($p:path $b:block) => {}; // ok (RFC 1494) |
| ($p:path $i:ident) => {}; //~ERROR `$p:path` is followed by `$i:ident` |
| ($p:path $t:tt) => {}; //~ERROR `$p:path` is followed by `$t:tt` |
| ($p:path $i:item) => {}; //~ERROR `$p:path` is followed by `$i:item` |
| ($p:path $m:meta) => {}; //~ERROR `$p:path` is followed by `$m:meta` |
| } |
| // FOLLOW(block) = any token |
| // FOLLOW(ident) = any token |
| |
| fn main() {} |
| |