1cf396a339128a845d6274f4f4340fb8eb8d5ac9
[mes.git] / module / mes / base-0.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 ;;; base-0.mes is the first file being loaded from the Mes core.  It
24 ;;; provides primitives that use Mes internals to create the illusion
25 ;;; of compatibility with Guile.  It is not safe to be run by Guile.
26
27 ;;; Code:
28
29 #f ;; FIXME -- needed for --dump, then --load
30
31 (define (primitive-eval e) (eval-env e (current-module)))
32 (define eval eval-env)
33 (define (expand-macro e) (expand-macro-env e (current-module)))
34
35 (define quotient /)
36
37 (define-macro (defined? x)
38   (list 'assq x '(cddr (current-module))))
39
40 (if (defined? 'current-input-port) #t
41     (define (current-input-port) 0))
42
43 (define (current-output-port) 1)
44 (define (current-error-port) 2)
45 (define (port-filename port) "<stdin>")
46 (define (port-line port) 0)
47 (define (port-column port) 0)
48 (define (ftell port) 0)
49 (define (false-if-exception x) x)
50
51 (define (cons* x . rest)
52   (define (loop rest)
53     (if (null? (cdr rest)) (car rest)
54         (cons (car rest) (loop (cdr rest)))))
55   (loop (cons x rest)))
56
57 (define (apply f h . t) (apply-env f (cons h t) (current-module)))
58 (define (apply f h . t)
59   (if (null? t) (apply-env f h (current-module))
60       (apply f (apply cons* (cons h t)))))
61
62 (define-macro (cond . clauses)
63   (list 'if (pair? clauses)
64         (list (cons
65                'lambda
66                (cons
67                 '(test)
68                 (list (list 'if 'test
69                             (if (pair? (cdar clauses))
70                                 (if (eq? (cadar clauses) '=>)
71                                     (append2 (cddar clauses) '(test))
72                                     (list (cons 'lambda (cons '() (car clauses)))))
73                                 (list (cons 'lambda (cons '() (car clauses)))))
74                             (if (pair? (cdr clauses))
75                                 (cons 'cond (cdr clauses)))))))
76               (car (car clauses)))))
77
78 (define else #t)
79
80 (define (map f l . r)
81   (if (null? l) '()
82       (if (null? r) (cons (f (car l)) (map f (cdr l)))
83           (if (null? (cdr r))
84               (cons (f (car l) (caar r)) (map f (cdr l) (cdar r)))))))
85
86 (define-macro (simple-let bindings . rest)
87   (cons (cons 'lambda (cons (map car bindings) rest))
88         (map cadr bindings)))
89
90 (define-macro (let bindings . rest)
91   (cons 'simple-let (cons bindings rest)))
92
93 (define *input-ports* '())
94 (define-macro (push! stack o)
95   (cons
96    'begin
97    (list
98     (list 'set! stack (list cons o stack))
99     stack)))
100 (define-macro (pop! stack)
101   (list 'let (list (list 'o (list car stack)))
102         (list 'set! stack (list cdr stack))
103         'o))
104 (define-macro (load file)
105   (list 'begin
106      (list 'push! '*input-ports* (list current-input-port))
107      (list 'set-current-input-port (list open-input-file file))
108      (list 'primitive-load)
109      (list 'set-current-input-port (list 'pop! '*input-ports*))))
110 (define (memq x lst)
111   (if (null? lst) #f
112       (if (eq? x (car lst)) lst
113           (memq x (cdr lst)))))
114
115 (define (string-join lst infix)
116   (if (null? (cdr lst)) (car lst)
117       (string-append (car lst) infix (string-join (cdr lst) infix))))
118
119 (define *mes-prefix* "module/")
120 (define (module->file o)
121   (string-append (string-join (map symbol->string o) "/") ".mes"))
122
123 (define *modules* '(mes/base-0.mes))
124 (define (mes-load-module-env module a)
125   (push! *input-ports* (current-input-port))
126   (set-current-input-port (open-input-file (string-append *mes-prefix* (module->file module))))
127   (let ((x (eval-env (append (cons 'begin (read-input-file-env #f a))
128                              '((current-module)))
129                      a)))
130     (set-current-input-port (pop! *input-ports*))
131     x))
132 (define (not x)
133   (if x #f #t))
134 (define-macro (mes-use-module module)
135   (list
136    'begin
137    (list 'if (list 'not (list 'memq (list string->symbol (module->file module)) '*modules*))
138          (list
139           'begin
140           (list 'set! '*modules* (list cons (list string->symbol (module->file module)) '*modules*))
141           ;; (list display "loading file=" (list current-error-port))
142           ;; (list display (module->file module) (list current-error-port))
143           ;; (list newline (list current-error-port))
144           (list 'load (list string-append '*mes-prefix* (module->file module)))))))
145
146 (mes-use-module (srfi srfi-0))
147 (mes-use-module (mes base))
148 (mes-use-module (mes scm))