Add loadable modules.
[mes.git] / module / mes / repl.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 ;;; repl.mes defines repl, a repl for Mes.
24
25 ;;; Code:
26
27 (mes-use-module (mes scm))
28
29 (define welcome
30   "Mes 0.2
31 Copyright (C) 2016 Jan Nieuwenhuizen <janneke@gnu.org>
32
33 Mes comes with ABSOLUTELY NO WARRANTY; for details type `,show w'.
34 This program is free software, and you are welcome to redistribute it
35 under certain conditions; type `,show c' for details.
36
37 Enter `,help' for help.
38 ")
39
40 (define warranty
41 "Mes is distributed WITHOUT ANY WARRANTY.  The following
42 sections from the GNU General Public License, version 3, should
43 make that clear.
44
45   15. Disclaimer of Warranty.
46
47   THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY
48 APPLICABLE LAW.  EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT
49 HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM \"AS IS\" WITHOUT WARRANTY
50 OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO,
51 THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
52 PURPOSE.  THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE PROGRAM
53 IS WITH YOU.  SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF
54 ALL NECESSARY SERVICING, REPAIR OR CORRECTION.
55
56   16. Limitation of Liability.
57
58   IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
59 WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MODIFIES AND/OR CONVEYS
60 THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY
61 GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE
62 USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED TO LOSS OF
63 DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD
64 PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS),
65 EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF
66 SUCH DAMAGES.
67
68   17. Interpretation of Sections 15 and 16.
69
70   If the disclaimer of warranty and limitation of liability provided
71 above cannot be given local legal effect according to their terms,
72 reviewing courts shall apply local law that most closely approximates
73 an absolute waiver of all civil liability in connection with the
74 Program, unless a warranty or assumption of liability accompanies a
75 copy of the Program in return for a fee.
76
77 See <http://www.gnu.org/licenses/gpl.html>, for more details.
78 ")
79
80 (define copying
81 "Mes is free software; you can redistribute it and/or modify it
82 under the terms of the GNU General Public License as published by
83 the Free Software Foundation; either version 3 of the License, or (at
84 your option) any later version.
85
86 Mes is distributed in the hope that it will be useful, but
87 WITHOUT ANY WARRANTY; without even the implied warranty of
88 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
89 GNU General Public License for more details.
90
91 You should have received a copy of the GNU General Public License
92 along with Mes.  If not, see <http://www.gnu.org/licenses/>.
93 ")
94
95 (define help-commands
96   "Help Commands:
97
98   ,expand SEXP         - Expand SEXP
99   ,sc-expand SEXP      - SC-expand SEXP
100   ,help                - Show this help
101   ,show TOPIC          - Show info on TOPIC [c, w]
102   ,use MODULE          - load MODULE
103 ")
104
105 (define show-commands
106   "Show commands:
107
108   ,show c              - Show details on licensing; GNU GPLv3+
109   ,show w              - Show details on the lack of warranty
110 ")
111
112 (define (repl)
113   (let ((count 0)
114         (print-sexp? #t))
115     
116     (define (expand)
117       (let ((sexp (read-env (current-module))))
118         (when #t print-sexp?
119               (display "[sexp=")
120               (display sexp)
121               (display "]")
122               (newline))
123         (display (expand-macro sexp))
124         (newline)))
125
126     (define (scexpand)
127       (let ((sexp (read-env (current-module))))
128         (when #t print-sexp?
129               (display "[sexp=")
130               (display sexp)
131               (display "]")
132               (newline))
133         (display (sc-expand sexp))
134         (newline)))
135
136     (define (help . x) (display help-commands))
137     (define (show . x)
138       (define topic-alist `((#\newline . ,show-commands)
139                             (#\c . ,copying)
140                             (#\w . ,warranty)))
141       (let ((topic (read-char)))
142         (display (assoc-ref topic-alist topic))))
143     (define (use a)
144       (lambda ()
145         (let ((module (read-env (current-module))))
146           (mes-load-module-env module a))))
147     (define (meta command a)
148       (let ((command-alist `((expand . ,expand)
149                              (sc-expand . ,scexpand)
150                              (help . ,help)
151                              (show . ,show)
152                              (use . ,(use a)))))
153         ((or (assoc-ref command-alist command)
154              (lambda () #f)))))
155
156     (display welcome)
157     (let loop ((a (current-module)))
158       (display "mes> ")
159       (force-output)
160       (let ((sexp (read-env a)))
161         (when (not (eq? sexp '()))
162           (when print-sexp?
163             (display "[sexp=")
164             (display sexp)
165             (display "]")
166             (newline))
167           (cond ((and (pair? sexp) (eq? (car sexp) (string->symbol "unquote")))
168                  (let ((r (meta (cadr sexp) a)))
169                    (if (pair? r) (loop (append r a))
170                        (loop a))))
171                 ((and (pair? sexp) (eq? (car sexp) 'mes-use-module))
172                  (loop (mes-load-module-env (cadr sexp) a)))
173                 (else (let ((e (eval-env sexp a)))
174                         (if (eq? e *unspecified*) (loop a)
175                             (let ((id (string->symbol (string-append "$" (number->string count)))))
176                               (set! count (+ count 1))
177                               (display id)
178                               (display " = ")
179                               (display e)
180                               (newline)
181                               (loop (acons id e a))))))))))))