From: Bennet Bleßmann Date: Mon, 17 Feb 2025 19:18:47 +0000 (+0100) Subject: also accept rust type name X-Git-Tag: v0.10.0~29^2~9 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f45426e8ab4357c330d651a7eb9e1671c6fe740c;p=scryer-prolog.git also accept rust type name --- diff --git a/src/ffi.rs b/src/ffi.rs index 1cc762dd..0b4a6757 100644 --- a/src/ffi.rs +++ b/src/ffi.rs @@ -156,14 +156,14 @@ impl ForeignFunctionTable { fn map_type_ffi(&mut self, source: &Atom) -> Result { Ok(match source { - atom!("sint64") => libffi::middle::Type::i64(), - atom!("sint32") => libffi::middle::Type::i32(), - atom!("sint16") => libffi::middle::Type::i16(), - atom!("sint8") => libffi::middle::Type::i8(), - atom!("uint64") => libffi::middle::Type::u64(), - atom!("uint32") => libffi::middle::Type::u32(), - atom!("uint16") => libffi::middle::Type::u16(), - atom!("uint8") => libffi::middle::Type::u8(), + atom!("sint64") | atom!("i64") => libffi::middle::Type::i64(), + atom!("sint32") | atom!("i32") => libffi::middle::Type::i32(), + atom!("sint16") | atom!("i16") => libffi::middle::Type::i16(), + atom!("sint8") | atom!("i8") => libffi::middle::Type::i8(), + atom!("uint64") | atom!("u64") => libffi::middle::Type::u64(), + atom!("uint32") | atom!("u32") => libffi::middle::Type::u32(), + atom!("uint16") | atom!("u16") => libffi::middle::Type::u16(), + atom!("uint8") | atom!("u8") => libffi::middle::Type::u8(), atom!("bool") => libffi::middle::Type::i8(), atom!("void") => libffi::middle::Type::void(), atom!("cstr") => libffi::middle::Type::pointer(),