From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Sun, 28 Sep 2025 16:29:20 +0000 (+0200)
Subject: consistently treat bool as i8
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6e7dbfc75e59c540015f652b6320fc30b399222e;p=scryer-prolog.git

consistently treat bool as i8
---

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