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

fix the inference on itf

Browse source
This commit is contained in:
Jakub Doka 2024-11-15 22:53:22 +01:00
parent 12be64965f
commit b1b6d9eba1
No known key found for this signature in database
GPG key ID: C6E9A89936B8C143
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lang/src/son.rs
View file

@ -3307,7 +3307,7 @@ impl<'a> Codegen<'a> {
)) ))
} }
Expr::Directive { name: "itf", args: [expr], .. } => { Expr::Directive { name: "itf", args: [expr], .. } => {
let mut val = self.expr(expr)?; let mut val = self.expr_ctx(expr, Ctx::default().with_ty(ty::Id::INT))?;
let (ret_ty, expected) = match val.ty.simple_size().unwrap() { let (ret_ty, expected) = match val.ty.simple_size().unwrap() {
8 => (ty::Id::F64, ty::Id::INT), 8 => (ty::Id::F64, ty::Id::INT),