diff options
Diffstat (limited to 'crates/ra_hir_def/src')
-rw-r--r-- | crates/ra_hir_def/src/body.rs | 28 | ||||
-rw-r--r-- | crates/ra_hir_def/src/body/lower.rs | 24 |
2 files changed, 20 insertions, 32 deletions
diff --git a/crates/ra_hir_def/src/body.rs b/crates/ra_hir_def/src/body.rs index 65fefd912..75bba31c2 100644 --- a/crates/ra_hir_def/src/body.rs +++ b/crates/ra_hir_def/src/body.rs | |||
@@ -21,7 +21,6 @@ use crate::{ | |||
21 | 21 | ||
22 | pub struct Expander { | 22 | pub struct Expander { |
23 | crate_def_map: Arc<CrateDefMap>, | 23 | crate_def_map: Arc<CrateDefMap>, |
24 | original_file_id: HirFileId, | ||
25 | current_file_id: HirFileId, | 24 | current_file_id: HirFileId, |
26 | hygiene: Hygiene, | 25 | hygiene: Hygiene, |
27 | module: ModuleId, | 26 | module: ModuleId, |
@@ -31,13 +30,7 @@ impl Expander { | |||
31 | pub fn new(db: &impl DefDatabase2, current_file_id: HirFileId, module: ModuleId) -> Expander { | 30 | pub fn new(db: &impl DefDatabase2, current_file_id: HirFileId, module: ModuleId) -> Expander { |
32 | let crate_def_map = db.crate_def_map(module.krate); | 31 | let crate_def_map = db.crate_def_map(module.krate); |
33 | let hygiene = Hygiene::new(db, current_file_id); | 32 | let hygiene = Hygiene::new(db, current_file_id); |
34 | Expander { | 33 | Expander { crate_def_map, current_file_id, hygiene, module } |
35 | crate_def_map, | ||
36 | original_file_id: current_file_id, | ||
37 | current_file_id, | ||
38 | hygiene, | ||
39 | module, | ||
40 | } | ||
41 | } | 34 | } |
42 | 35 | ||
43 | fn expand( | 36 | fn expand( |
@@ -82,11 +75,6 @@ impl Expander { | |||
82 | std::mem::forget(mark); | 75 | std::mem::forget(mark); |
83 | } | 76 | } |
84 | 77 | ||
85 | // FIXME: remove this. | ||
86 | fn is_in_expansion(&self) -> bool { | ||
87 | self.original_file_id != self.current_file_id | ||
88 | } | ||
89 | |||
90 | fn to_source<T>(&self, ast: T) -> Source<T> { | 78 | fn to_source<T>(&self, ast: T) -> Source<T> { |
91 | Source { file_id: self.current_file_id, ast } | 79 | Source { file_id: self.current_file_id, ast } |
92 | } | 80 | } |
@@ -147,9 +135,9 @@ pub type PatSource = Source<PatPtr>; | |||
147 | /// this properly for macros. | 135 | /// this properly for macros. |
148 | #[derive(Default, Debug, Eq, PartialEq)] | 136 | #[derive(Default, Debug, Eq, PartialEq)] |
149 | pub struct BodySourceMap { | 137 | pub struct BodySourceMap { |
150 | expr_map: FxHashMap<ExprPtr, ExprId>, | 138 | expr_map: FxHashMap<ExprSource, ExprId>, |
151 | expr_map_back: ArenaMap<ExprId, ExprSource>, | 139 | expr_map_back: ArenaMap<ExprId, ExprSource>, |
152 | pat_map: FxHashMap<PatPtr, PatId>, | 140 | pat_map: FxHashMap<PatSource, PatId>, |
153 | pat_map_back: ArenaMap<PatId, PatSource>, | 141 | pat_map_back: ArenaMap<PatId, PatSource>, |
154 | field_map: FxHashMap<(ExprId, usize), AstPtr<ast::RecordField>>, | 142 | field_map: FxHashMap<(ExprId, usize), AstPtr<ast::RecordField>>, |
155 | } | 143 | } |
@@ -202,16 +190,18 @@ impl BodySourceMap { | |||
202 | self.expr_map_back.get(expr).copied() | 190 | self.expr_map_back.get(expr).copied() |
203 | } | 191 | } |
204 | 192 | ||
205 | pub fn node_expr(&self, node: &ast::Expr) -> Option<ExprId> { | 193 | pub fn node_expr(&self, node: Source<&ast::Expr>) -> Option<ExprId> { |
206 | self.expr_map.get(&Either::A(AstPtr::new(node))).cloned() | 194 | let src = node.map(|it| Either::A(AstPtr::new(it))); |
195 | self.expr_map.get(&src).cloned() | ||
207 | } | 196 | } |
208 | 197 | ||
209 | pub fn pat_syntax(&self, pat: PatId) -> Option<PatSource> { | 198 | pub fn pat_syntax(&self, pat: PatId) -> Option<PatSource> { |
210 | self.pat_map_back.get(pat).copied() | 199 | self.pat_map_back.get(pat).copied() |
211 | } | 200 | } |
212 | 201 | ||
213 | pub fn node_pat(&self, node: &ast::Pat) -> Option<PatId> { | 202 | pub fn node_pat(&self, node: Source<&ast::Pat>) -> Option<PatId> { |
214 | self.pat_map.get(&Either::A(AstPtr::new(node))).cloned() | 203 | let src = node.map(|it| Either::A(AstPtr::new(it))); |
204 | self.pat_map.get(&src).cloned() | ||
215 | } | 205 | } |
216 | 206 | ||
217 | pub fn field_syntax(&self, expr: ExprId, field: usize) -> AstPtr<ast::RecordField> { | 207 | pub fn field_syntax(&self, expr: ExprId, field: usize) -> AstPtr<ast::RecordField> { |
diff --git a/crates/ra_hir_def/src/body/lower.rs b/crates/ra_hir_def/src/body/lower.rs index c45500195..f6d79ddf0 100644 --- a/crates/ra_hir_def/src/body/lower.rs +++ b/crates/ra_hir_def/src/body/lower.rs | |||
@@ -94,10 +94,9 @@ where | |||
94 | fn alloc_expr(&mut self, expr: Expr, ptr: AstPtr<ast::Expr>) -> ExprId { | 94 | fn alloc_expr(&mut self, expr: Expr, ptr: AstPtr<ast::Expr>) -> ExprId { |
95 | let ptr = Either::A(ptr); | 95 | let ptr = Either::A(ptr); |
96 | let id = self.body.exprs.alloc(expr); | 96 | let id = self.body.exprs.alloc(expr); |
97 | if !self.expander.is_in_expansion() { | 97 | let src = self.expander.to_source(ptr); |
98 | self.source_map.expr_map.insert(ptr, id); | 98 | self.source_map.expr_map.insert(src, id); |
99 | } | 99 | self.source_map.expr_map_back.insert(id, src); |
100 | self.source_map.expr_map_back.insert(id, self.expander.to_source(ptr)); | ||
101 | id | 100 | id |
102 | } | 101 | } |
103 | // desugared exprs don't have ptr, that's wrong and should be fixed | 102 | // desugared exprs don't have ptr, that's wrong and should be fixed |
@@ -108,18 +107,16 @@ where | |||
108 | fn alloc_expr_field_shorthand(&mut self, expr: Expr, ptr: AstPtr<ast::RecordField>) -> ExprId { | 107 | fn alloc_expr_field_shorthand(&mut self, expr: Expr, ptr: AstPtr<ast::RecordField>) -> ExprId { |
109 | let ptr = Either::B(ptr); | 108 | let ptr = Either::B(ptr); |
110 | let id = self.body.exprs.alloc(expr); | 109 | let id = self.body.exprs.alloc(expr); |
111 | if !self.expander.is_in_expansion() { | 110 | let src = self.expander.to_source(ptr); |
112 | self.source_map.expr_map.insert(ptr, id); | 111 | self.source_map.expr_map.insert(src, id); |
113 | } | 112 | self.source_map.expr_map_back.insert(id, src); |
114 | self.source_map.expr_map_back.insert(id, self.expander.to_source(ptr)); | ||
115 | id | 113 | id |
116 | } | 114 | } |
117 | fn alloc_pat(&mut self, pat: Pat, ptr: PatPtr) -> PatId { | 115 | fn alloc_pat(&mut self, pat: Pat, ptr: PatPtr) -> PatId { |
118 | let id = self.body.pats.alloc(pat); | 116 | let id = self.body.pats.alloc(pat); |
119 | if !self.expander.is_in_expansion() { | 117 | let src = self.expander.to_source(ptr); |
120 | self.source_map.pat_map.insert(ptr, id); | 118 | self.source_map.pat_map.insert(src, id); |
121 | } | 119 | self.source_map.pat_map_back.insert(id, src); |
122 | self.source_map.pat_map_back.insert(id, self.expander.to_source(ptr)); | ||
123 | id | 120 | id |
124 | } | 121 | } |
125 | 122 | ||
@@ -277,7 +274,8 @@ where | |||
277 | ast::Expr::ParenExpr(e) => { | 274 | ast::Expr::ParenExpr(e) => { |
278 | let inner = self.collect_expr_opt(e.expr()); | 275 | let inner = self.collect_expr_opt(e.expr()); |
279 | // make the paren expr point to the inner expression as well | 276 | // make the paren expr point to the inner expression as well |
280 | self.source_map.expr_map.insert(Either::A(syntax_ptr), inner); | 277 | let src = self.expander.to_source(Either::A(syntax_ptr)); |
278 | self.source_map.expr_map.insert(src, inner); | ||
281 | inner | 279 | inner |
282 | } | 280 | } |
283 | ast::Expr::ReturnExpr(e) => { | 281 | ast::Expr::ReturnExpr(e) => { |