module/language/scheme/compile-tree-il.scm

   1 ;;; Guile Scheme specification
   2
   3 ;; Copyright (C) 2001 Free Software Foundation, Inc.
   4
   5 ;;;; This library is free software; you can redistribute it and/or
   6 ;;;; modify it under the terms of the GNU Lesser General Public
   7 ;;;; License as published by the Free Software Foundation; either
   8 ;;;; version 3 of the License, or (at your option) any later version.
   9 ;;;;
  10 ;;;; This library is distributed in the hope that it will be useful,
  11 ;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 ;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13 ;;;; Lesser General Public License for more details.
  14 ;;;;
  15 ;;;; You should have received a copy of the GNU Lesser General Public
  16 ;;;; License along with this library; if not, write to the Free Software
  17 ;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
  18
  19 ;;; Code:
  20
  21 (define-module (language scheme compile-tree-il)
  22   #:use-module (language tree-il)
  23   #:export (compile-tree-il))
  24
  25 ;;; environment := #f
  26 ;;;                | MODULE
  27 ;;;                | COMPILE-ENV
  28 ;;; compile-env := (MODULE LEXICALS . EXTERNALS)
  29 (define (cenv-module env)
  30   (cond ((not env) #f)
  31         ((module? env) env)
  32         ((and (pair? env) (module? (car env))) (car env))
  33         (else (error "bad environment" env))))
  34
  35 (define (cenv-lexicals env)
  36   (cond ((not env) '())
  37         ((module? env) '())
  38         ((pair? env) (cadr env))
  39         (else (error "bad environment" env))))
  40
  41 (define (cenv-externals env)
  42   (cond ((not env) '())
  43         ((module? env) '())
  44         ((pair? env) (cddr env))
  45         (else (error "bad environment" env))))
  46
  47 (define (make-cenv module lexicals externals)
  48   (cons module (cons lexicals externals)))
  49
  50 (define (location x)
  51   (and (pair? x)
  52        (let ((props (source-properties x)))
  53          (and (not (null? props))
  54               props))))
  55
  56 (define (compile-tree-il x e opts)
  57   (save-module-excursion
  58    (lambda ()
  59      (and=> (cenv-module e) set-current-module)
  60      (let* ((x (sc-expand x 'c '(compile load eval)))
  61             (cenv (make-cenv (current-module)
  62                              (cenv-lexicals e) (cenv-externals e))))
  63        (values x cenv cenv)))))