Mercurial > urweb
view lib/ur/char.ur @ 1249:7c6fc92f6c31
Complain about DValRec; optimizations for unit-valued ECase and forgetting of path conditions across ESeq
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 29 Apr 2010 11:47:24 -0400 |
parents | e1cf925e2074 |
children |
line wrap: on
line source
type t = char val isAlnum = Basis.isalnum val isAlpha = Basis.isalpha val isBlank = Basis.isblank val isCntrl = Basis.iscntrl val isDigit = Basis.isdigit val isGraph = Basis.isgraph val isLower = Basis.islower val isPrint = Basis.isprint val isPunct = Basis.ispunct val isSpace = Basis.isspace val isUpper = Basis.isupper val isXdigit = Basis.isxdigit val toLower = Basis.tolower val toUpper = Basis.toupper val toInt = Basis.ord val fromInt = Basis.chr