ENHANCED: allow Roman numerals in strings

Example:

    ?- X = "ↁ".
       X = "ↁ".

This addresses #1790.
This commit is contained in:
Markus Triska
2023-05-03 21:56:04 +02:00
committed by Mark
parent 47d4e6d2f9
commit 5e124ccf44

View File

@@ -20,7 +20,7 @@ macro_rules! alpha_char {
#[macro_export]
macro_rules! alpha_numeric_char {
($c: expr) => {
$crate::alpha_char!($c) || $crate::decimal_digit_char!($c)
$crate::alpha_char!($c) || $c.is_numeric()
};
}