2016-06-20 05:57:34 -05:00
|
|
|
// 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.
|
|
|
|
|
|
|
|
#![allow(unused)]
|
|
|
|
|
2016-06-22 17:42:26 -05:00
|
|
|
fn f() {
|
2016-06-20 05:57:34 -05:00
|
|
|
let x = 0;
|
|
|
|
macro_rules! foo { () => {
|
|
|
|
assert_eq!(x, 0);
|
|
|
|
} }
|
|
|
|
|
|
|
|
let x = 1;
|
|
|
|
foo!();
|
2016-06-20 07:13:05 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn g() {
|
|
|
|
let x = 0;
|
2016-09-27 01:38:17 -05:00
|
|
|
macro_rules! m { ($m1:ident, $m2:ident, $x:ident) => {
|
|
|
|
macro_rules! $m1 { () => { ($x, x) } }
|
2016-06-20 07:13:05 -05:00
|
|
|
let x = 1;
|
2016-09-27 01:38:17 -05:00
|
|
|
macro_rules! $m2 { () => { ($x, x) } }
|
2016-06-20 07:13:05 -05:00
|
|
|
} }
|
|
|
|
|
|
|
|
let x = 2;
|
2016-09-27 01:38:17 -05:00
|
|
|
m!(m2, m3, x);
|
2016-06-20 07:13:05 -05:00
|
|
|
|
|
|
|
let x = 3;
|
|
|
|
assert_eq!(m2!(), (2, 0));
|
|
|
|
assert_eq!(m3!(), (2, 1));
|
|
|
|
|
|
|
|
let x = 4;
|
2016-09-27 01:38:17 -05:00
|
|
|
m!(m4, m5, x);
|
|
|
|
assert_eq!(m4!(), (4, 0));
|
|
|
|
assert_eq!(m5!(), (4, 1));
|
2016-06-20 05:57:34 -05:00
|
|
|
}
|
2016-06-22 17:42:26 -05:00
|
|
|
|
|
|
|
mod foo {
|
|
|
|
macro_rules! m {
|
|
|
|
($f:ident : |$x:ident| $e:expr) => {
|
|
|
|
pub fn $f() -> (i32, i32) {
|
|
|
|
let x = 0;
|
|
|
|
let $x = 1;
|
|
|
|
(x, $e)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
m!(f: |x| x + 10);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn interpolated_pattern() {
|
|
|
|
let x = 0;
|
|
|
|
macro_rules! m {
|
|
|
|
($p:pat, $e:expr) => {
|
|
|
|
let $p = 1;
|
|
|
|
assert_eq!((x, $e), (0, 1));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
m!(x, x);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn patterns_in_macro_generated_macros() {
|
|
|
|
let x = 0;
|
|
|
|
macro_rules! m {
|
|
|
|
($a:expr, $b:expr) => {
|
|
|
|
assert_eq!(x, 0);
|
|
|
|
let x = $a;
|
|
|
|
macro_rules! n {
|
|
|
|
() => {
|
|
|
|
(x, $b)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let x = 1;
|
|
|
|
m!(2, x);
|
|
|
|
|
|
|
|
let x = 3;
|
|
|
|
assert_eq!(n!(), (2, 1));
|
|
|
|
}
|
|
|
|
|
|
|
|
fn match_hygiene() {
|
|
|
|
let x = 0;
|
|
|
|
|
|
|
|
macro_rules! m {
|
|
|
|
($p:pat, $e:expr) => {
|
|
|
|
for result in &[Ok(1), Err(1)] {
|
|
|
|
match *result {
|
|
|
|
$p => { assert_eq!(($e, x), (1, 0)); }
|
|
|
|
Err(x) => { assert_eq!(($e, x), (2, 1)); }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let x = 2;
|
|
|
|
m!(Ok(x), x);
|
|
|
|
}
|
|
|
|
|
2016-07-15 00:23:55 -05:00
|
|
|
fn label_hygiene() {
|
|
|
|
'a: loop {
|
|
|
|
macro_rules! m { () => { break 'a; } }
|
|
|
|
m!();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-06-22 17:42:26 -05:00
|
|
|
fn main() {
|
|
|
|
f();
|
|
|
|
g();
|
|
|
|
assert_eq!(foo::f(), (0, 11));
|
|
|
|
interpolated_pattern();
|
|
|
|
patterns_in_macro_generated_macros();
|
|
|
|
match_hygiene();
|
|
|
|
}
|