tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-09-19 07:28:22 +03:00
Code Issues Projects Releases Wiki Activity

Fix expect 'import not found' message in type_check_

Browse Source 
Signed-off-by: Litchi Pi <litchi.pi@protonmail.com>
This commit is contained in:
Litchi Pi 2022-01-06 10:25:00 +01:00
parent 3c11c18359
commit da22ee346d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/typecheck/mod.rs
View File

@ -962,7 +962,7 @@ fn type_check_<S, E>(
let t = state
.resolver
.get(*file_id)
.expect("Internal error: resolved import not found ({:?}) during typechecking.");
.expect("Internal error: resolved import not found during typechecking.");
let ty_import: TypeWrapper =
apparent_type(t.as_ref(), Some(&Envs::from_envs(&envs))).into();
unify(state, strict, ty, ty_import).map_err(|err| err.into_typecheck_err(state, rt.pos))