module/language/ecmascript/compile-ghil.scm

   1 ;;; ECMAScript for Guile
   2
   3 ;; Copyright (C) 2009 Free Software Foundation, Inc.
   4
   5 ;; This program is free software; you can redistribute it and/or modify
   6 ;; it under the terms of the GNU General Public License as published by
   7 ;; the Free Software Foundation; either version 2, or (at your option)
   8 ;; any later version.
   9 ;;
  10 ;; This program 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
  13 ;; GNU General Public License for more details.
  14 ;;
  15 ;; You should have received a copy of the GNU General Public License
  16 ;; along with this program; see the file COPYING.  If not, write to
  17 ;; the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
  18 ;; Boston, MA 02111-1307, USA.
  19
  20 ;;; Code:
  21
  22 (define-module (language ecmascript compile-ghil)
  23   #:use-module (language ghil)
  24   #:use-module (system base pmatch)
  25   #:export (compile-ghil))
  26
  27 (define (compile-ghil exp env opts)
  28   (values
  29   (call-with-ghil-environment (make-ghil-toplevel-env) '()
  30     (lambda (env vars)
  31       (make-ghil-lambda env #f vars #f '() (comp exp env))))
  32   env))
  33
  34 (define (location x)
  35   (and (pair? x)
  36        (let ((props (source-properties x)))
  37          (and (not (null? props))
  38               props))))
  39
  40 (define (comp x e)
  41   (let ((l (location x)))
  42     (pmatch x
  43       (null
  44        ;; FIXME, null doesn't have much relation to EOL...
  45        (make-ghil-quote e l '()))
  46       (true
  47        (make-ghil-quote e l #t))
  48       (false
  49        (make-ghil-quote e l #f))
  50       ((number ,num)
  51        (make-ghil-quote e l num))
  52       ((string ,str)
  53        (make-ghil-quote e l str))
  54       ((+ ,a ,b)
  55        (make-ghil-inline e l 'add (list (comp a e) (comp b e))))
  56       ((- ,a ,b)
  57        (make-ghil-inline e l 'sub (list (comp a e) (comp b e))))
  58       ((/ ,a ,b)
  59        (make-ghil-inline e l 'div (list (comp a e) (comp b e))))
  60       ((* ,a ,b)
  61        (make-ghil-inline e l 'mul (list (comp a e) (comp b e))))
  62       (else
  63        (error "compilation not yet implemented:" x)))))
  64
  65
  66
  67