aboutsummaryrefslogtreecommitdiff
path: root/crates
diff options
context:
space:
mode:
Diffstat (limited to 'crates')
-rw-r--r--crates/ra_hir/src/ty.rs18
-rw-r--r--crates/ra_hir/src/ty/tests.rs2
2 files changed, 10 insertions, 10 deletions
diff --git a/crates/ra_hir/src/ty.rs b/crates/ra_hir/src/ty.rs
index e1edf1bff..c759d4c8b 100644
--- a/crates/ra_hir/src/ty.rs
+++ b/crates/ra_hir/src/ty.rs
@@ -241,12 +241,12 @@ pub fn type_for_def(db: &impl HirDatabase, def_id: DefId) -> Cancelable<Ty> {
241 241
242#[derive(Clone, PartialEq, Eq, Debug)] 242#[derive(Clone, PartialEq, Eq, Debug)]
243pub struct InferenceResult { 243pub struct InferenceResult {
244 type_for: FxHashMap<LocalSyntaxPtr, Ty>, 244 type_of: FxHashMap<LocalSyntaxPtr, Ty>,
245} 245}
246 246
247impl InferenceResult { 247impl InferenceResult {
248 pub fn type_of_node(&self, node: SyntaxNodeRef) -> Option<Ty> { 248 pub fn type_of_node(&self, node: SyntaxNodeRef) -> Option<Ty> {
249 self.type_for.get(&LocalSyntaxPtr::new(node)).cloned() 249 self.type_of.get(&LocalSyntaxPtr::new(node)).cloned()
250 } 250 }
251} 251}
252 252
@@ -256,13 +256,13 @@ pub struct InferenceContext<'a, D: HirDatabase> {
256 scopes: Arc<FnScopes>, 256 scopes: Arc<FnScopes>,
257 module: Module, 257 module: Module,
258 // TODO unification tables... 258 // TODO unification tables...
259 type_for: FxHashMap<LocalSyntaxPtr, Ty>, 259 type_of: FxHashMap<LocalSyntaxPtr, Ty>,
260} 260}
261 261
262impl<'a, D: HirDatabase> InferenceContext<'a, D> { 262impl<'a, D: HirDatabase> InferenceContext<'a, D> {
263 fn new(db: &'a D, scopes: Arc<FnScopes>, module: Module) -> Self { 263 fn new(db: &'a D, scopes: Arc<FnScopes>, module: Module) -> Self {
264 InferenceContext { 264 InferenceContext {
265 type_for: FxHashMap::default(), 265 type_of: FxHashMap::default(),
266 db, 266 db,
267 scopes, 267 scopes,
268 module, 268 module,
@@ -270,7 +270,7 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
270 } 270 }
271 271
272 fn write_ty(&mut self, node: SyntaxNodeRef, ty: Ty) { 272 fn write_ty(&mut self, node: SyntaxNodeRef, ty: Ty) {
273 self.type_for.insert(LocalSyntaxPtr::new(node), ty); 273 self.type_of.insert(LocalSyntaxPtr::new(node), ty);
274 } 274 }
275 275
276 fn unify(&mut self, ty1: &Ty, ty2: &Ty) -> Option<Ty> { 276 fn unify(&mut self, ty1: &Ty, ty2: &Ty) -> Option<Ty> {
@@ -299,7 +299,7 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
299 // resolve locally 299 // resolve locally
300 let name = ctry!(ast_path.segment().and_then(|s| s.name_ref())); 300 let name = ctry!(ast_path.segment().and_then(|s| s.name_ref()));
301 if let Some(scope_entry) = self.scopes.resolve_local_name(name) { 301 if let Some(scope_entry) = self.scopes.resolve_local_name(name) {
302 let ty = ctry!(self.type_for.get(&scope_entry.ptr())); 302 let ty = ctry!(self.type_of.get(&scope_entry.ptr()));
303 return Ok(Some(ty.clone())); 303 return Ok(Some(ty.clone()));
304 }; 304 };
305 }; 305 };
@@ -577,10 +577,10 @@ pub fn infer(db: &impl HirDatabase, function: Function) -> Cancelable<InferenceR
577 }; 577 };
578 if let Some(type_ref) = param.type_ref() { 578 if let Some(type_ref) = param.type_ref() {
579 let ty = Ty::new(db, type_ref)?; 579 let ty = Ty::new(db, type_ref)?;
580 ctx.type_for.insert(LocalSyntaxPtr::new(pat.syntax()), ty); 580 ctx.type_of.insert(LocalSyntaxPtr::new(pat.syntax()), ty);
581 } else { 581 } else {
582 // TODO self param 582 // TODO self param
583 ctx.type_for 583 ctx.type_of
584 .insert(LocalSyntaxPtr::new(pat.syntax()), Ty::Unknown); 584 .insert(LocalSyntaxPtr::new(pat.syntax()), Ty::Unknown);
585 }; 585 };
586 } 586 }
@@ -596,6 +596,6 @@ pub fn infer(db: &impl HirDatabase, function: Function) -> Cancelable<InferenceR
596 // TODO 'resolve' the types: replace inference variables by their inferred results 596 // TODO 'resolve' the types: replace inference variables by their inferred results
597 597
598 Ok(InferenceResult { 598 Ok(InferenceResult {
599 type_for: ctx.type_for, 599 type_of: ctx.type_of,
600 }) 600 })
601} 601}
diff --git a/crates/ra_hir/src/ty/tests.rs b/crates/ra_hir/src/ty/tests.rs
index e0458327a..021227749 100644
--- a/crates/ra_hir/src/ty/tests.rs
+++ b/crates/ra_hir/src/ty/tests.rs
@@ -26,7 +26,7 @@ fn infer_file(content: &str) -> String {
26 .unwrap() 26 .unwrap()
27 .unwrap(); 27 .unwrap();
28 let inference_result = func.infer(&db).unwrap(); 28 let inference_result = func.infer(&db).unwrap();
29 for (syntax_ptr, ty) in &inference_result.type_for { 29 for (syntax_ptr, ty) in &inference_result.type_of {
30 let node = syntax_ptr.resolve(&source_file); 30 let node = syntax_ptr.resolve(&source_file);
31 write!( 31 write!(
32 acc, 32 acc,