rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

consistently treat bool as i8

Browse Source
This commit is contained in:
Skgland
2025-09-28 18:29:20 +02:00
committed by Bennet Bleßmann
parent 1add5a9a75
commit 6e7dbfc75e
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/ffi.rs
View File

@@ -733,7 +733,7 @@ impl ForeignFunctionTable {
match FfiType::from_atom(&kind) { match FfiType::from_atom(&kind) {
FfiType::Void => Err(FfiError::VoidArgumentType), FfiType::Void => Err(FfiError::VoidArgumentType),
FfiType::Bool => { FfiType::Bool => {
let val = args.as_int::<u8>()?; let val = args.as_int::<i8>()?;
let init = match val { let init = match val {
0 => false, 0 => false,
1 => true, 1 => true,
@@ -796,8 +796,8 @@ impl ForeignFunctionTable {
match FfiType::from_atom(&kind) { match FfiType::from_atom(&kind) {
FfiType::Void => Err(FfiError::VoidArgumentType), FfiType::Void => Err(FfiError::VoidArgumentType),
FfiType::Bool | FfiType::U8 => Ok(unsafe { read_int::<u8>(ptr, arena) }), FfiType::U8 => Ok(unsafe { read_int::<u8>(ptr, arena) }),
FfiType::I8 => Ok(unsafe { read_int::<i8>(ptr, arena) }), FfiType::Bool | FfiType::I8 => Ok(unsafe { read_int::<i8>(ptr, arena) }),
FfiType::U16 => Ok(unsafe { read_int::<u16>(ptr, arena) }), FfiType::U16 => Ok(unsafe { read_int::<u16>(ptr, arena) }),
FfiType::I16 => Ok(unsafe { read_int::<i16>(ptr, arena) }), FfiType::I16 => Ok(unsafe { read_int::<i16>(ptr, arena) }),
FfiType::U32 => Ok(unsafe { read_int::<u32>(ptr, arena) }), FfiType::U32 => Ok(unsafe { read_int::<u32>(ptr, arena) }),