ref: 7bcf6ac7b612306d197d063aaf6d971ca5dd2e3f
dir: /aliases.scm/
; definitions of standard scheme procedures in terms of femtolisp procedures
; sufficient to run the R5RS version of psyntax
(unless (bound? 'pair?)
(define pair? cons?))
(define top-level-bound? bound?)
(define (eval-core x) (eval x))
(define (symbol-value s) (top-level-value s))
(define (set-symbol-value! s v) (set-top-level-value! s v))
(define (eval x)
((compile-thunk (expand
(if (and (pair? x)
(equal? (car x) "noexpand"))
(cadr x)
x)))))
(define (command-line) *argv*)
(define gensym
(let (($gensym gensym))
(λ ((x #f)) ($gensym))))
(define-macro (begin0 first . rest)
`(prog1 ,first ,@rest))
(define vector-ref aref)
(define vector-set! aset!)
(define vector-length length)
(define make-vector vector-alloc)
(define (vector-fill! v f)
(for 0 (- (length v) 1)
(λ (i) (aset! v i f)))
#t)
(define array-ref aref)
(define (array-set! a obj i0 . idxs)
(if (null? idxs)
(aset! a i0 obj)
(error "array-set!: multiple dimensions not yet implemented")))
(define (array-dimensions a)
(list (length a)))
(define (complex? x) #f)
(define (real? x) (number? x))
(define (rational? x) (integer? x))
(define (exact? x) (integer? x))
(define (inexact? x) (not (exact? x)))
(define (flonum? x) (not (exact? x)))
(define quotient div0)
(define remainder mod0)
(define (inexact x) x)
(define (exact x)
(if (exact? x) x
(error "exact real numbers not supported")))
(define (exact->inexact x) (double x))
(define (inexact->exact x)
(if (integer-valued? x)
(truncate x)
(error "exact real numbers not supported")))
(define (finite? x) (and (< x +inf.0) (> x -inf.0)))
(define (infinite? x) (or (equal? x +inf.0) (equal? x -inf.0)))
(define (char->integer c) (fixnum c))
(define (integer->char i) (rune i))
(define char=? eqv?)
(define char<? <)
(define char>? >)
(define char<=? <=)
(define char>=? >=)
(define string=? eqv?)
(define string<? <)
(define string>? >)
(define string<=? <=)
(define string>=? >=)
(define string-copy copy)
(define string-append string)
(define string->symbol symbol)
(define (symbol->string s) (string s))
(define symbol=? eq?)
(define (make-string k (fill #\space))
(string-rep fill k))
(define string-ref string-char)
(define (list->string l) (apply string l))
(define (string->list s)
(do ((i (string-length s) i)
(l '() (cons (string-char s i) l)))
((= i 0) l)
(set! i (1- i))))
(define substring string-sub)
(define (input-port? x) (iostream? x))
(define (output-port? x) (iostream? x))
(define (port? x) (iostream? x))
(define close-input-port io-close)
(define close-output-port io-close)
(define (read-char (s *input-stream*)) (io-getc s))
(define (peek-char (s *input-stream*)) (io-peekc s))
(define (write-char c (s *output-stream*)) (io-putc s c))
; TODO: unread-char
(define (port-eof? p) (io-eof? p))
(define (open-input-string str)
(let ((b (buffer)))
(io-write b str)
(io-seek b 0)
b))
(define (open-output-string) (buffer))
(define (open-string-output-port)
(let ((b (buffer)))
(values b (λ () (iostream->string b)))))
(define (get-output-string b)
(let ((p (io-pos b)))
(io-seek b 0)
(let ((s (io-readall b)))
(io-seek b p)
(if (eof-object? s) "" s))))
(define (open-input-file name) (file name :read))
(define (open-output-file name) (file name :write :create))
(define (current-input-port (p *input-stream*))
(set! *input-stream* p))
(define (current-output-port (p *output-stream*))
(set! *output-stream* p))
(define (flush-output-port (p *output-stream*))
(io-flush p))
(define input-port-line io-line)
(define get-datum read)
(define (put-datum port x)
(with-bindings ((*print-readably* #t))
(write x port)))
(define (put-u8 port o) (io-write port (uint8 o)))
(define (put-string port s (start 0) (count #f))
(let* ((end (if count
(+ start count)
(string-length s))))
(io-write port (string-sub s start (- end start)))))
(define (io-skipws s)
(let ((c (io-peekc s)))
(if (and (not (eof-object? c)) (char-whitespace? c))
(begin (io-getc s)
(io-skipws s)))))
(define (with-output-to-file name thunk)
(let ((f (file name :write :create :truncate)))
(unwind-protect
(with-output-to f (thunk))
(io-close f))))
(define (with-input-from-file name thunk)
(let ((f (file name :read)))
(unwind-protect
(with-input-from f (thunk))
(io-close f))))
(define (call-with-input-file name proc)
(let ((f (open-input-file name)))
(prog1 (proc f)
(io-close f))))
(define (call-with-output-file name proc)
(let ((f (open-output-file name)))
(prog1 (proc f)
(io-close f))))
(define (file-exists? f) (path-exists? f))
(define (delete-file name) (void)) ; TODO
(define (display x (port *output-stream*))
(with-output-to port (princ x))
#t)
(define assertion-violation
(λ args
(display 'assertion-violation)
(newline)
(display args)
(newline)
(car #f)))
(define pretty-print write)
(define (memp proc ls)
(cond ((null? ls) #f)
((pair? ls) (if (proc (car ls))
ls
(memp proc (cdr ls))))
(else (assertion-violation 'memp "Invalid argument" ls))))
(define (assp pred lst)
(cond ((atom? lst) #f)
((pred (caar lst)) (car lst))
(else (assp pred (cdr lst)))))
(define (for-all proc l . ls)
(or (null? l)
(and (apply proc (car l) (map car ls))
(apply for-all proc (cdr l) (map cdr ls)))))
(define andmap for-all)
(define (exists proc l . ls)
(and (not (null? l))
(or (apply proc (car l) (map car ls))
(apply exists proc (cdr l) (map cdr ls)))))
(define ormap exists)
(define cons* list*)
(define (fold-left f zero lst)
(if (null? lst) zero
(fold-left f (f zero (car lst)) (cdr lst))))
(define fold-right foldr)
(define (dynamic-wind before thunk after)
(before)
(unwind-protect (thunk)
(after)))
; --- gambit
(define arithmetic-shift ash)
(define bitwise-and logand)
(define bitwise-or logior)
(define bitwise-not lognot)
(define bitwise-xor logxor)
(define (include f) (load f))
(define (with-exception-catcher hand thk)
(trycatch (thk)
(λ (e) (hand e))))
(define (current-exception-handler)
; close enough
(λ (e) (raise e)))
(define make-table table)
(define table-ref get)
(define table-set! put!)
(define (read-line (s *input-stream*))
(io-flush *output-stream*)
(io-discardbuffer s)
(io-readline s))
(define (shell-command s) 1)
(define (error-exception-message e) (cadr e))
(define (error-exception-parameters e) (cddr e))
(define (with-output-to-string nada thunk)
(let ((b (buffer)))
(with-output-to b (thunk))
(iostream->string b)))
(define (read-u8) (io-read *input-stream* 'uint8))
(define modulo mod)
(void)