ikarus/src/ikarus.writer.ss

596 lines
17 KiB
Scheme
Raw Normal View History

2006-11-23 19:33:45 -05:00
2006-11-23 19:48:14 -05:00
2007-04-29 23:00:20 -04:00
(library (ikarus writer)
2007-05-05 20:40:23 -04:00
(export write display format printf print-error error-handler
error)
(import
(ikarus system $chars)
(ikarus system $strings)
(ikarus system $fx)
(ikarus system $pairs)
(ikarus system $symbols)
(ikarus system $bytevectors)
2007-05-05 20:40:23 -04:00
(except (ikarus) write display format printf print-error
error-handler error))
2006-11-23 19:33:45 -05:00
(define char-table ; first nonprintable chars
'#("nul" "soh" "stx" "etx" "eot" "enq" "ack" "bel" "bs" "tab" "newline"
"vt" "ff" "return" "so" "si" "dle" "dc1" "dc2" "dc3" "dc4" "nak"
"syn" "etb" "can" "em" "sub" "esc" "fs" "gs" "rs" "us" "space"))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define write-character
(lambda (x p m)
(if m
(let ([i ($char->fixnum x)])
(write-char #\# p)
(cond
[(fx< i (vector-length char-table))
2006-11-23 19:40:06 -05:00
(write-char #\\ p)
2006-11-23 19:33:45 -05:00
(write-char* (vector-ref char-table i) p)]
[(fx< i 127)
2006-11-23 19:40:06 -05:00
(write-char #\\ p)
2006-11-23 19:33:45 -05:00
(write-char x p)]
[(fx= i 127)
2006-11-23 19:40:06 -05:00
(write-char #\\ p)
2006-11-23 19:33:45 -05:00
(write-char* "del" p)]
[else
(write-char #\\ p)
(write-char #\x p)
2006-11-23 19:40:06 -05:00
(write-fixnum i p)]))
2006-11-23 19:33:45 -05:00
(write-char x p))))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define write-list
2006-11-23 19:48:14 -05:00
(lambda (x p m h i)
2006-11-23 19:33:45 -05:00
(cond
2006-11-23 19:48:14 -05:00
[(and (pair? x)
(or (not (get-hash-table h x #f))
(fxzero? (get-hash-table h x 0))))
2006-11-23 19:33:45 -05:00
(write-char #\space p)
2006-11-23 19:48:14 -05:00
(write-list (cdr x) p m h
(writer (car x) p m h i))]
[(null? x) i]
[else
2006-11-23 19:33:45 -05:00
(write-char #\space p)
(write-char #\. p)
(write-char #\space p)
2006-11-23 19:48:14 -05:00
(writer x p m h i)])))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define write-vector
2006-11-23 19:48:14 -05:00
(lambda (x p m h i)
2006-11-23 19:33:45 -05:00
(write-char #\# p)
(write-char #\( p)
(let ([n (vector-length x)])
2006-11-23 19:48:14 -05:00
(let ([i
(cond
[(fx> n 0)
(let f ([idx 1] [i (writer (vector-ref x 0) p m h i)])
(cond
[(fx= idx n)
i]
[else
(write-char #\space p)
(f (fxadd1 idx)
(writer (vector-ref x idx) p m h i))]))]
[else i])])
(write-char #\) p)
i))))
2007-05-05 20:40:23 -04:00
(define write-bytevector
(lambda (x p m h i)
(write-char #\# p)
(write-char #\v p)
(write-char #\u p)
(write-char #\8 p)
(write-char #\( p)
(let ([n ($bytevector-length x)])
(let ([i
(cond
[(fx> n 0)
(let f ([idx 1] [i (writer ($bytevector-u8-ref x 0) p m h i)])
(cond
[(fx= idx n)
i]
[else
(write-char #\space p)
(f (fxadd1 idx)
(writer (bytevector-u8-ref x idx) p m h i))]))]
[else i])])
(write-char #\) p)
i))))
2006-11-23 19:33:45 -05:00
(define write-record
2006-11-23 19:48:14 -05:00
(lambda (x p m h i)
2006-11-23 19:33:45 -05:00
(write-char #\# p)
(write-char #\[ p)
2006-11-23 19:48:14 -05:00
(let ([i (writer (record-name x) p m h i)])
(let ([n (record-length x)])
(let f ([idx 0] [i i])
(cond
[(fx= idx n)
(write-char #\] p)
i]
[else
(write-char #\space p)
(f (fxadd1 idx)
(writer (record-ref x idx) p m h i))]))))))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define initial?
(lambda (c)
(or (letter? c) (special-initial? c))))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define letter?
(lambda (c)
(or (and ($char<= #\a c) ($char<= c #\z))
(and ($char<= #\A c) ($char<= c #\Z)))))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define digit?
(lambda (c)
(and ($char<= #\0 c) ($char<= c #\9))))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define special-initial?
(lambda (x)
(memq x '(#\! #\$ #\% #\& #\* #\/ #\: #\< #\= #\> #\? #\^ #\_ #\~))))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define subsequent?
(lambda (x)
(or (initial? x)
(digit? x)
(special-subsequent? x))))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define special-subsequent?
(lambda (x)
(memq x '(#\+ #\- #\. #\@))))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define subsequent*?
(lambda (str i n)
(or ($fx= i n)
(and (subsequent? ($string-ref str i))
(subsequent*? str ($fxadd1 i) n)))))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define valid-symbol-string?
(lambda (str)
(define normal-symbol-string?
(lambda (str)
(let ([n ($string-length str)])
2006-11-23 19:33:45 -05:00
(and ($fx>= n 1)
(initial? ($string-ref str 0))
(subsequent*? str 1 n)))))
(define peculiar-symbol-string?
(lambda (str)
(let ([n (string-length str)])
(cond
[(fx= n 1)
(memq (string-ref str 0) '(#\+ #\-))]
[(fx>= n 2)
(or (and (char=? (string-ref str 0) #\-)
(char=? (string-ref str 1) #\>)
(subsequent*? str 2 n))
(string=? str "..."))]))))
(or (normal-symbol-string? str)
(peculiar-symbol-string? str))))
2007-04-29 23:00:20 -04:00
2006-11-23 19:33:45 -05:00
(define write-symbol-esc-loop
(lambda (x i n p)
(unless ($fx= i n)
(let ([c ($string-ref x i)])
(when (memq c '(#\\ #\|))
(write-char #\\ p))
(write-char c p))
(write-symbol-esc-loop x ($fxadd1 i) n p))))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define write-symbol-esc
(lambda (x p)
(write-char #\| p)
(write-symbol-esc-loop x 0 ($string-length x) p)
(write-char #\| p)))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define write-symbol
(lambda (x p m)
(let ([str (symbol->string x)])
(if m
(if (valid-symbol-string? str)
(write-char* str p)
(write-symbol-esc str p))
(write-char* str p)))))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define write-gensym
2006-11-23 19:48:14 -05:00
(lambda (x p m h i)
2006-11-23 19:33:45 -05:00
(cond
[(and m (print-gensym)) =>
(lambda (gensym-how)
(case gensym-how
[(pretty)
(let ([str (symbol->string x)])
(write-char #\# p)
(write-char #\: p)
(if (valid-symbol-string? str)
(write-char* str p)
(write-symbol-esc str p)))]
[else
(let ([str (symbol->string x)])
(write-char #\# p)
(write-char #\{ p)
(if (valid-symbol-string? str)
(write-char* str p)
(write-symbol-esc str p))
(write-char #\space p)
(write-symbol-esc (gensym->unique-string x) p)
(write-char #\} p))])
i)]
2006-11-23 19:48:14 -05:00
[else
(write-symbol x p m)
i])))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define write-string-escape
(lambda (x p)
(define loop
(lambda (x i n p)
(unless (fx= i n)
(let ([c (string-ref x i)])
(cond
2006-11-23 19:40:06 -05:00
[(or ($char= #\" c) ($char= #\\ c))
2006-11-23 19:33:45 -05:00
(write-char #\\ p)
(write-char c p)]
2006-12-02 15:58:41 -05:00
[($char= #\newline c)
(write-char #\\ p)
(write-char #\n p)]
2006-12-02 16:07:51 -05:00
[($char= #\return c)
(write-char #\\ p)
(write-char #\r p)]
2006-11-23 19:40:06 -05:00
[($char= #\tab c)
2006-11-23 19:33:45 -05:00
(write-char #\\ p)
(write-char #\t p)]
[else
(write-char c p)]))
(loop x (fxadd1 i) n p))))
(write-char #\" p)
(loop x 0 (string-length x) p)
(write-char #\" p)))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define write-string
(lambda (x p m)
(if m
(write-string-escape x p)
(write-char* x p))))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define write-fixnum
(lambda (x p)
(define loop
(lambda (x p)
(unless (fxzero? x)
(loop (fxquotient x 10) p)
(write-char
($fixnum->char
($fx+ (fxremainder x 10)
($char->fixnum #\0)))
p))))
(cond
[(fxzero? x) (write-char #\0 p)]
[(fx< x 0)
(write-char #\- p)
(if (fx= x -536870912)
(write-char* "536870912" p)
(loop (fx- 0 x) p))]
[else (loop x p)])))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define write-char*
(lambda (x p)
(define loop
(lambda (x i n p)
(unless (fx= i n)
(write-char (string-ref x i) p)
(loop x (fxadd1 i) n p))))
(loop x 0 (string-length x) p)))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define macro
(lambda (x)
(define macro-forms
'([quote . "'"]
[quasiquote . "`"]
[unquote . ","]
[unquote-splicing . ",@"]
[syntax . "#'"]
[|#primitive| . "#%"]))
(and (pair? x)
(let ([d ($cdr x)])
(and (pair? d)
(null? ($cdr d))))
(assq ($car x) macro-forms))))
2007-05-05 20:40:23 -04:00
2006-11-23 19:48:14 -05:00
(define write-pair
(lambda (x p m h i)
(write-char #\( p)
(let ([i (writer (car x) p m h i)])
(let ([i (write-list (cdr x) p m h i)])
(write-char #\) p)
i))))
2007-05-05 20:40:23 -04:00
2006-11-23 19:48:14 -05:00
(define write-ref
(lambda (n p)
(write-char #\# p)
(write-fixnum (fx- -1 n) p)
(write-char #\# p)))
2007-05-05 20:40:23 -04:00
2006-11-23 19:48:14 -05:00
(define write-mark
(lambda (n p)
(write-char #\# p)
(write-fixnum (fx- -1 n) p)
(write-char #\= p)))
2007-05-05 20:40:23 -04:00
2006-11-23 19:48:14 -05:00
(define write-shareable
(lambda (x p m h i k)
(cond
[(get-hash-table h x #f) =>
(lambda (n)
(cond
[(fx< n 0)
(write-ref n p)
i]
[(fx= n 0)
(k x p m h i)]
[else
(let ([i (fx- i 1)])
(put-hash-table! h x i)
(write-mark i p)
(k x p m h i))]))]
[else (k x p m h i)])))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define writer
2006-11-23 19:48:14 -05:00
(lambda (x p m h i)
2006-11-23 19:33:45 -05:00
(cond
[(pair? x)
2006-11-23 19:48:14 -05:00
(write-shareable x p m h i write-pair)]
[(symbol? x)
2006-11-23 19:33:45 -05:00
(if (gensym? x)
2006-11-23 19:48:14 -05:00
(write-gensym x p m h i)
(begin (write-symbol x p m) i))]
2006-11-23 19:33:45 -05:00
[(fixnum? x)
2006-11-23 19:48:14 -05:00
(write-fixnum x p)
i]
2006-11-23 19:33:45 -05:00
[(string? x)
2006-11-23 19:48:14 -05:00
(write-string x p m)
i]
2006-11-23 19:33:45 -05:00
[(boolean? x)
2006-11-23 19:48:14 -05:00
(write-char* (if x "#t" "#f") p)
i]
2006-11-23 19:33:45 -05:00
[(char? x)
2006-11-23 19:48:14 -05:00
(write-character x p m)
i]
2006-11-23 19:33:45 -05:00
[(procedure? x)
2006-11-23 19:48:14 -05:00
(write-char* "#<procedure>" p)
i]
2006-11-23 19:33:45 -05:00
[(output-port? x)
(write-char* "#<output-port " p)
2006-11-23 19:48:14 -05:00
(let ([i (writer (output-port-name x) p #t h i)])
(write-char #\> p)
i)]
2006-11-23 19:33:45 -05:00
[(input-port? x)
(write-char* "#<input-port " p)
2006-11-23 19:48:14 -05:00
(let ([i (writer (input-port-name x) p #t h i)])
(write-char #\> p)
i)]
2006-11-23 19:33:45 -05:00
[(vector? x)
2006-11-23 19:48:14 -05:00
(write-shareable x p m h i write-vector)]
[(bytevector? x)
(write-shareable x p m h i write-bytevector)]
2006-11-23 19:33:45 -05:00
[(null? x)
(write-char #\( p)
2006-11-23 19:48:14 -05:00
(write-char #\) p)
i]
2006-11-23 19:33:45 -05:00
[(eq? x (void))
2006-11-23 19:48:14 -05:00
(write-char* "#<void>" p)
i]
2006-11-23 19:33:45 -05:00
[(eof-object? x)
2006-11-23 19:48:14 -05:00
(write-char* "#!eof" p)
i]
[(bwp-object? x)
(write-char* "#!bwp" p)
i]
[(hash-table? x)
(write-char* "#<hash-table>" p)
i]
2006-11-23 19:33:45 -05:00
[(record? x)
(let ([printer (record-printer x)])
(if (procedure? printer)
2006-11-23 19:48:14 -05:00
(begin (printer x p) i)
(write-shareable x p m h i write-record)))]
[(code? x)
(write-char* "#<code>" p)]
2006-11-23 19:40:06 -05:00
[($unbound-object? x)
2006-11-23 19:48:14 -05:00
(write-char* "#<unbound-object>" p)
i]
;;; [($forward-ptr? x) FIXME reinstate
;;; (write-char* "#<forward-ptr>" p)
;;; i]
2006-11-23 19:48:14 -05:00
[(number? x)
(write-char* (number->string x) p)
i]
2006-11-23 19:33:45 -05:00
[else
2006-11-23 19:48:14 -05:00
(write-char* "#<unknown>" p)
i])))
2007-04-29 23:00:20 -04:00
2006-11-23 19:48:14 -05:00
(define print-graph (make-parameter #f))
2007-04-29 23:00:20 -04:00
2006-11-23 19:48:14 -05:00
(define (hasher x h)
(define (vec-graph x i j h)
(unless (fx= i j)
(graph (vector-ref x i) h)
(vec-graph x (fxadd1 i) j h)))
(define (vec-dynamic x i j h)
(unless (fx= i j)
(dynamic (vector-ref x i) h)
(vec-dynamic x (fxadd1 i) j h)))
(define (graph x h)
(cond
[(pair? x)
(cond
[(get-hash-table h x #f) =>
(lambda (n)
(put-hash-table! h x (fxadd1 n)))]
[else
(put-hash-table! h x 0)
(graph (car x) h)
(graph (cdr x) h)])]
[(vector? x)
(cond
[(get-hash-table h x #f) =>
(lambda (n)
(put-hash-table! h x (fxadd1 n)))]
[else
(put-hash-table! h x 0)
(vec-graph x 0 (vector-length x) h)])]
[(gensym? x)
(cond
[(get-hash-table h x #f) =>
(lambda (n)
(put-hash-table! h x (fxadd1 n)))])]))
(define (dynamic x h)
(cond
[(pair? x)
(cond
[(get-hash-table h x #f) =>
(lambda (n)
(put-hash-table! h x (fxadd1 n)))]
[else
(put-hash-table! h x 0)
(dynamic (car x) h)
(dynamic (cdr x) h)
(when (and (get-hash-table h x #f)
(fxzero? (get-hash-table h x #f)))
(put-hash-table! h x #f))])]
[(vector? x)
(cond
[(get-hash-table h x #f) =>
(lambda (n)
(put-hash-table! h x (fxadd1 n)))]
[else
(put-hash-table! h x 0)
(vec-dynamic x 0 (vector-length x) h)
(when (and (get-hash-table h x #f)
(fxzero? (get-hash-table h x #f)))
(put-hash-table! h x #f))])]))
(if (print-graph)
(graph x h)
(dynamic x h)))
2007-04-29 23:00:20 -04:00
(define (write-to-port x p)
2006-11-23 19:48:14 -05:00
(let ([h (make-hash-table)])
(hasher x h)
(writer x p #t h 0))
2006-11-23 19:40:06 -05:00
(flush-output-port p))
2007-05-05 20:40:23 -04:00
2007-04-29 23:00:20 -04:00
(define (display-to-port x p)
2006-11-23 19:48:14 -05:00
(let ([h (make-hash-table)])
(hasher x h)
(writer x p #f h 0))
2006-11-23 19:40:06 -05:00
(flush-output-port p))
2007-05-05 20:40:23 -04:00
2006-11-23 19:33:45 -05:00
(define formatter
(lambda (who p fmt args)
(let f ([i 0] [args args])
(unless (fx= i (string-length fmt))
(let ([c (string-ref fmt i)])
(cond
2006-11-23 19:40:06 -05:00
[($char= c #\~)
2006-11-23 19:33:45 -05:00
(let ([i (fxadd1 i)])
(when (fx= i (string-length fmt))
(error who "invalid ~~ at end of format string ~s" fmt))
(let ([c (string-ref fmt i)])
(cond
2006-11-23 19:40:06 -05:00
[($char= c #\~)
2006-11-23 19:33:45 -05:00
(write-char #\~ p)
(f (fxadd1 i) args)]
[($char= c #\%)
(write-char #\newline p)
(f (fxadd1 i) args)]
2006-11-23 19:40:06 -05:00
[($char= c #\a)
2006-11-23 19:33:45 -05:00
(when (null? args)
(error who "insufficient arguments"))
2007-04-29 23:00:20 -04:00
(display-to-port (car args) p)
2006-11-23 19:33:45 -05:00
(f (fxadd1 i) (cdr args))]
2006-11-23 19:40:06 -05:00
[($char= c #\s)
2006-11-23 19:33:45 -05:00
(when (null? args)
(error who "insufficient arguments"))
2007-04-29 23:00:20 -04:00
(write-to-port (car args) p)
2006-11-23 19:33:45 -05:00
(f (fxadd1 i) (cdr args))]
[else
(error who "invalid sequence ~~~a" c)])))]
[else
(write-char c p)
(f (fxadd1 i) args)]))))
(flush-output-port p)))
2007-04-29 23:00:20 -04:00
2006-11-23 19:33:45 -05:00
(define fprintf
(lambda (port fmt . args)
(unless (output-port? port)
(error 'fprintf "~s is not an output port" port))
(unless (string? fmt)
(error 'fprintf "~s is not a string" fmt))
(formatter 'fprintf port fmt args)))
2007-05-05 20:40:23 -04:00
2007-01-31 19:07:28 -05:00
(define display-error
(lambda (errname who fmt args)
2006-11-23 19:33:45 -05:00
(unless (string? fmt)
(error 'print-error "~s is not a string" fmt))
(let ([p (standard-error-port)])
(if who
2007-01-31 19:07:28 -05:00
(fprintf p "~a in ~a: " errname who)
(fprintf p "~a: " errname))
2006-11-23 19:33:45 -05:00
(formatter 'print-error p fmt args)
(write-char #\. p)
(newline p))))
2007-05-05 20:40:23 -04:00
(define format
2007-04-29 23:00:20 -04:00
(lambda (fmt . args)
(unless (string? fmt)
(error 'format "~s is not a string" fmt))
(let ([p (open-output-string)])
(formatter 'format p fmt args)
(get-output-string p))))
2007-05-05 20:40:23 -04:00
(define printf
2007-04-29 23:00:20 -04:00
(lambda (fmt . args)
(unless (string? fmt)
(error 'printf "~s is not a string" fmt))
(formatter 'printf (current-output-port) fmt args)))
2007-05-05 20:40:23 -04:00
(define write
2006-11-23 19:40:06 -05:00
(case-lambda
2007-04-29 23:00:20 -04:00
[(x) (write-to-port x (current-output-port))]
2006-11-23 19:40:06 -05:00
[(x p)
(unless (output-port? p)
(error 'write "~s is not an output port" p))
2007-04-29 23:00:20 -04:00
(write-to-port x p)]))
2007-05-05 20:40:23 -04:00
(define display
2006-11-23 19:40:06 -05:00
(case-lambda
2007-04-29 23:00:20 -04:00
[(x) (display-to-port x (current-output-port))]
2006-11-23 19:40:06 -05:00
[(x p)
(unless (output-port? p)
(error 'display "~s is not an output port" p))
2007-04-29 23:00:20 -04:00
(display-to-port x p)]))
2007-05-05 20:40:23 -04:00
(define print-error
2007-01-31 19:07:28 -05:00
(lambda (who fmt . args)
(display-error "Error" who fmt args)))
2007-05-05 20:40:23 -04:00
(define warning
2007-01-31 19:07:28 -05:00
(lambda (who fmt . args)
(display-error "Warning" who fmt args)))
2007-05-05 20:40:23 -04:00
(define error-handler
2006-11-23 19:33:45 -05:00
(make-parameter
(lambda args
(apply print-error args)
2006-11-23 19:40:06 -05:00
(flush-output-port (console-output-port))
(exit -1))
2006-11-23 19:33:45 -05:00
(lambda (x)
(if (procedure? x)
x
(error 'error-handler "~s is not a procedure" x)))))
2007-05-05 20:40:23 -04:00
(define error
2006-11-23 19:33:45 -05:00
(lambda args
(apply (error-handler) args))))
2006-11-23 19:33:45 -05:00