summaryrefslogtreecommitdiff
path: root/module/language/tree-il/spec.scm
diff options
context:
space:
mode:
authorAndy Wingo <wingo@pobox.com>2009-05-07 13:45:03 +0200
committerAndy Wingo <wingo@pobox.com>2009-05-07 17:32:01 +0200
commit811d10f5a2297e2fe6a881d02c67c45bf4311a27 (patch)
tree3286f5be4b1970fe2d5fc2efb3cb9296165ec1fe /module/language/tree-il/spec.scm
parent1aeb082b8281eb12640d7a42c88a566418c64782 (diff)
downloadguile-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.scm52
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))
+ )