1
1
mirror of https://github.com/tweag/nickel.git synced 2024-10-06 16:18:08 +03:00

StaticRecord -> Record

This commit is contained in:
Oghenevwogaga Ebresafe 2022-10-18 15:04:36 +01:00
parent 7c8efeda08
commit 7c43b9e523

View File

@ -96,10 +96,10 @@ pub fn handle_completion(
// Get static type info
TermKind::Declaration(ident, ..)
if ident.label() == name
&& matches!(ty, Types(AbsType::StaticRecord(..))) =>
&& matches!(ty, Types(AbsType::Record(..))) =>
{
match &ty {
Types(AbsType::StaticRecord(row)) => {
Types(AbsType::Record(row)) => {
Some((extract_ident(row), i.ty.clone()))
}
_ => unreachable!(),
@ -116,7 +116,7 @@ pub fn handle_completion(
.clone()
.iter()
.map(|Contract { types, .. }| match types {
Types(AbsType::StaticRecord(row)) => extract_ident(row),
Types(AbsType::Record(row)) => extract_ident(row),
_ => vec![],
})
.flatten()