AbleOS/holey-bytes
3
3
Fork 5
Code Issues 2 Pull requests Packages Projects Releases Wiki Activity

strengthening the error recovery

Browse source 
Signed-off-by: Jakub Doka <jakub.doka2@gmail.com>
This commit is contained in:
Jakub Doka 2024-12-16 15:00:48 +01:00
parent 9fe8d6bbff
commit d2fa41039b
No known key found for this signature in database
GPG key ID: C6E9A89936B8C143
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
lang/src/son.rs
View file

@ -105,6 +105,9 @@ impl Nodes {
} }
fn as_ty(&self, cint: Nid) -> ty::Id { fn as_ty(&self, cint: Nid) -> ty::Id {
if self[citn].ty == ty::Id::NEVER {
return ty::Id::NEVER;
}
debug_assert_eq!(self[cint].ty, ty::Id::TYPE); debug_assert_eq!(self[cint].ty, ty::Id::TYPE);
ty::Id::from(match self[cint].kind { ty::Id::from(match self[cint].kind {
Kind::CInt { value } => value as u64, Kind::CInt { value } => value as u64,