Add loadable modules.
[mes.git] / module / mes / syntax.mes
1 ;; -*-scheme-*-
2
3 ;;; Mes --- Maxwell Equations of Software
4 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
5 ;;;
6 ;;; This file is part of Mes.
7 ;;;
8 ;;; Mes is free software; you can redistribute it and/or modify it
9 ;;; under the terms of the GNU General Public License as published by
10 ;;; the Free Software Foundation; either version 3 of the License, or (at
11 ;;; your option) any later version.
12 ;;;
13 ;;; Mes is distributed in the hope that it will be useful, but
14 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
15 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16 ;;; GNU General Public License for more details.
17 ;;;
18 ;;; You should have received a copy of the GNU General Public License
19 ;;; along with Mes.  If not, see <http://www.gnu.org/licenses/>.
20
21 ;;; Commentary:
22
23 ;;; syntax.mes is loaded after scm.mes.  It provides the R5RS hygienic
24 ;;; macros define-syntax, syntax-rules and define-syntax-rule.
25 ;;; syntax-rules is adapted from scheme48-1.1/scheme/alt/syntax.scm
26
27 ;;; Code:
28 (mes-use-module (mes scm))
29 (mes-use-module (mes syntax.upstream))
30
31 (define (syntax-error message thing)
32   (display "syntax-error:" (current-error-port))
33   (display message (current-error-port))
34   (display ":" (current-error-port))
35   (display thing (current-error-port))
36   (newline (current-error-port)))
37
38 (define (silent-syntax-error message thing)
39   *unspecified*)
40
41 (define-macro (define-syntax-rule id-pattern . template)
42   `(define-syntax ,(car id-pattern)
43      (syntax-rules ()
44        ((,(car id-pattern) . ,(cdr id-pattern)) ,@template))))
45
46 (define-macro (let-syntax bindings . rest)
47   `((lambda ()
48       ,@(map (lambda (binding)
49                `(define-macro (,(car binding) . args)
50                   (,(cadr binding) (cons ',(car binding) args)
51                    (lambda (x0) x0)
52                    eq?)))
53              bindings)
54       ,@rest)))