diff options
| author |  fab <fabrice.leal.ch@gmail.com> | 2018-12-11 22:16:37 +0000 |
|---|---|---|
| committer | fab <fabrice.leal.ch@gmail.com> | 2018-12-11 22:16:37 +0000 |
| commit | e452bb052b6c1afbaaa72efb653ea31561333866 (patch) | |
| tree | 0e6a91e91dd84a6387614c974bc17a58d88c47ba /lib/ur | |
| parent | 1ce628ae2ab01799b6f601f0677ea396d1ac1577 (diff) | |
exhaustive testing brought to selenium. bug fix in isspace. useful function to test if char is <128
Diffstat (limited to 'lib/ur')
| -rw-r--r-- | lib/ur/basis.urs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index c9d6556b..c893e65d 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -80,6 +80,7 @@ val ord : char -> int val chr : int -> char val iscodepoint : int -> bool +val issingle : char -> bool (** String operations *) |