diff options
author | Andy Wingo <wingo@pobox.com> | 2009-05-07 13:45:03 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2009-05-07 17:32:01 +0200 |
commit | 811d10f5a2297e2fe6a881d02c67c45bf4311a27 (patch) | |
tree | 3286f5be4b1970fe2d5fc2efb3cb9296165ec1fe /module/language/tree-il/spec.scm | |
parent | 1aeb082b8281eb12640d7a42c88a566418c64782 (diff) | |
download | guile-811d10f5a2297e2fe6a881d02c67c45bf4311a27.tar.gz |
new language: tree-il. psyntax generates it when run in compile mode.
* module/Makefile.am: Add tree-il sources.
* module/ice-9/compile-psyntax.scm: Adjust for sc-expand producing
tree-il in compile mode.
* module/ice-9/psyntax.scm: Switch from expand-support to tree-il for
generating output in compile mode. Completely generate tree-il -- the
output wasn't Scheme before, but now it's completely not Scheme.
* module/ice-9/psyntax-pp.scm: Regenerated.
* module/language/scheme/compile-ghil.scm: Strip structures using
tree-il, not expand-support.
* module/language/tree-il.scm:
* module/language/tree-il/spec.scm
* module/language/tree-il/compile-glil.scm: New language. It will compile
to GLIL, though it doesn't yet.
Diffstat (limited to 'module/language/tree-il/spec.scm')
-rw-r--r-- | module/language/tree-il/spec.scm | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/module/language/tree-il/spec.scm b/module/language/tree-il/spec.scm new file mode 100644 index 000000000..d69a4ec37 --- /dev/null +++ b/module/language/tree-il/spec.scm @@ -0,0 +1,52 @@ +;;; Tree Intermediate Language + +;; Copyright (C) 2009 Free Software Foundation, Inc. + +;; This program is free software; you can redistribute it and/or modify +;; it under the terms of the GNU General Public License as published by +;; the Free Software Foundation; either version 2, or (at your option) +;; any later version. +;; +;; This program is distributed in the hope that it will be useful, +;; but WITHOUT ANY WARRANTY; without even the implied warranty of +;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +;; GNU General Public License for more details. +;; +;; You should have received a copy of the GNU General Public License +;; along with this program; see the file COPYING. If not, write to +;; the Free Software Foundation, Inc., 59 Temple Place - Suite 330, +;; Boston, MA 02111-1307, USA. + +;;; Code: + +(define-module (language tree-il spec) + #:use-module (system base language) + #:use-module (language glil) + #:use-module (language tree-il) + #:use-module (language tree-il compile-glil) + #:export (tree-il)) + +(define (write-tree-il exp . port) + (apply write (unparse-tree-il exp) port)) + +(define (parse x) + (make-lambda #f '() '() (parse-tree-il x))) + +(define (join exps env) + (if (or-map (lambda (x) + (or (not (lambda? x)) + (not (null? (lambda-vars x))))) + exps) + (error "tree-il expressions to join must be thunks")) + + (make-lambda #f '() '() (make-sequence #f (map lambda-body exps)))) + +(define-language tree-il + #:title "Tree Intermediate Language" + #:version "1.0" + #:reader read + #:printer write-tree-il + #:parser parse + #:joiner join + #:compilers `((glil . ,compile-glil)) + ) |