ice-9/safe-r5rs.scm

   1 ;;;;    Copyright (C) 2000, 2001 Free Software Foundation, Inc.
   2 ;;;;
   3 ;;;; This program is free software; you can redistribute it and/or modify
   4 ;;;; it under the terms of the GNU General Public License as published by
   5 ;;;; the Free Software Foundation; either version 2, or (at your option)
   6 ;;;; any later version.
   7 ;;;;
   8 ;;;; This program is distributed in the hope that it will be useful,
   9 ;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
  10 ;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11 ;;;; GNU General Public License for more details.
  12 ;;;;
  13 ;;;; You should have received a copy of the GNU General Public License
  14 ;;;; along with this software; see the file COPYING.  If not, write to
  15 ;;;; the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
  16 ;;;; Boston, MA 02111-1307 USA
  17 ;;;;
  18 ;;;; As a special exception, the Free Software Foundation gives permission
  19 ;;;; for additional uses of the text contained in its release of GUILE.
  20 ;;;;
  21 ;;;; The exception is that, if you link the GUILE library with other files
  22 ;;;; to produce an executable, this does not by itself cause the
  23 ;;;; resulting executable to be covered by the GNU General Public License.
  24 ;;;; Your use of that executable is in no way restricted on account of
  25 ;;;; linking the GUILE library code into it.
  26 ;;;;
  27 ;;;; This exception does not however invalidate any other reasons why
  28 ;;;; the executable file might be covered by the GNU General Public License.
  29 ;;;;
  30 ;;;; This exception applies only to the code released by the
  31 ;;;; Free Software Foundation under the name GUILE.  If you copy
  32 ;;;; code from other Free Software Foundation releases into a copy of
  33 ;;;; GUILE, as the General Public License permits, the exception does
  34 ;;;; not apply to the code that you add in this way.  To avoid misleading
  35 ;;;; anyone as to the status of such modified files, you must delete
  36 ;;;; this exception notice from them.
  37 ;;;;
  38 ;;;; If you write modifications of your own for GUILE, it is your choice
  39 ;;;; whether to permit this exception to apply to your modifications.
  40 ;;;; If you do not wish that, delete this exception notice.
  41 ;;;;
  42 \f
  43 ;;;; Safe subset of R5RS bindings
  44
  45 (define-module (ice-9 safe-r5rs))
  46
  47 (define null-interface (resolve-interface '(ice-9 null)))
  48
  49 (module-use! %module-public-interface null-interface)
  50
  51 (re-export eqv? eq? equal?
  52            number?      complex? real? rational? integer?
  53            exact? inexact?
  54            = < > <= >=
  55            zero? positive?      negative? odd? even?
  56            max min
  57            + * - /
  58            abs
  59            quotient remainder modulo
  60            gcd lcm
  61            ;;numerator denominator XXX
  62            ;;rationalize           XXX
  63            floor ceiling truncate round
  64            exp log sin cos tan asin acos atan
  65            sqrt
  66            expt
  67            make-rectangular make-polar real-part imag-part magnitude angle
  68            exact->inexact inexact->exact
  69
  70            number->string string->number
  71
  72            boolean?
  73            not
  74
  75            pair?
  76            cons car cdr
  77            set-car! set-cdr!
  78            caar cadr cdar cddr
  79            caaar caadr cadar caddr cdaar cdadr cddar cdddr
  80            caaaar caaadr caadar caaddr cadaar cadadr caddar cadddr
  81            cdaaar cdaadr cdadar cdaddr cddaar cddadr cdddar cddddr
  82            null?
  83            list?
  84            list
  85            length
  86            append
  87            reverse
  88            list-tail list-ref
  89            memq memv member
  90            assq assv assoc
  91
  92            symbol?
  93            symbol->string string->symbol
  94
  95            char?
  96            char=? char<? char>? char<=? char>=?
  97            char-ci=? char-ci<? char-ci>? char-ci<=? char-ci>=?
  98            char-alphabetic? char-numeric? char-whitespace?
  99            char-upper-case? char-lower-case?
 100            char->integer integer->char
 101            char-upcase
 102            char-downcase
 103
 104            string?
 105            make-string
 106            string
 107            string-length
 108            string-ref string-set!
 109            string=? string-ci=?
 110            string<? string>? string<=? string>=?
 111            string-ci<? string-ci>? string-ci<=? string-ci>=?
 112            substring
 113            string-length
 114            string-append
 115            string->list list->string
 116            string-copy string-fill!
 117
 118            vector?
 119            make-vector
 120            vector
 121            vector-length
 122            vector-ref vector-set!
 123            vector->list list->vector
 124            vector-fill!
 125
 126            procedure?
 127            apply
 128            map
 129            for-each
 130            force
 131
 132            call-with-current-continuation
 133
 134            values
 135            call-with-values
 136            dynamic-wind
 137
 138            eval
 139
 140            input-port? output-port?
 141            current-input-port current-output-port
 142
 143            read
 144            read-char
 145            peek-char
 146            eof-object?
 147            char-ready?
 148
 149            write
 150            display
 151            newline
 152            write-char
 153
 154            ;;transcript-on
 155            ;;transcript-off
 156            )
 157
 158 (export null-environment)
 159
 160 (define (null-environment n)
 161   (if (not (= n 5))
 162       (scm-error 'misc-error 'null-environment
 163                  "~A is not a valid version"
 164                  (list n)
 165                  '()))
 166   ;; Note that we need to create a *fresh* interface
 167   (let ((interface (make-module 31)))
 168     (set-module-kind! interface 'interface)
 169     (module-use! interface null-interface)
 170     interface))