user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Tidy test case

Browse source
This commit is contained in:
Jared Roesch 2015-07-25 23:53:23 -07:00
parent 8602a7d898
commit 0bb5a1a824
1 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/test/run-pass/type-macros.rs
View file

@ -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)`