diff options
| author | Jared Roesch <roeschinc@gmail.com> | 2015-07-25 23:53:23 -0700 |
|---|---|---|
| committer | Jared Roesch <roeschinc@gmail.com> | 2015-08-04 16:05:07 -0700 |
| commit | 0bb5a1a8249e3c5b97b4e60a2ab37cc5a2300306 (patch) | |
| tree | 1829118f004f2895c692eebcdb3bf6cc038d60b7 | |
| parent | 8602a7d89843dcd7d41d2bb569817ddb760dbf7e (diff) | |
| download | rust-0bb5a1a8249e3c5b97b4e60a2ab37cc5a2300306.tar.gz rust-0bb5a1a8249e3c5b97b4e60a2ab37cc5a2300306.zip | |
Tidy test case
| -rw-r--r-- | src/test/run-pass/type-macros.rs | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/test/run-pass/type-macros.rs b/src/test/run-pass/type-macros.rs index 3ca3be8efed..a5eb37b8cc3 100644 --- a/src/test/run-pass/type-macros.rs +++ b/src/test/run-pass/type-macros.rs @@ -57,9 +57,11 @@ impl<Rec: HList + Sized, X, Xs: HList, Ys: HList> Add<Ys> for Cons<X, Xs> where // type macro Expr allows us to expand the + operator appropriately macro_rules! Expr { { ( $($LHS:tt)+ ) } => { Expr!($($LHS)+) }; - { HList ! [ $($LHS:tt)* ] + $($RHS:tt)+ } => { <Expr!(HList![$($LHS)*]) as Add<Expr!($($RHS)+)>>::Output }; - { $LHS:tt + $($RHS:tt)+ } => { <Expr!($LHS) as Add<Expr!($($RHS)+)>>::Output }; - { $LHS:ty } => { $LHS }; + { HList ! [ $($LHS:tt)* ] + $($RHS:tt)+ } => { + <Expr!(HList![$($LHS)*]) as Add<Expr!($($RHS)+)>>::Output + }; + { $LHS:tt + $($RHS:tt)+ } => { <Expr!($LHS) as Add<Expr!($($RHS)+)>>::Output }; + { $LHS:ty } => { $LHS }; } // test demonstrating term level `xs + ys` and type level `Expr!(Xs + Ys)` |