From 31d143ba18b74bdbe032a305c7705123e055b39e Mon Sep 17 00:00:00 2001 From: Jeff Muizelaar Date: Sat, 2 Feb 2019 12:11:12 -0500 Subject: Fix macro_rules separator parsing. macro_rules rules are separated by ';' including an optional ';' at the end --- crates/ra_mbe/src/lib.rs | 42 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) (limited to 'crates/ra_mbe/src/lib.rs') diff --git a/crates/ra_mbe/src/lib.rs b/crates/ra_mbe/src/lib.rs index 3e7f458cf..bafa301ea 100644 --- a/crates/ra_mbe/src/lib.rs +++ b/crates/ra_mbe/src/lib.rs @@ -160,4 +160,46 @@ impl_froms!(TokenTree: Leaf, Subtree); impl From < Subtree > for TokenTree {fn from (it : Subtree) -> TokenTree {TokenTree :: Subtree (it)}}" ) } + + #[test] + fn test_fail_match_pattern_by_token() { + let macro_definition = r#" + macro_rules! foo { + ($ i:ident) => ( + mod $ i {} + ); + (= $ i:ident) => ( + fn $ i() {} + ); + (+ $ i:ident) => ( + struct $ i; + ) + } +"#; + + let macro_invocation = r#" +foo! { foo } +"#; + + let source_file = ast::SourceFile::parse(macro_definition); + let macro_definition = source_file + .syntax() + .descendants() + .find_map(ast::MacroCall::cast) + .unwrap(); + + let source_file = ast::SourceFile::parse(macro_invocation); + let macro_invocation = source_file + .syntax() + .descendants() + .find_map(ast::MacroCall::cast) + .unwrap(); + + let definition_tt = ast_to_token_tree(macro_definition.token_tree().unwrap()).unwrap(); + let invocation_tt = ast_to_token_tree(macro_invocation.token_tree().unwrap()).unwrap(); + let rules = crate::MacroRules::parse(&definition_tt).unwrap(); + let expansion = rules.expand(&invocation_tt).unwrap(); + assert_eq!(expansion.to_string(), "mod foo {}") + } + } -- cgit v1.2.3