From 87b82b5822ca54228cfa6df29be3ad9d4bc47d16 Mon Sep 17 00:00:00 2001 From: Bryan Newbold Date: Mon, 20 Feb 2017 00:05:28 -0800 Subject: Import Upstream version 2d2 --- scheme2c.init | 108 ++++++++++++++++++++++++++++++++++++++++------------------ 1 file changed, 75 insertions(+), 33 deletions(-) (limited to 'scheme2c.init') diff --git a/scheme2c.init b/scheme2c.init index 233285a..f1d9fe6 100644 --- a/scheme2c.init +++ b/scheme2c.init @@ -21,8 +21,8 @@ (define (scheme-implementation-type) 'Scheme->C) -;;; (scheme-implementation-home-page) should return a (string) URL -;;; (Uniform Resource Locator) for this scheme implementation's home +;;; (scheme-implementation-home-page) should return a (string) URI +;;; (Uniform Resource Identifier) for this scheme implementation's home ;;; page; or false if there isn't one. (define (scheme-implementation-home-page) #f) @@ -68,36 +68,69 @@ ;(slib:load-source "filename") ; compiled ;can load compiled files ;(slib:load-compiled "filename") - rev4-report + + ;; Scheme report features + +; rev5-report ;conforms to +; eval ;R5RS two-argument eval +; values ;R5RS multiple values +; dynamic-wind ;R5RS dynamic-wind +; macro ;R5RS high level macros + delay ;has DELAY and FORCE + multiarg-apply ;APPLY can take more than 2 args. + char-ready? + rationalize + rev4-optional-procedures ;LIST-TAIL, STRING->LIST, + ;LIST->STRING, STRING-COPY, + ;STRING-FILL!, LIST->VECTOR, + ;VECTOR->LIST, and VECTOR-FILL! + + rev4-report ;conforms to ;; Follows rev4 as far as I can tell, modulo '() being false, ;; number syntax (see doc), incomplete tail recursion (see ;; docs) and a couple of bugs in some versions -- see below. - rev3-report ;conforms to + ; ieee-p1178 ;conforms to - ;; ieee conformance is ruled out by '() being false, if - ;; nothing else. - rev4-optional-procedures - rev3-procedures -; rev2-procedures - multiarg/and- - multiarg-apply - rationalize - object-hash - delay - promise - with-file - transcript - char-ready? - ieee-floating-point - full-continuation + + rev3-report ;conforms to + +; rev2-procedures ;SUBSTRING-MOVE-LEFT!, + ;SUBSTRING-MOVE-RIGHT!, + ;SUBSTRING-FILL!, + ;STRING-NULL?, APPEND!, 1+, + ;-1+, ?, >=? + object-hash ;has OBJECT-HASH + + multiarg/and- ;/ and - can take more than 2 args. + with-file ;has WITH-INPUT-FROM-FILE and + ;WITH-OUTPUT-FROM-FILE + transcript ;TRANSCRIPT-ON and TRANSCRIPT-OFF + ieee-floating-point ;conforms to IEEE Standard 754-1985 + ;IEEE Standard for Binary + ;Floating-Point Arithmetic. + full-continuation ;can return multiple times + + ;; Other common features + +; srfi ;srfi-0, COND-EXPAND finds all srfi-* +; sicp ;runs code from Structure and + ;Interpretation of Computer + ;Programs by Abelson and Sussman. +; defmacro ;has Common Lisp DEFMACRO +; record ;has user defined data structures + string-port ;has CALL-WITH-INPUT-STRING and + ;CALL-WITH-OUTPUT-STRING +; sort pretty-print - format +; object->string + format ;Common-lisp output formatting trace ;has macros: TRACE and UNTRACE - string-port - system - ;; next two could be added easily to the interpreter -; getenv -; program-arguments +; compiler ;has (COMPILER) +; ed ;(ED) is editor + system ;posix (system ) +; getenv ;posix (getenv ) +; program-arguments ;returns list of strings (argv) +; current-time ;returns time in seconds since 1/1/1970 )) (define pretty-print pp) @@ -151,6 +184,13 @@ (close-input-port insp) res)) +;;; "rationalize" adjunct procedures. +(define (find-ratio x e) + (let ((rat (rationalize x e))) + (list (numerator rat) (denominator rat)))) +(define (find-ratio-between x y) + (find-ratio (/ (+ x y) 2) (/ (- x y) 2))) + ;;; CHAR-CODE-LIMIT is one greater than the largest integer which can ;;; be returned by CHAR->INTEGER. (define char-code-limit 256) @@ -167,7 +207,7 @@ (define-macro defmacro (lambda (f e) (let ((key (cadr f)) (pattern (caddr f)) (body (cdddr f))) - (e `(define-macro ,key + (e `(define-macro ,key (let ((%transformer (lambda ,pattern ,@body))) (lambda (%form %expr) (%expr (apply %transformer (cdr %form)) %expr)))) @@ -211,12 +251,14 @@ (define slib:warn (lambda args - (let ((port (current-error-port))) - (display "Warn: " port) - (for-each (lambda (x) (display x port)) args)))) + (let ((cep (current-error-port))) + (if (provided? 'trace) (print-call-stack cep)) + (display "Warn: " cep) + (for-each (lambda (x) (display x cep)) args)))) ;; define an error procedure for the library (define (slib:error . args) + (if (provided? 'trace) (print-call-stack (current-error-port))) (error 'slib-error: "~a" (apply string-append (map @@ -238,12 +280,12 @@ (define old-gcd gcd) (set! gcd (lambda args (apply old-gcd (remv! 0 args)))) - + ;; STRING->SYMBOL doesn't allocate a new string (set! string->symbol (let ((fred string->symbol)) (lambda (a) (fred (string-append a))))) - + ;; NUMBER->STRING can generate a leading #? (set! number->string (let ((fred number->string)) @@ -252,7 +294,7 @@ (if (char=? #\# (string-ref joe 0)) (substring joe 2 (string-length joe)) joe))))) - + ;; Another bug is bad expansion of LETREC when the body starts with a ;; DEFINE as shown by test.scm -- not fixed here. ))) -- cgit v1.2.3