196 lines
6.1 KiB
Scheme
196 lines
6.1 KiB
Scheme
|
|
||
|
(library (ikarus chars)
|
||
|
(export char=? char<? char<=? char>? char>=?)
|
||
|
(import
|
||
|
(except (ikarus) char=? char<? char<=? char>? char>=?)
|
||
|
(only (scheme)
|
||
|
$car $cdr
|
||
|
$char= $char< $char<= $char> $char>=))
|
||
|
|
||
|
;;; FIXME: this file is embarrasing
|
||
|
(define char=?
|
||
|
(let ()
|
||
|
(define (err x)
|
||
|
(error 'char=? "~s is not a character" x))
|
||
|
(case-lambda
|
||
|
[(c1 c2)
|
||
|
(if (char? c1)
|
||
|
(if (char? c2)
|
||
|
($char= c1 c2)
|
||
|
(err c2))
|
||
|
(err c1))]
|
||
|
[(c1 c2 c3)
|
||
|
(if (char? c1)
|
||
|
(if (char? c2)
|
||
|
(if (char? c3)
|
||
|
(and ($char= c1 c2)
|
||
|
($char= c2 c3))
|
||
|
(err c3))
|
||
|
(err c2))
|
||
|
(err c1))]
|
||
|
[(c1 . c*)
|
||
|
(if (char? c1)
|
||
|
(let f ([c* c*])
|
||
|
(or (null? c*)
|
||
|
(let ([c2 ($car c*)])
|
||
|
(if (char? c2)
|
||
|
(if ($char= c1 c2)
|
||
|
(f ($cdr c*))
|
||
|
(let g ([c* ($cdr c*)])
|
||
|
(if (null? c*)
|
||
|
#f
|
||
|
(if (char? ($car c*))
|
||
|
(g ($cdr c*))
|
||
|
(err ($car c*))))))
|
||
|
(err c2)))))
|
||
|
(err c1))])))
|
||
|
|
||
|
(define char<?
|
||
|
(let ()
|
||
|
(define (err x)
|
||
|
(error 'char<? "~s is not a character" x))
|
||
|
(case-lambda
|
||
|
[(c1 c2)
|
||
|
(if (char? c1)
|
||
|
(if (char? c2)
|
||
|
($char< c1 c2)
|
||
|
(err c2))
|
||
|
(err c1))]
|
||
|
[(c1 c2 c3)
|
||
|
(if (char? c1)
|
||
|
(if (char? c2)
|
||
|
(if (char? c3)
|
||
|
(and ($char< c1 c2)
|
||
|
($char< c2 c3))
|
||
|
(err c3))
|
||
|
(err c2))
|
||
|
(err c1))]
|
||
|
[(c1 . c*)
|
||
|
(if (char? c1)
|
||
|
(let f ([c1 c1] [c* c*])
|
||
|
(or (null? c*)
|
||
|
(let ([c2 ($car c*)])
|
||
|
(if (char? c2)
|
||
|
(if ($char< c1 c2)
|
||
|
(f c2 ($cdr c*))
|
||
|
(let g ([c* ($cdr c*)])
|
||
|
(if (null? c*)
|
||
|
#f
|
||
|
(if (char? ($car c*))
|
||
|
(g ($cdr c*))
|
||
|
(err ($car c*))))))
|
||
|
(err c2)))))
|
||
|
(err c1))])))
|
||
|
|
||
|
(define char<=?
|
||
|
(let ()
|
||
|
(define (err x)
|
||
|
(error 'char<=? "~s is not a character" x))
|
||
|
(case-lambda
|
||
|
[(c1 c2)
|
||
|
(if (char? c1)
|
||
|
(if (char? c2)
|
||
|
($char<= c1 c2)
|
||
|
(err c2))
|
||
|
(err c1))]
|
||
|
[(c1 c2 c3)
|
||
|
(if (char? c1)
|
||
|
(if (char? c2)
|
||
|
(if (char? c3)
|
||
|
(and ($char<= c1 c2)
|
||
|
($char<= c2 c3))
|
||
|
(err c3))
|
||
|
(err c2))
|
||
|
(err c1))]
|
||
|
[(c1 . c*)
|
||
|
(if (char? c1)
|
||
|
(let f ([c1 c1] [c* c*])
|
||
|
(or (null? c*)
|
||
|
(let ([c2 ($car c*)])
|
||
|
(if (char? c2)
|
||
|
(if ($char<= c1 c2)
|
||
|
(f c2 ($cdr c*))
|
||
|
(let g ([c* ($cdr c*)])
|
||
|
(if (null? c*)
|
||
|
#f
|
||
|
(if (char? ($car c*))
|
||
|
(g ($cdr c*))
|
||
|
(err ($car c*))))))
|
||
|
(err c2)))))
|
||
|
(err c1))])))
|
||
|
|
||
|
(define char>?
|
||
|
(let ()
|
||
|
(define (err x)
|
||
|
(error 'char>? "~s is not a character" x))
|
||
|
(case-lambda
|
||
|
[(c1 c2)
|
||
|
(if (char? c1)
|
||
|
(if (char? c2)
|
||
|
($char> c1 c2)
|
||
|
(err c2))
|
||
|
(err c1))]
|
||
|
[(c1 c2 c3)
|
||
|
(if (char? c1)
|
||
|
(if (char? c2)
|
||
|
(if (char? c3)
|
||
|
(and ($char> c1 c2)
|
||
|
($char> c2 c3))
|
||
|
(err c3))
|
||
|
(err c2))
|
||
|
(err c1))]
|
||
|
[(c1 . c*)
|
||
|
(if (char? c1)
|
||
|
(let f ([c1 c1] [c* c*])
|
||
|
(or (null? c*)
|
||
|
(let ([c2 ($car c*)])
|
||
|
(if (char? c2)
|
||
|
(if ($char> c1 c2)
|
||
|
(f c2 ($cdr c*))
|
||
|
(let g ([c* ($cdr c*)])
|
||
|
(if (null? c*)
|
||
|
#f
|
||
|
(if (char? ($car c*))
|
||
|
(g ($cdr c*))
|
||
|
(err ($car c*))))))
|
||
|
(err c2)))))
|
||
|
(err c1))])))
|
||
|
|
||
|
(define char>=?
|
||
|
(let ()
|
||
|
(define (err x)
|
||
|
(error 'char>=? "~s is not a character" x))
|
||
|
(case-lambda
|
||
|
[(c1 c2)
|
||
|
(if (char? c1)
|
||
|
(if (char? c2)
|
||
|
($char>= c1 c2)
|
||
|
(err c2))
|
||
|
(err c1))]
|
||
|
[(c1 c2 c3)
|
||
|
(if (char? c1)
|
||
|
(if (char? c2)
|
||
|
(if (char? c3)
|
||
|
(and ($char>= c1 c2)
|
||
|
($char>= c2 c3))
|
||
|
(err c3))
|
||
|
(err c2))
|
||
|
(err c1))]
|
||
|
[(c1 . c*)
|
||
|
(if (char? c1)
|
||
|
(let f ([c1 c1] [c* c*])
|
||
|
(or (null? c*)
|
||
|
(let ([c2 ($car c*)])
|
||
|
(if (char? c2)
|
||
|
(if ($char>= c1 c2)
|
||
|
(f c2 ($cdr c*))
|
||
|
(let g ([c* ($cdr c*)])
|
||
|
(if (null? c*)
|
||
|
#f
|
||
|
(if (char? ($car c*))
|
||
|
(g ($cdr c*))
|
||
|
(err ($car c*))))))
|
||
|
(err c2)))))
|
||
|
(err c1))])))
|
||
|
)
|