3 MES=${MES-$(dirname $0)/../scripts/mes}
4 echo ' ()' | cat $(dirname $0)/../module/mes/base-0.mes $0 /dev/stdin | $MES $MES_FLAGS "$@"
11 ;;; Mes --- Maxwell Equations of Software
12 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
14 ;;; This file is part of Mes.
16 ;;; Mes is free software; you can redistribute it and/or modify it
17 ;;; under the terms of the GNU General Public License as published by
18 ;;; the Free Software Foundation; either version 3 of the License, or (at
19 ;;; your option) any later version.
21 ;;; Mes is distributed in the hope that it will be useful, but
22 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
23 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
24 ;;; GNU General Public License for more details.
26 ;;; You should have received a copy of the GNU General Public License
27 ;;; along with Mes. If not, see <http://www.gnu.org/licenses/>.
30 ;; (display 1)(newline)
47 (define *top-define-a* '*top-define-a*)
48 (display (eq? *top-define-a* '*top-define-a*))
50 (begin (define *top-begin-define-a* '*top-begin-define-a*))
51 (display (eq? *top-begin-define-a* '*top-begin-define-a*))
55 (display 'HALLO) (newline)
57 (define *top-define-a* '*top-define-a*)
58 (define *top-define-b* '*top-define-b*)
59 (display (eq? *top-define-a* '*top-define-a*))
62 (display 'HALLO2) (newline)
64 (define (bla? x y) (eq? x y))
66 (begin (define *top-begin-define-a* '*top-begin-define-a*))
67 (display (eq? *top-begin-define-a* '*top-begin-define-a*))
70 (display 'HALLO3) (newline)
74 (define (m x) (* 2 x))
76 (display (m 1)) (newline)
77 (display (m 2)) (newline)
78 (display (m 3)) (newline)
79 (display (m 4)) (newline)
82 (display 'result:) (display r) (newline))
84 (define-macro (pass-if name t)
87 (list display ''xxxtest:) (list display name)
90 (display 'foo-test:) (newline)
101 (pass-if "if" (eq? (if #t 'true) 'true))
102 (pass-if "if 2" (eq? (if #f #f) *unspecified*))
103 (pass-if "if 3" (eq? (if (eq? 0 '0) 'true 'false) 'true))
104 (pass-if "if 4" (eq? (if (= 1 2) 'true 'false) 'false))
106 ;; (display 10)(newline)
107 ;; (display 11)(newline)
108 ;; (display 12)(newline)
109 ;; (display 13)(newline)
110 ;; (display 14)(newline)
111 ;; (display 15)(newline)
112 ;; (display 16)(newline)
113 ;; (display 17)(newline)
114 ;; (display 18)(newline)
115 ;; (display 19)(newline)
117 ;; (display 14)(newline)
118 ;; (display 15)(newline)
119 ;; (display 16)(newline)
120 ;; (display 17)(newline)
121 ;; (display 18)(newline)
122 ;; (display 19)(newline)
124 ;; (define (result r)
125 ;; (display 'result:) (display r) (newline))
127 ;; (define-macro (pass-if name t)
130 ;; (list display ''xxxtest:) (list display name)
133 ;; (pass-if 'first-dummy: #t)
135 ;; (display 20)(newline)
136 ;; (display 21)(newline)
137 ;; (display 22)(newline)
138 ;; (display 23)(newline)
139 ;; (display 24)(newline)
140 ;; (display 25)(newline)
141 ;; (display 26)(newline)
142 ;; (display 27)(newline)
143 ;; (display 28)(newline)
144 ;; (display 29)(newline)
145 ;; (display 30)(newline)
147 ;; (define *top-define-a* '*top-define-a*)
148 ;; (display (eq? *top-define-a* '*top-define-a*))
150 ;; (begin (define *top-begin-define-a* '*top-begin-define-a*))
151 ;; (display (eq? *top-begin-define-a* '*top-begin-define-a*))
154 ;; (display 31)(newline)
155 ;; (display 32)(newline)
156 ;; (display 33)(newline)
157 ;; (display 34)(newline)
158 ;; (display 35)(newline)
159 ;; (display 36)(newline)
160 ;; (display 37)(newline)
161 ;; (display 38)(newline)
162 ;; (display 39)(newline)
163 ;; (display 40)(newline)
165 ;; (display 41)(newline)
166 ;; (display 42)(newline)
167 ;; (display 43)(newline)
168 ;; (display 44)(newline)
169 ;; (display 45)(newline)
170 ;; (display 46)(newline)
171 ;; (display 47)(newline)
172 ;; (display 48)(newline)
173 ;; (display 49)(newline)
174 ;; (display 50)(newline)
175 ;; (display 51)(newline)
176 ;; (display 52)(newline)
177 ;; (display 53)(newline)
178 ;; (display 54)(newline)
179 ;; (display 55)(newline)
180 ;; (display 56)(newline)
181 ;; (display 57)(newline)
182 ;; (display 58)(newline)
183 ;; (display 59)(newline)
184 ;; (display 60)(newline)
185 ;; (display 61)(newline)
186 ;; (display 62)(newline)
187 ;; (display 63)(newline)
188 ;; (display 64)(newline)
189 ;; (display 65)(newline)
190 ;; (display 66)(newline)
191 ;; (display 67)(newline)
192 ;; (display 68)(newline)
193 ;; (display 69)(newline)
194 ;; (display 70)(newline)
195 ;; (display 71)(newline)
196 ;; (display 72)(newline)
197 ;; (display 73)(newline)
198 ;; (display 74)(newline)
199 ;; (display 75)(newline)
200 ;; (display 76)(newline)
201 ;; (display 77)(newline)
202 ;; (display 78)(newline)
203 ;; (display 79)(newline)
204 ;; (display 80)(newline)
205 ;; (display 81)(newline)
206 ;; (display 82)(newline)
207 ;; (display 83)(newline)
208 ;; (display 84)(newline)
209 ;; (display 85)(newline)
210 ;; (display 86)(newline)
211 ;; (display 87)(newline)
212 ;; (display 88)(newline)
213 ;; (display 89)(newline)
214 ;; (display 90)(newline)
215 ;; (display 91)(newline)
216 ;; (display 92)(newline)
217 ;; (display 93)(newline)
218 ;; (display 94)(newline)
219 ;; (display 95)(newline)
220 ;; (display 96)(newline)
221 ;; (display 97)(newline)
222 ;; (display 98)(newline)
223 ;; (display 99)(newline)
224 ;; (display 100)(newline)
225 ;; (display 101)(newline)
226 ;; (display 102)(newline)
227 ;; (display 103)(newline)
228 ;; (display 104)(newline)
229 ;; (display 105)(newline)
230 ;; (display 106)(newline)
231 ;; (display 107)(newline)
232 ;; (display 108)(newline)
233 ;; (display 109)(newline)
234 ;; (display 110)(newline)
235 ;; (display 111)(newline)
236 ;; (display 112)(newline)
237 ;; (display 113)(newline)
238 ;; (display 114)(newline)
239 ;; (display 115)(newline)
240 ;; (display 116)(newline)
241 ;; (display 117)(newline)
242 ;; (display 118)(newline)
243 ;; (display 119)(newline)
244 ;; (display 120)(newline)
245 ;; (display 121)(newline)
246 ;; (display 122)(newline)
247 ;; (display 123)(newline)
248 ;; (display 124)(newline)
249 ;; (display 125)(newline)
250 ;; (display 126)(newline)
251 ;; (display 127)(newline)
252 ;; (display 128)(newline)
253 ;; (display 129)(newline)
254 ;; (display 130)(newline)
255 ;; (display 131)(newline)
256 ;; (display 132)(newline)
257 ;; (display 133)(newline)
258 ;; (display 134)(newline)
259 ;; (display 135)(newline)
260 ;; (display 136)(newline)
261 ;; (display 137)(newline)
262 ;; (display 138)(newline)
263 ;; (display 139)(newline)
264 ;; (display 140)(newline)
265 ;; (display 141)(newline)
266 ;; (display 142)(newline)
267 ;; (display 143)(newline)
268 ;; (display 144)(newline)
269 ;; (display 145)(newline)
270 ;; (display 146)(newline)
271 ;; (display 147)(newline)
272 ;; (display 148)(newline)
273 ;; (display 149)(newline)
274 ;; (display 150)(newline)
275 ;; (display 151)(newline)
276 ;; (display 152)(newline)
277 ;; (display 153)(newline)
278 ;; (display 154)(newline)
279 ;; (display 155)(newline)
280 ;; (display 156)(newline)
281 ;; (display 157)(newline)
282 ;; (display 158)(newline)
283 ;; (display 159)(newline)
284 ;; (display 160)(newline)
285 ;; (display 161)(newline)
286 ;; (display 162)(newline)
287 ;; (display 163)(newline)
288 ;; (display 164)(newline)
289 ;; (display 165)(newline)
290 ;; (display 166)(newline)
291 ;; (display 167)(newline)
292 ;; (display 168)(newline)
293 ;; (display 169)(newline)
294 ;; (display 170)(newline)
295 ;; (display 171)(newline)
296 ;; (display 172)(newline)
297 ;; (display 173)(newline)
298 ;; (display 174)(newline)
299 ;; (display 175)(newline)
300 ;; (display 176)(newline)
301 ;; (display 177)(newline)
302 ;; (display 178)(newline)
303 ;; (display 179)(newline)
304 ;; (display 180)(newline)
305 ;; (display 181)(newline)
306 ;; (display 182)(newline)
307 ;; (display 183)(newline)
308 ;; (display 184)(newline)
309 ;; (display 185)(newline)
310 ;; (display 186)(newline)
311 ;; (display 187)(newline)
312 ;; (display 188)(newline)
313 ;; (display 189)(newline)
314 ;; (display 190)(newline)
315 ;; (display 191)(newline)
316 ;; (display 192)(newline)
317 ;; (display 193)(newline)
318 ;; (display 194)(newline)
319 ;; (display 195)(newline)
320 ;; (display 196)(newline)
321 ;; (display 197)(newline)
322 ;; (display 198)(newline)
323 ;; (display 199)(newline)
324 ;; (display 200)(newline)