diff --git a/database/db_version.anubis b/database/db_version.anubis index ee0bd42..e784f4c 100644 --- a/database/db_version.anubis +++ b/database/db_version.anubis @@ -24,6 +24,16 @@ public type DB_Version: . public define DB_Version + db_version + ( + String version_str, + String hash + )= + db_version(version(version_str), hash) +. + + +public define DB_Version db_v_0 = db_version(version(0), "") . diff --git a/types/version.anubis b/types/version.anubis index 94701ba..8c41b06 100644 --- a/types/version.anubis +++ b/types/version.anubis @@ -16,6 +16,8 @@ public type Version: ) . +public define Maybe(Version) to_Version(String version_string). + public define Version version( Word8 a, @@ -27,6 +29,17 @@ public define Version version( word32(word16(d, c), word16(b, a))) . +public define Version + version + ( + String version_str + )= + if to_Version(version_str) is + { + failure then version(0), + success(_version) then _version + } +. define Maybe(Version) convert_digits_to_Version -- libgit2 0.21.4