diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-07 16:21:51 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-07 16:21:51 +0000 |
commit | c1824b4933f7a30b4253116290a0a6b2935eedc3 (patch) | |
tree | 30b2e506e326af121a716c92d42fc90229179072 /crates/proc_macro_api/src | |
parent | 9a88332452d661d4afea10f0063c893142e08019 (diff) | |
parent | 577d5f1c337d5de8719bddcabd3d22a560a11b95 (diff) |
Merge #6745
6745: Some more proc macro cleanups r=jonas-schievink a=jonas-schievink
* Remove `ProcMacroClient::dummy` and just use `Option<ProcMacroClient>` instead
* Remember the type of proc macros (later allows us to reject using an incorrect macro type)
* Prepare a few internals for procedural attribute macros
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'crates/proc_macro_api/src')
-rw-r--r-- | crates/proc_macro_api/src/lib.rs | 86 | ||||
-rw-r--r-- | crates/proc_macro_api/src/process.rs | 20 | ||||
-rw-r--r-- | crates/proc_macro_api/src/rpc.rs | 2 |
3 files changed, 41 insertions, 67 deletions
diff --git a/crates/proc_macro_api/src/lib.rs b/crates/proc_macro_api/src/lib.rs index d5e87cf7d..0d061fd53 100644 --- a/crates/proc_macro_api/src/lib.rs +++ b/crates/proc_macro_api/src/lib.rs | |||
@@ -16,6 +16,7 @@ use std::{ | |||
16 | sync::Arc, | 16 | sync::Arc, |
17 | }; | 17 | }; |
18 | 18 | ||
19 | use base_db::ProcMacro; | ||
19 | use tt::{SmolStr, Subtree}; | 20 | use tt::{SmolStr, Subtree}; |
20 | 21 | ||
21 | use crate::process::{ProcMacroProcessSrv, ProcMacroProcessThread}; | 22 | use crate::process::{ProcMacroProcessSrv, ProcMacroProcessThread}; |
@@ -23,7 +24,7 @@ use crate::process::{ProcMacroProcessSrv, ProcMacroProcessThread}; | |||
23 | pub use rpc::{ExpansionResult, ExpansionTask, ListMacrosResult, ListMacrosTask, ProcMacroKind}; | 24 | pub use rpc::{ExpansionResult, ExpansionTask, ListMacrosResult, ListMacrosTask, ProcMacroKind}; |
24 | 25 | ||
25 | #[derive(Debug, Clone)] | 26 | #[derive(Debug, Clone)] |
26 | pub struct ProcMacroProcessExpander { | 27 | struct ProcMacroProcessExpander { |
27 | process: Arc<ProcMacroProcessSrv>, | 28 | process: Arc<ProcMacroProcessSrv>, |
28 | dylib_path: PathBuf, | 29 | dylib_path: PathBuf, |
29 | name: SmolStr, | 30 | name: SmolStr, |
@@ -42,21 +43,24 @@ impl tt::TokenExpander for ProcMacroProcessExpander { | |||
42 | fn expand( | 43 | fn expand( |
43 | &self, | 44 | &self, |
44 | subtree: &Subtree, | 45 | subtree: &Subtree, |
45 | _attr: Option<&Subtree>, | 46 | attr: Option<&Subtree>, |
46 | ) -> Result<Subtree, tt::ExpansionError> { | 47 | ) -> Result<Subtree, tt::ExpansionError> { |
47 | self.process.custom_derive(&self.dylib_path, subtree, &self.name) | 48 | let task = ExpansionTask { |
48 | } | 49 | macro_body: subtree.clone(), |
49 | } | 50 | macro_name: self.name.to_string(), |
51 | attributes: attr.cloned(), | ||
52 | lib: self.dylib_path.to_path_buf(), | ||
53 | }; | ||
50 | 54 | ||
51 | #[derive(Debug)] | 55 | let result: ExpansionResult = self.process.send_task(msg::Request::ExpansionMacro(task))?; |
52 | enum ProcMacroClientKind { | 56 | Ok(result.expansion) |
53 | Process { process: Arc<ProcMacroProcessSrv>, thread: ProcMacroProcessThread }, | 57 | } |
54 | Dummy, | ||
55 | } | 58 | } |
56 | 59 | ||
57 | #[derive(Debug)] | 60 | #[derive(Debug)] |
58 | pub struct ProcMacroClient { | 61 | pub struct ProcMacroClient { |
59 | kind: ProcMacroClientKind, | 62 | process: Arc<ProcMacroProcessSrv>, |
63 | thread: ProcMacroProcessThread, | ||
60 | } | 64 | } |
61 | 65 | ||
62 | impl ProcMacroClient { | 66 | impl ProcMacroClient { |
@@ -65,47 +69,35 @@ impl ProcMacroClient { | |||
65 | args: impl IntoIterator<Item = impl AsRef<OsStr>>, | 69 | args: impl IntoIterator<Item = impl AsRef<OsStr>>, |
66 | ) -> io::Result<ProcMacroClient> { | 70 | ) -> io::Result<ProcMacroClient> { |
67 | let (thread, process) = ProcMacroProcessSrv::run(process_path, args)?; | 71 | let (thread, process) = ProcMacroProcessSrv::run(process_path, args)?; |
68 | Ok(ProcMacroClient { | 72 | Ok(ProcMacroClient { process: Arc::new(process), thread }) |
69 | kind: ProcMacroClientKind::Process { process: Arc::new(process), thread }, | ||
70 | }) | ||
71 | } | 73 | } |
72 | 74 | ||
73 | pub fn dummy() -> ProcMacroClient { | 75 | pub fn by_dylib_path(&self, dylib_path: &Path) -> Vec<ProcMacro> { |
74 | ProcMacroClient { kind: ProcMacroClientKind::Dummy } | 76 | let macros = match self.process.find_proc_macros(dylib_path) { |
75 | } | 77 | Err(err) => { |
78 | eprintln!("Failed to find proc macros. Error: {:#?}", err); | ||
79 | return vec![]; | ||
80 | } | ||
81 | Ok(macros) => macros, | ||
82 | }; | ||
76 | 83 | ||
77 | pub fn by_dylib_path(&self, dylib_path: &Path) -> Vec<(SmolStr, Arc<dyn tt::TokenExpander>)> { | 84 | macros |
78 | match &self.kind { | 85 | .into_iter() |
79 | ProcMacroClientKind::Dummy => vec![], | 86 | .map(|(name, kind)| { |
80 | ProcMacroClientKind::Process { process, .. } => { | 87 | let name = SmolStr::new(&name); |
81 | let macros = match process.find_proc_macros(dylib_path) { | 88 | let kind = match kind { |
82 | Err(err) => { | 89 | ProcMacroKind::CustomDerive => base_db::ProcMacroKind::CustomDerive, |
83 | eprintln!("Failed to find proc macros. Error: {:#?}", err); | 90 | ProcMacroKind::FuncLike => base_db::ProcMacroKind::FuncLike, |
84 | return vec![]; | 91 | ProcMacroKind::Attr => base_db::ProcMacroKind::Attr, |
85 | } | ||
86 | Ok(macros) => macros, | ||
87 | }; | 92 | }; |
93 | let expander: Arc<dyn tt::TokenExpander> = Arc::new(ProcMacroProcessExpander { | ||
94 | process: self.process.clone(), | ||
95 | name: name.clone(), | ||
96 | dylib_path: dylib_path.into(), | ||
97 | }); | ||
88 | 98 | ||
89 | macros | 99 | ProcMacro { name, kind, expander } |
90 | .into_iter() | 100 | }) |
91 | .filter_map(|(name, kind)| { | 101 | .collect() |
92 | match kind { | ||
93 | ProcMacroKind::CustomDerive | ProcMacroKind::FuncLike => { | ||
94 | let name = SmolStr::new(&name); | ||
95 | let expander: Arc<dyn tt::TokenExpander> = | ||
96 | Arc::new(ProcMacroProcessExpander { | ||
97 | process: process.clone(), | ||
98 | name: name.clone(), | ||
99 | dylib_path: dylib_path.into(), | ||
100 | }); | ||
101 | Some((name, expander)) | ||
102 | } | ||
103 | // FIXME: Attribute macro are currently unsupported. | ||
104 | ProcMacroKind::Attr => None, | ||
105 | } | ||
106 | }) | ||
107 | .collect() | ||
108 | } | ||
109 | } | ||
110 | } | 102 | } |
111 | } | 103 | } |
diff --git a/crates/proc_macro_api/src/process.rs b/crates/proc_macro_api/src/process.rs index 301888a0e..d68723ada 100644 --- a/crates/proc_macro_api/src/process.rs +++ b/crates/proc_macro_api/src/process.rs | |||
@@ -10,11 +10,10 @@ use std::{ | |||
10 | }; | 10 | }; |
11 | 11 | ||
12 | use crossbeam_channel::{bounded, Receiver, Sender}; | 12 | use crossbeam_channel::{bounded, Receiver, Sender}; |
13 | use tt::Subtree; | ||
14 | 13 | ||
15 | use crate::{ | 14 | use crate::{ |
16 | msg::{ErrorCode, Message, Request, Response, ResponseError}, | 15 | msg::{ErrorCode, Message, Request, Response, ResponseError}, |
17 | rpc::{ExpansionResult, ExpansionTask, ListMacrosResult, ListMacrosTask, ProcMacroKind}, | 16 | rpc::{ListMacrosResult, ListMacrosTask, ProcMacroKind}, |
18 | }; | 17 | }; |
19 | 18 | ||
20 | #[derive(Debug, Default)] | 19 | #[derive(Debug, Default)] |
@@ -58,23 +57,6 @@ impl ProcMacroProcessSrv { | |||
58 | Ok(result.macros) | 57 | Ok(result.macros) |
59 | } | 58 | } |
60 | 59 | ||
61 | pub(crate) fn custom_derive( | ||
62 | &self, | ||
63 | dylib_path: &Path, | ||
64 | subtree: &Subtree, | ||
65 | derive_name: &str, | ||
66 | ) -> Result<Subtree, tt::ExpansionError> { | ||
67 | let task = ExpansionTask { | ||
68 | macro_body: subtree.clone(), | ||
69 | macro_name: derive_name.to_string(), | ||
70 | attributes: None, | ||
71 | lib: dylib_path.to_path_buf(), | ||
72 | }; | ||
73 | |||
74 | let result: ExpansionResult = self.send_task(Request::ExpansionMacro(task))?; | ||
75 | Ok(result.expansion) | ||
76 | } | ||
77 | |||
78 | pub(crate) fn send_task<R>(&self, req: Request) -> Result<R, tt::ExpansionError> | 60 | pub(crate) fn send_task<R>(&self, req: Request) -> Result<R, tt::ExpansionError> |
79 | where | 61 | where |
80 | R: TryFrom<Response, Error = &'static str>, | 62 | R: TryFrom<Response, Error = &'static str>, |
diff --git a/crates/proc_macro_api/src/rpc.rs b/crates/proc_macro_api/src/rpc.rs index 203109ca4..b85f92eea 100644 --- a/crates/proc_macro_api/src/rpc.rs +++ b/crates/proc_macro_api/src/rpc.rs | |||
@@ -19,7 +19,7 @@ pub struct ListMacrosTask { | |||
19 | pub lib: PathBuf, | 19 | pub lib: PathBuf, |
20 | } | 20 | } |
21 | 21 | ||
22 | #[derive(Clone, Eq, PartialEq, Debug, Serialize, Deserialize)] | 22 | #[derive(Copy, Clone, Eq, PartialEq, Debug, Serialize, Deserialize)] |
23 | pub enum ProcMacroKind { | 23 | pub enum ProcMacroKind { |
24 | CustomDerive, | 24 | CustomDerive, |
25 | FuncLike, | 25 | FuncLike, |