diff options
author | Aleksey Kladov <[email protected]> | 2019-11-12 15:46:57 +0000 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-11-12 15:46:57 +0000 |
commit | 1a90ad58023b065b7eecddf7f24417889a311850 (patch) | |
tree | cf0cf77963257a4a2c6eb3bbaa74b0b90b457718 /crates/ra_hir_def/src/body/lower.rs | |
parent | 55f3ff241a2105d2903266703474acbd24a85e84 (diff) |
Move expression lowering to hir_def
Diffstat (limited to 'crates/ra_hir_def/src/body/lower.rs')
-rw-r--r-- | crates/ra_hir_def/src/body/lower.rs | 590 |
1 files changed, 588 insertions, 2 deletions
diff --git a/crates/ra_hir_def/src/body/lower.rs b/crates/ra_hir_def/src/body/lower.rs index 1a144b1f9..1f93260d6 100644 --- a/crates/ra_hir_def/src/body/lower.rs +++ b/crates/ra_hir_def/src/body/lower.rs | |||
@@ -1,8 +1,594 @@ | |||
1 | //! FIXME: write short doc here | 1 | //! FIXME: write short doc here |
2 | 2 | ||
3 | use ra_syntax::ast; | 3 | use hir_expand::{ |
4 | either::Either, | ||
5 | hygiene::Hygiene, | ||
6 | name::{self, AsName, Name}, | ||
7 | AstId, HirFileId, MacroCallLoc, MacroFileKind, Source, | ||
8 | }; | ||
9 | use ra_arena::Arena; | ||
10 | use ra_syntax::{ | ||
11 | ast::{ | ||
12 | self, ArgListOwner, ArrayExprKind, LiteralKind, LoopBodyOwner, NameOwner, | ||
13 | TypeAscriptionOwner, | ||
14 | }, | ||
15 | AstNode, AstPtr, | ||
16 | }; | ||
4 | 17 | ||
5 | use crate::expr::{ArithOp, BinaryOp, CmpOp, LogicOp, Ordering}; | 18 | use crate::{ |
19 | body::{Body, BodySourceMap, MacroResolver, PatPtr}, | ||
20 | builtin_type::{BuiltinFloat, BuiltinInt}, | ||
21 | db::DefDatabase2, | ||
22 | expr::{ | ||
23 | ArithOp, Array, BinaryOp, BindingAnnotation, CmpOp, Expr, ExprId, Literal, LogicOp, | ||
24 | MatchArm, Ordering, Pat, PatId, RecordFieldPat, RecordLitField, Statement, | ||
25 | }, | ||
26 | path::GenericArgs, | ||
27 | path::Path, | ||
28 | type_ref::{Mutability, TypeRef}, | ||
29 | }; | ||
30 | |||
31 | pub(super) fn lower( | ||
32 | db: &impl DefDatabase2, | ||
33 | resolver: MacroResolver, | ||
34 | file_id: HirFileId, | ||
35 | params: Option<ast::ParamList>, | ||
36 | body: Option<ast::Expr>, | ||
37 | ) -> (Body, BodySourceMap) { | ||
38 | ExprCollector { | ||
39 | resolver, | ||
40 | db, | ||
41 | original_file_id: file_id, | ||
42 | current_file_id: file_id, | ||
43 | source_map: BodySourceMap::default(), | ||
44 | body: Body { | ||
45 | exprs: Arena::default(), | ||
46 | pats: Arena::default(), | ||
47 | params: Vec::new(), | ||
48 | body_expr: ExprId::dummy(), | ||
49 | }, | ||
50 | } | ||
51 | .collect(params, body) | ||
52 | } | ||
53 | |||
54 | struct ExprCollector<DB> { | ||
55 | db: DB, | ||
56 | resolver: MacroResolver, | ||
57 | // Expr collector expands macros along the way. original points to the file | ||
58 | // we started with, current points to the current macro expansion. source | ||
59 | // maps don't support macros yet, so we only record info into source map if | ||
60 | // current == original (see #1196) | ||
61 | original_file_id: HirFileId, | ||
62 | current_file_id: HirFileId, | ||
63 | |||
64 | body: Body, | ||
65 | source_map: BodySourceMap, | ||
66 | } | ||
67 | |||
68 | impl<'a, DB> ExprCollector<&'a DB> | ||
69 | where | ||
70 | DB: DefDatabase2, | ||
71 | { | ||
72 | fn collect( | ||
73 | mut self, | ||
74 | param_list: Option<ast::ParamList>, | ||
75 | body: Option<ast::Expr>, | ||
76 | ) -> (Body, BodySourceMap) { | ||
77 | if let Some(param_list) = param_list { | ||
78 | if let Some(self_param) = param_list.self_param() { | ||
79 | let ptr = AstPtr::new(&self_param); | ||
80 | let param_pat = self.alloc_pat( | ||
81 | Pat::Bind { | ||
82 | name: name::SELF_PARAM, | ||
83 | mode: BindingAnnotation::Unannotated, | ||
84 | subpat: None, | ||
85 | }, | ||
86 | Either::B(ptr), | ||
87 | ); | ||
88 | self.body.params.push(param_pat); | ||
89 | } | ||
90 | |||
91 | for param in param_list.params() { | ||
92 | let pat = match param.pat() { | ||
93 | None => continue, | ||
94 | Some(pat) => pat, | ||
95 | }; | ||
96 | let param_pat = self.collect_pat(pat); | ||
97 | self.body.params.push(param_pat); | ||
98 | } | ||
99 | }; | ||
100 | |||
101 | self.body.body_expr = self.collect_expr_opt(body); | ||
102 | (self.body, self.source_map) | ||
103 | } | ||
104 | |||
105 | fn alloc_expr(&mut self, expr: Expr, ptr: AstPtr<ast::Expr>) -> ExprId { | ||
106 | let ptr = Either::A(ptr); | ||
107 | let id = self.body.exprs.alloc(expr); | ||
108 | if self.current_file_id == self.original_file_id { | ||
109 | self.source_map.expr_map.insert(ptr, id); | ||
110 | } | ||
111 | self.source_map | ||
112 | .expr_map_back | ||
113 | .insert(id, Source { file_id: self.current_file_id, ast: ptr }); | ||
114 | id | ||
115 | } | ||
116 | // desugared exprs don't have ptr, that's wrong and should be fixed | ||
117 | // somehow. | ||
118 | fn alloc_expr_desugared(&mut self, expr: Expr) -> ExprId { | ||
119 | self.body.exprs.alloc(expr) | ||
120 | } | ||
121 | fn alloc_expr_field_shorthand(&mut self, expr: Expr, ptr: AstPtr<ast::RecordField>) -> ExprId { | ||
122 | let ptr = Either::B(ptr); | ||
123 | let id = self.body.exprs.alloc(expr); | ||
124 | if self.current_file_id == self.original_file_id { | ||
125 | self.source_map.expr_map.insert(ptr, id); | ||
126 | } | ||
127 | self.source_map | ||
128 | .expr_map_back | ||
129 | .insert(id, Source { file_id: self.current_file_id, ast: ptr }); | ||
130 | id | ||
131 | } | ||
132 | fn alloc_pat(&mut self, pat: Pat, ptr: PatPtr) -> PatId { | ||
133 | let id = self.body.pats.alloc(pat); | ||
134 | if self.current_file_id == self.original_file_id { | ||
135 | self.source_map.pat_map.insert(ptr, id); | ||
136 | } | ||
137 | self.source_map.pat_map_back.insert(id, Source { file_id: self.current_file_id, ast: ptr }); | ||
138 | id | ||
139 | } | ||
140 | |||
141 | fn empty_block(&mut self) -> ExprId { | ||
142 | let block = Expr::Block { statements: Vec::new(), tail: None }; | ||
143 | self.body.exprs.alloc(block) | ||
144 | } | ||
145 | |||
146 | fn missing_expr(&mut self) -> ExprId { | ||
147 | self.body.exprs.alloc(Expr::Missing) | ||
148 | } | ||
149 | |||
150 | fn missing_pat(&mut self) -> PatId { | ||
151 | self.body.pats.alloc(Pat::Missing) | ||
152 | } | ||
153 | |||
154 | fn collect_expr(&mut self, expr: ast::Expr) -> ExprId { | ||
155 | let syntax_ptr = AstPtr::new(&expr); | ||
156 | match expr { | ||
157 | ast::Expr::IfExpr(e) => { | ||
158 | let then_branch = self.collect_block_opt(e.then_branch()); | ||
159 | |||
160 | let else_branch = e.else_branch().map(|b| match b { | ||
161 | ast::ElseBranch::Block(it) => self.collect_block(it), | ||
162 | ast::ElseBranch::IfExpr(elif) => { | ||
163 | let expr: ast::Expr = ast::Expr::cast(elif.syntax().clone()).unwrap(); | ||
164 | self.collect_expr(expr) | ||
165 | } | ||
166 | }); | ||
167 | |||
168 | let condition = match e.condition() { | ||
169 | None => self.missing_expr(), | ||
170 | Some(condition) => match condition.pat() { | ||
171 | None => self.collect_expr_opt(condition.expr()), | ||
172 | // if let -- desugar to match | ||
173 | Some(pat) => { | ||
174 | let pat = self.collect_pat(pat); | ||
175 | let match_expr = self.collect_expr_opt(condition.expr()); | ||
176 | let placeholder_pat = self.missing_pat(); | ||
177 | let arms = vec![ | ||
178 | MatchArm { pats: vec![pat], expr: then_branch, guard: None }, | ||
179 | MatchArm { | ||
180 | pats: vec![placeholder_pat], | ||
181 | expr: else_branch.unwrap_or_else(|| self.empty_block()), | ||
182 | guard: None, | ||
183 | }, | ||
184 | ]; | ||
185 | return self | ||
186 | .alloc_expr(Expr::Match { expr: match_expr, arms }, syntax_ptr); | ||
187 | } | ||
188 | }, | ||
189 | }; | ||
190 | |||
191 | self.alloc_expr(Expr::If { condition, then_branch, else_branch }, syntax_ptr) | ||
192 | } | ||
193 | ast::Expr::TryBlockExpr(e) => { | ||
194 | let body = self.collect_block_opt(e.body()); | ||
195 | self.alloc_expr(Expr::TryBlock { body }, syntax_ptr) | ||
196 | } | ||
197 | ast::Expr::BlockExpr(e) => self.collect_block(e), | ||
198 | ast::Expr::LoopExpr(e) => { | ||
199 | let body = self.collect_block_opt(e.loop_body()); | ||
200 | self.alloc_expr(Expr::Loop { body }, syntax_ptr) | ||
201 | } | ||
202 | ast::Expr::WhileExpr(e) => { | ||
203 | let body = self.collect_block_opt(e.loop_body()); | ||
204 | |||
205 | let condition = match e.condition() { | ||
206 | None => self.missing_expr(), | ||
207 | Some(condition) => match condition.pat() { | ||
208 | None => self.collect_expr_opt(condition.expr()), | ||
209 | // if let -- desugar to match | ||
210 | Some(pat) => { | ||
211 | let pat = self.collect_pat(pat); | ||
212 | let match_expr = self.collect_expr_opt(condition.expr()); | ||
213 | let placeholder_pat = self.missing_pat(); | ||
214 | let break_ = self.alloc_expr_desugared(Expr::Break { expr: None }); | ||
215 | let arms = vec![ | ||
216 | MatchArm { pats: vec![pat], expr: body, guard: None }, | ||
217 | MatchArm { pats: vec![placeholder_pat], expr: break_, guard: None }, | ||
218 | ]; | ||
219 | let match_expr = | ||
220 | self.alloc_expr_desugared(Expr::Match { expr: match_expr, arms }); | ||
221 | return self.alloc_expr(Expr::Loop { body: match_expr }, syntax_ptr); | ||
222 | } | ||
223 | }, | ||
224 | }; | ||
225 | |||
226 | self.alloc_expr(Expr::While { condition, body }, syntax_ptr) | ||
227 | } | ||
228 | ast::Expr::ForExpr(e) => { | ||
229 | let iterable = self.collect_expr_opt(e.iterable()); | ||
230 | let pat = self.collect_pat_opt(e.pat()); | ||
231 | let body = self.collect_block_opt(e.loop_body()); | ||
232 | self.alloc_expr(Expr::For { iterable, pat, body }, syntax_ptr) | ||
233 | } | ||
234 | ast::Expr::CallExpr(e) => { | ||
235 | let callee = self.collect_expr_opt(e.expr()); | ||
236 | let args = if let Some(arg_list) = e.arg_list() { | ||
237 | arg_list.args().map(|e| self.collect_expr(e)).collect() | ||
238 | } else { | ||
239 | Vec::new() | ||
240 | }; | ||
241 | self.alloc_expr(Expr::Call { callee, args }, syntax_ptr) | ||
242 | } | ||
243 | ast::Expr::MethodCallExpr(e) => { | ||
244 | let receiver = self.collect_expr_opt(e.expr()); | ||
245 | let args = if let Some(arg_list) = e.arg_list() { | ||
246 | arg_list.args().map(|e| self.collect_expr(e)).collect() | ||
247 | } else { | ||
248 | Vec::new() | ||
249 | }; | ||
250 | let method_name = e.name_ref().map(|nr| nr.as_name()).unwrap_or_else(Name::missing); | ||
251 | let generic_args = e.type_arg_list().and_then(GenericArgs::from_ast); | ||
252 | self.alloc_expr( | ||
253 | Expr::MethodCall { receiver, method_name, args, generic_args }, | ||
254 | syntax_ptr, | ||
255 | ) | ||
256 | } | ||
257 | ast::Expr::MatchExpr(e) => { | ||
258 | let expr = self.collect_expr_opt(e.expr()); | ||
259 | let arms = if let Some(match_arm_list) = e.match_arm_list() { | ||
260 | match_arm_list | ||
261 | .arms() | ||
262 | .map(|arm| MatchArm { | ||
263 | pats: arm.pats().map(|p| self.collect_pat(p)).collect(), | ||
264 | expr: self.collect_expr_opt(arm.expr()), | ||
265 | guard: arm | ||
266 | .guard() | ||
267 | .and_then(|guard| guard.expr()) | ||
268 | .map(|e| self.collect_expr(e)), | ||
269 | }) | ||
270 | .collect() | ||
271 | } else { | ||
272 | Vec::new() | ||
273 | }; | ||
274 | self.alloc_expr(Expr::Match { expr, arms }, syntax_ptr) | ||
275 | } | ||
276 | ast::Expr::PathExpr(e) => { | ||
277 | let path = e | ||
278 | .path() | ||
279 | .and_then(|path| self.parse_path(path)) | ||
280 | .map(Expr::Path) | ||
281 | .unwrap_or(Expr::Missing); | ||
282 | self.alloc_expr(path, syntax_ptr) | ||
283 | } | ||
284 | ast::Expr::ContinueExpr(_e) => { | ||
285 | // FIXME: labels | ||
286 | self.alloc_expr(Expr::Continue, syntax_ptr) | ||
287 | } | ||
288 | ast::Expr::BreakExpr(e) => { | ||
289 | let expr = e.expr().map(|e| self.collect_expr(e)); | ||
290 | self.alloc_expr(Expr::Break { expr }, syntax_ptr) | ||
291 | } | ||
292 | ast::Expr::ParenExpr(e) => { | ||
293 | let inner = self.collect_expr_opt(e.expr()); | ||
294 | // make the paren expr point to the inner expression as well | ||
295 | self.source_map.expr_map.insert(Either::A(syntax_ptr), inner); | ||
296 | inner | ||
297 | } | ||
298 | ast::Expr::ReturnExpr(e) => { | ||
299 | let expr = e.expr().map(|e| self.collect_expr(e)); | ||
300 | self.alloc_expr(Expr::Return { expr }, syntax_ptr) | ||
301 | } | ||
302 | ast::Expr::RecordLit(e) => { | ||
303 | let path = e.path().and_then(|path| self.parse_path(path)); | ||
304 | let mut field_ptrs = Vec::new(); | ||
305 | let record_lit = if let Some(nfl) = e.record_field_list() { | ||
306 | let fields = nfl | ||
307 | .fields() | ||
308 | .inspect(|field| field_ptrs.push(AstPtr::new(field))) | ||
309 | .map(|field| RecordLitField { | ||
310 | name: field | ||
311 | .name_ref() | ||
312 | .map(|nr| nr.as_name()) | ||
313 | .unwrap_or_else(Name::missing), | ||
314 | expr: if let Some(e) = field.expr() { | ||
315 | self.collect_expr(e) | ||
316 | } else if let Some(nr) = field.name_ref() { | ||
317 | // field shorthand | ||
318 | self.alloc_expr_field_shorthand( | ||
319 | Expr::Path(Path::from_name_ref(&nr)), | ||
320 | AstPtr::new(&field), | ||
321 | ) | ||
322 | } else { | ||
323 | self.missing_expr() | ||
324 | }, | ||
325 | }) | ||
326 | .collect(); | ||
327 | let spread = nfl.spread().map(|s| self.collect_expr(s)); | ||
328 | Expr::RecordLit { path, fields, spread } | ||
329 | } else { | ||
330 | Expr::RecordLit { path, fields: Vec::new(), spread: None } | ||
331 | }; | ||
332 | |||
333 | let res = self.alloc_expr(record_lit, syntax_ptr); | ||
334 | for (i, ptr) in field_ptrs.into_iter().enumerate() { | ||
335 | self.source_map.field_map.insert((res, i), ptr); | ||
336 | } | ||
337 | res | ||
338 | } | ||
339 | ast::Expr::FieldExpr(e) => { | ||
340 | let expr = self.collect_expr_opt(e.expr()); | ||
341 | let name = match e.field_access() { | ||
342 | Some(kind) => kind.as_name(), | ||
343 | _ => Name::missing(), | ||
344 | }; | ||
345 | self.alloc_expr(Expr::Field { expr, name }, syntax_ptr) | ||
346 | } | ||
347 | ast::Expr::AwaitExpr(e) => { | ||
348 | let expr = self.collect_expr_opt(e.expr()); | ||
349 | self.alloc_expr(Expr::Await { expr }, syntax_ptr) | ||
350 | } | ||
351 | ast::Expr::TryExpr(e) => { | ||
352 | let expr = self.collect_expr_opt(e.expr()); | ||
353 | self.alloc_expr(Expr::Try { expr }, syntax_ptr) | ||
354 | } | ||
355 | ast::Expr::CastExpr(e) => { | ||
356 | let expr = self.collect_expr_opt(e.expr()); | ||
357 | let type_ref = TypeRef::from_ast_opt(e.type_ref()); | ||
358 | self.alloc_expr(Expr::Cast { expr, type_ref }, syntax_ptr) | ||
359 | } | ||
360 | ast::Expr::RefExpr(e) => { | ||
361 | let expr = self.collect_expr_opt(e.expr()); | ||
362 | let mutability = Mutability::from_mutable(e.is_mut()); | ||
363 | self.alloc_expr(Expr::Ref { expr, mutability }, syntax_ptr) | ||
364 | } | ||
365 | ast::Expr::PrefixExpr(e) => { | ||
366 | let expr = self.collect_expr_opt(e.expr()); | ||
367 | if let Some(op) = e.op_kind() { | ||
368 | self.alloc_expr(Expr::UnaryOp { expr, op }, syntax_ptr) | ||
369 | } else { | ||
370 | self.alloc_expr(Expr::Missing, syntax_ptr) | ||
371 | } | ||
372 | } | ||
373 | ast::Expr::LambdaExpr(e) => { | ||
374 | let mut args = Vec::new(); | ||
375 | let mut arg_types = Vec::new(); | ||
376 | if let Some(pl) = e.param_list() { | ||
377 | for param in pl.params() { | ||
378 | let pat = self.collect_pat_opt(param.pat()); | ||
379 | let type_ref = param.ascribed_type().map(TypeRef::from_ast); | ||
380 | args.push(pat); | ||
381 | arg_types.push(type_ref); | ||
382 | } | ||
383 | } | ||
384 | let body = self.collect_expr_opt(e.body()); | ||
385 | self.alloc_expr(Expr::Lambda { args, arg_types, body }, syntax_ptr) | ||
386 | } | ||
387 | ast::Expr::BinExpr(e) => { | ||
388 | let lhs = self.collect_expr_opt(e.lhs()); | ||
389 | let rhs = self.collect_expr_opt(e.rhs()); | ||
390 | let op = e.op_kind().map(BinaryOp::from); | ||
391 | self.alloc_expr(Expr::BinaryOp { lhs, rhs, op }, syntax_ptr) | ||
392 | } | ||
393 | ast::Expr::TupleExpr(e) => { | ||
394 | let exprs = e.exprs().map(|expr| self.collect_expr(expr)).collect(); | ||
395 | self.alloc_expr(Expr::Tuple { exprs }, syntax_ptr) | ||
396 | } | ||
397 | ast::Expr::BoxExpr(e) => { | ||
398 | let expr = self.collect_expr_opt(e.expr()); | ||
399 | self.alloc_expr(Expr::Box { expr }, syntax_ptr) | ||
400 | } | ||
401 | |||
402 | ast::Expr::ArrayExpr(e) => { | ||
403 | let kind = e.kind(); | ||
404 | |||
405 | match kind { | ||
406 | ArrayExprKind::ElementList(e) => { | ||
407 | let exprs = e.map(|expr| self.collect_expr(expr)).collect(); | ||
408 | self.alloc_expr(Expr::Array(Array::ElementList(exprs)), syntax_ptr) | ||
409 | } | ||
410 | ArrayExprKind::Repeat { initializer, repeat } => { | ||
411 | let initializer = self.collect_expr_opt(initializer); | ||
412 | let repeat = self.collect_expr_opt(repeat); | ||
413 | self.alloc_expr( | ||
414 | Expr::Array(Array::Repeat { initializer, repeat }), | ||
415 | syntax_ptr, | ||
416 | ) | ||
417 | } | ||
418 | } | ||
419 | } | ||
420 | |||
421 | ast::Expr::Literal(e) => { | ||
422 | let lit = match e.kind() { | ||
423 | LiteralKind::IntNumber { suffix } => { | ||
424 | let known_name = suffix.and_then(|it| BuiltinInt::from_suffix(&it)); | ||
425 | |||
426 | Literal::Int(Default::default(), known_name) | ||
427 | } | ||
428 | LiteralKind::FloatNumber { suffix } => { | ||
429 | let known_name = suffix.and_then(|it| BuiltinFloat::from_suffix(&it)); | ||
430 | |||
431 | Literal::Float(Default::default(), known_name) | ||
432 | } | ||
433 | LiteralKind::ByteString => Literal::ByteString(Default::default()), | ||
434 | LiteralKind::String => Literal::String(Default::default()), | ||
435 | LiteralKind::Byte => Literal::Int(Default::default(), Some(BuiltinInt::U8)), | ||
436 | LiteralKind::Bool => Literal::Bool(Default::default()), | ||
437 | LiteralKind::Char => Literal::Char(Default::default()), | ||
438 | }; | ||
439 | self.alloc_expr(Expr::Literal(lit), syntax_ptr) | ||
440 | } | ||
441 | ast::Expr::IndexExpr(e) => { | ||
442 | let base = self.collect_expr_opt(e.base()); | ||
443 | let index = self.collect_expr_opt(e.index()); | ||
444 | self.alloc_expr(Expr::Index { base, index }, syntax_ptr) | ||
445 | } | ||
446 | |||
447 | // FIXME implement HIR for these: | ||
448 | ast::Expr::Label(_e) => self.alloc_expr(Expr::Missing, syntax_ptr), | ||
449 | ast::Expr::RangeExpr(_e) => self.alloc_expr(Expr::Missing, syntax_ptr), | ||
450 | ast::Expr::MacroCall(e) => { | ||
451 | let ast_id = AstId::new( | ||
452 | self.current_file_id, | ||
453 | self.db.ast_id_map(self.current_file_id).ast_id(&e), | ||
454 | ); | ||
455 | |||
456 | if let Some(path) = e.path().and_then(|path| self.parse_path(path)) { | ||
457 | if let Some(def) = self.resolver.resolve_path_as_macro(self.db, &path) { | ||
458 | let call_id = self.db.intern_macro(MacroCallLoc { def, ast_id }); | ||
459 | let file_id = call_id.as_file(MacroFileKind::Expr); | ||
460 | if let Some(node) = self.db.parse_or_expand(file_id) { | ||
461 | if let Some(expr) = ast::Expr::cast(node) { | ||
462 | log::debug!("macro expansion {:#?}", expr.syntax()); | ||
463 | let old_file_id = | ||
464 | std::mem::replace(&mut self.current_file_id, file_id); | ||
465 | let id = self.collect_expr(expr); | ||
466 | self.current_file_id = old_file_id; | ||
467 | return id; | ||
468 | } | ||
469 | } | ||
470 | } | ||
471 | } | ||
472 | // FIXME: Instead of just dropping the error from expansion | ||
473 | // report it | ||
474 | self.alloc_expr(Expr::Missing, syntax_ptr) | ||
475 | } | ||
476 | } | ||
477 | } | ||
478 | |||
479 | fn collect_expr_opt(&mut self, expr: Option<ast::Expr>) -> ExprId { | ||
480 | if let Some(expr) = expr { | ||
481 | self.collect_expr(expr) | ||
482 | } else { | ||
483 | self.missing_expr() | ||
484 | } | ||
485 | } | ||
486 | |||
487 | fn collect_block(&mut self, expr: ast::BlockExpr) -> ExprId { | ||
488 | let syntax_node_ptr = AstPtr::new(&expr.clone().into()); | ||
489 | let block = match expr.block() { | ||
490 | Some(block) => block, | ||
491 | None => return self.alloc_expr(Expr::Missing, syntax_node_ptr), | ||
492 | }; | ||
493 | let statements = block | ||
494 | .statements() | ||
495 | .map(|s| match s { | ||
496 | ast::Stmt::LetStmt(stmt) => { | ||
497 | let pat = self.collect_pat_opt(stmt.pat()); | ||
498 | let type_ref = stmt.ascribed_type().map(TypeRef::from_ast); | ||
499 | let initializer = stmt.initializer().map(|e| self.collect_expr(e)); | ||
500 | Statement::Let { pat, type_ref, initializer } | ||
501 | } | ||
502 | ast::Stmt::ExprStmt(stmt) => Statement::Expr(self.collect_expr_opt(stmt.expr())), | ||
503 | }) | ||
504 | .collect(); | ||
505 | let tail = block.expr().map(|e| self.collect_expr(e)); | ||
506 | self.alloc_expr(Expr::Block { statements, tail }, syntax_node_ptr) | ||
507 | } | ||
508 | |||
509 | fn collect_block_opt(&mut self, expr: Option<ast::BlockExpr>) -> ExprId { | ||
510 | if let Some(block) = expr { | ||
511 | self.collect_block(block) | ||
512 | } else { | ||
513 | self.missing_expr() | ||
514 | } | ||
515 | } | ||
516 | |||
517 | fn collect_pat(&mut self, pat: ast::Pat) -> PatId { | ||
518 | let pattern = match &pat { | ||
519 | ast::Pat::BindPat(bp) => { | ||
520 | let name = bp.name().map(|nr| nr.as_name()).unwrap_or_else(Name::missing); | ||
521 | let annotation = BindingAnnotation::new(bp.is_mutable(), bp.is_ref()); | ||
522 | let subpat = bp.pat().map(|subpat| self.collect_pat(subpat)); | ||
523 | Pat::Bind { name, mode: annotation, subpat } | ||
524 | } | ||
525 | ast::Pat::TupleStructPat(p) => { | ||
526 | let path = p.path().and_then(|path| self.parse_path(path)); | ||
527 | let args = p.args().map(|p| self.collect_pat(p)).collect(); | ||
528 | Pat::TupleStruct { path, args } | ||
529 | } | ||
530 | ast::Pat::RefPat(p) => { | ||
531 | let pat = self.collect_pat_opt(p.pat()); | ||
532 | let mutability = Mutability::from_mutable(p.is_mut()); | ||
533 | Pat::Ref { pat, mutability } | ||
534 | } | ||
535 | ast::Pat::PathPat(p) => { | ||
536 | let path = p.path().and_then(|path| self.parse_path(path)); | ||
537 | path.map(Pat::Path).unwrap_or(Pat::Missing) | ||
538 | } | ||
539 | ast::Pat::TuplePat(p) => { | ||
540 | let args = p.args().map(|p| self.collect_pat(p)).collect(); | ||
541 | Pat::Tuple(args) | ||
542 | } | ||
543 | ast::Pat::PlaceholderPat(_) => Pat::Wild, | ||
544 | ast::Pat::RecordPat(p) => { | ||
545 | let path = p.path().and_then(|path| self.parse_path(path)); | ||
546 | let record_field_pat_list = | ||
547 | p.record_field_pat_list().expect("every struct should have a field list"); | ||
548 | let mut fields: Vec<_> = record_field_pat_list | ||
549 | .bind_pats() | ||
550 | .filter_map(|bind_pat| { | ||
551 | let ast_pat = | ||
552 | ast::Pat::cast(bind_pat.syntax().clone()).expect("bind pat is a pat"); | ||
553 | let pat = self.collect_pat(ast_pat); | ||
554 | let name = bind_pat.name()?.as_name(); | ||
555 | Some(RecordFieldPat { name, pat }) | ||
556 | }) | ||
557 | .collect(); | ||
558 | let iter = record_field_pat_list.record_field_pats().filter_map(|f| { | ||
559 | let ast_pat = f.pat()?; | ||
560 | let pat = self.collect_pat(ast_pat); | ||
561 | let name = f.name()?.as_name(); | ||
562 | Some(RecordFieldPat { name, pat }) | ||
563 | }); | ||
564 | fields.extend(iter); | ||
565 | |||
566 | Pat::Record { path, args: fields } | ||
567 | } | ||
568 | |||
569 | // FIXME: implement | ||
570 | ast::Pat::DotDotPat(_) => Pat::Missing, | ||
571 | ast::Pat::BoxPat(_) => Pat::Missing, | ||
572 | ast::Pat::LiteralPat(_) => Pat::Missing, | ||
573 | ast::Pat::SlicePat(_) | ast::Pat::RangePat(_) => Pat::Missing, | ||
574 | }; | ||
575 | let ptr = AstPtr::new(&pat); | ||
576 | self.alloc_pat(pattern, Either::A(ptr)) | ||
577 | } | ||
578 | |||
579 | fn collect_pat_opt(&mut self, pat: Option<ast::Pat>) -> PatId { | ||
580 | if let Some(pat) = pat { | ||
581 | self.collect_pat(pat) | ||
582 | } else { | ||
583 | self.missing_pat() | ||
584 | } | ||
585 | } | ||
586 | |||
587 | fn parse_path(&mut self, path: ast::Path) -> Option<Path> { | ||
588 | let hygiene = Hygiene::new(self.db, self.current_file_id); | ||
589 | Path::from_src(path, &hygiene) | ||
590 | } | ||
591 | } | ||
6 | 592 | ||
7 | impl From<ast::BinOp> for BinaryOp { | 593 | impl From<ast::BinOp> for BinaryOp { |
8 | fn from(ast_op: ast::BinOp) -> Self { | 594 | fn from(ast_op: ast::BinOp) -> Self { |