M-Labs/nac3
M-Labs/nac3
8
1
Fork 12
Code Issues 98 Pull Requests 19 Releases Wiki Activity

fix error message string (2)

Browse Source
This commit is contained in:
Sebastien Bourdeauducq 2022-03-02 08:33:10 +08:00
parent da039e3acf
commit 59ac5aae8a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
nac3core/src/typecheck/type_inferencer/mod.rs
View File

@ -923,7 +923,7 @@ impl<'a> Inferencer<'a> {
(Some((ty, true)), _) => Ok(*ty), (Some((ty, true)), _) => Ok(*ty),
(Some((ty, false)), false) => Ok(*ty), (Some((ty, false)), false) => Ok(*ty),
(Some((_, false)), true) => { (Some((_, false)), true) => {
report_error(&format!("Field {} should be immutable", attr), value.location) report_error(&format!("Field `{}` is immutable", attr), value.location)
} }
(None, _) => { (None, _) => {
let t = self.unifier.stringify(ty); let t = self.unifier.stringify(ty);