annotate lib/ur/char.ur @ 1576:f6c74b4bc4e6

Change error message display order: only show disjointness/type class failures if all record unifications succeeded
author Adam Chlipala <adam@chlipala.net>
date Sat, 15 Oct 2011 10:31:30 -0400
parents e1cf925e2074
children
rev   line source
adamc@1061 1 type t = char
adamc@1061 2
adamc@1061 3 val isAlnum = Basis.isalnum
adamc@1061 4 val isAlpha = Basis.isalpha
adamc@1061 5 val isBlank = Basis.isblank
adamc@1061 6 val isCntrl = Basis.iscntrl
adamc@1061 7 val isDigit = Basis.isdigit
adamc@1061 8 val isGraph = Basis.isgraph
adamc@1061 9 val isLower = Basis.islower
adamc@1061 10 val isPrint = Basis.isprint
adamc@1061 11 val isPunct = Basis.ispunct
adamc@1061 12 val isSpace = Basis.isspace
adamc@1061 13 val isUpper = Basis.isupper
adamc@1061 14 val isXdigit = Basis.isxdigit
adamc@1061 15 val toLower = Basis.tolower
adamc@1061 16 val toUpper = Basis.toupper
adamc@1128 17
adamc@1128 18 val toInt = Basis.ord
adamc@1128 19 val fromInt = Basis.chr