From a1b77a9248062a3ccf14c8f8399670a9e23f6fde Mon Sep 17 00:00:00 2001 From: totoro Date: Sat, 24 Feb 2018 14:55:55 +0100 Subject: [PATCH] add convert from DB_id to Word32 --- database/db_types.anubis | 12 ++++++++++++ 1 file changed, 12 insertions(+), 0 deletions(-) diff --git a/database/db_types.anubis b/database/db_types.anubis index 0e1276b..0b63b21 100644 --- a/database/db_types.anubis +++ b/database/db_types.anubis @@ -67,6 +67,18 @@ public define Int db_id(_idx) then _idx }. +public define Word32 + to_Word32 + ( + DB_id idx + )= + if idx is + { + none then 0xFFFFFFFF, + db_id(_idx) then truncate_to_Word32(_idx) + } +. + public define DB_id to_DB_id ( -- libgit2 0.21.4