Merge pull request #872 from notoria/charsio

Extend alnum, add forgotten graphic_token
This commit is contained in:
Mark Thom
2021-03-18 14:51:36 -06:00
committed by GitHub
2 changed files with 8 additions and 6 deletions

View File

@@ -81,6 +81,7 @@ char_type(Char, Type) :-
ctype(alnum).
ctype(alpha).
ctype(alphabetic).
ctype(alphanumeric).
ctype(ascii).
ctype(ascii_graphic).
ctype(ascii_punctuation).
@@ -89,6 +90,7 @@ ctype(control).
ctype(decimal_digit).
ctype(exponent).
ctype(graphic).
ctype(graphic_token).
ctype(hexadecimal_digit).
ctype(layout).
ctype(lower).