c83ef66265
* scaffold/t.c: New file. * GNUmakefile (mescc-check, t-check): New targets. * module/language/c99/compiler.mes (write-any): Catch weirdness. (make): Add <function> slot. (.function): New accessor. (clone): Handle it. (function->info): Set it. (ast->info): Make tests generic in if, for, while. Add goto, label, !, ==, !=, -, &&. * module/mes/elf-util.mes (lambda/label->list): New function. (text->list): Use it. (functions->text, function-prefix): New function. (function-offset): Use it. (label-offset): New function. * module/mes/elf-util.scm (mes): Export them. * module/mes/elf.mes (make-elf): Use text->list. * module/mes/libc-i386.mes (eputs, puts): Remove. (i386:byte-base-sub): Rename from sub-byte-base. (i386:byte-jump-z): Rename from i386:Xjump-byte-z. (i386:byte-mem->accu): Rename from i386:Xmem-byte->accu. (i386:byte-mem->base): Rename from i386:Xmem-byte->base. (i386:accu->local, i386:accu-non-zero?, i386:accu-zero?, i386:base-sub, i386:byte-sub-base, i386:jump-c, i386:jump-cz, i386:jump-nc, i386:jump-ncz, i386:byte-mem->base, i386:sub-base, i386:test-accu, i386:test-base, i386:test-jump-z, i386:value->base, i386:xor-zf): New functions.
143 lines
4.5 KiB
Scheme
Executable file
143 lines
4.5 KiB
Scheme
Executable file
#! /bin/sh
|
|
# -*-scheme-*-
|
|
echo ' ()' | cat $(dirname $0)/../module/mes/base-0.mes $0 /dev/stdin | $(dirname $0)/../scripts/mes $MES_FLAGS "$@"
|
|
#paredit:||
|
|
exit $?
|
|
!#
|
|
|
|
;;; -*-scheme-*-
|
|
|
|
;;; Mes --- Maxwell Equations of Software
|
|
;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
|
|
;;;
|
|
;;; This file is part of Mes.
|
|
;;;
|
|
;;; Mes is free software; you can redistribute it and/or modify it
|
|
;;; under the terms of the GNU General Public License as published by
|
|
;;; the Free Software Foundation; either version 3 of the License, or (at
|
|
;;; your option) any later version.
|
|
;;;
|
|
;;; Mes is distributed in the hope that it will be useful, but
|
|
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
;;; GNU General Public License for more details.
|
|
;;;
|
|
;;; You should have received a copy of the GNU General Public License
|
|
;;; along with Mes. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
(cond-expand
|
|
(guile-2)
|
|
(guile
|
|
(use-modules (ice-9 optargs)))
|
|
(mes
|
|
(mes-use-module (mes optargs))
|
|
(mes-use-module (mes test))))
|
|
|
|
(pass-if-equal "cond =>" 10
|
|
(cond
|
|
(5 => (lambda (p) (* p 2)))))
|
|
(pass-if-equal "cond => 2" 10
|
|
(cond
|
|
(#f (display "hallo") (newline))
|
|
(5 => (lambda (p) (* p 2)))
|
|
(#t (display "wereld" (newline)))))
|
|
(pass-if-equal "cond => last" 10
|
|
(cond
|
|
(#f (display "hallo") (newline))
|
|
(5 => (lambda (p) (* p 2)))))
|
|
|
|
(pass-if "keyword?" (keyword? #:foo))
|
|
(pass-if "keywords" (eq? #:foo #:foo))
|
|
(pass-if-equal "keyword->symbol" 'foo (keyword->symbol #:foo))
|
|
(pass-if-equal "symbol->keyword" #:foo (symbol->keyword 'foo))
|
|
(pass-if-not "keywords" (eq? #:foo ':foo))
|
|
(pass-if "optargs #:optional" ((lambda* (#:optional (x #f)) x) #t))
|
|
(pass-if-equal "optargs #:optional default" #f ((lambda* (#:optional (x #f)) x)))
|
|
(pass-if "optargs key" ((lambda* (#:key (foo #f)) foo) #:foo #t))
|
|
(pass-if-equal "optargs key default" #f ((lambda* (#:key (foo #f)) foo)))
|
|
|
|
(cond-expand
|
|
(guile (use-modules (system base pmatch)
|
|
(ice-9 optargs)))
|
|
(mes (mes-use-module (mes pmatch))))
|
|
|
|
(define <info> '<info>)
|
|
(define <functions> '<functions>)
|
|
(define <globals> '<globals>)
|
|
(define <locals> '<locals>)
|
|
(define <text> '<text>)
|
|
|
|
(define* (make o #:key (functions '()) (globals '()) (locals '()) (text '()))
|
|
(pmatch o
|
|
(<info> (list <info>
|
|
(cons <functions> functions)
|
|
(cons <globals> globals)
|
|
(cons <locals> locals)
|
|
(cons <text> text)))))
|
|
|
|
;; (define* (make o #:key (functions '()) (globals '()) (locals '()) (text '()))
|
|
;; (format (current-error-port) "make\n")
|
|
;; ((cond ((info? o)
|
|
;; (list <info>
|
|
;; (cons <functions> functions)
|
|
;; (cons <globals> globals)
|
|
;; (cons <locals> locals)
|
|
;; (cons <text> text))))))
|
|
|
|
(define (.functions o)
|
|
(pmatch o
|
|
((<info> . ,alist) (assq-ref alist <functions>))))
|
|
|
|
(define (.globals o)
|
|
(pmatch o
|
|
((<info> . ,alist) (assq-ref alist <globals>))))
|
|
|
|
(define (.locals o)
|
|
(pmatch o
|
|
((<info> . ,alist) (assq-ref alist <locals>))))
|
|
|
|
(define (.text o)
|
|
(pmatch o
|
|
((<info> . ,alist) (assq-ref alist <text>))))
|
|
|
|
(define (info? o)
|
|
(and (pair? o) (eq? (car o) <info>)))
|
|
|
|
;; FIXME: psyntax+pmatch+optarg is broken; BINDINGS-> (g1234 g1234)
|
|
;; iso (function function)
|
|
;; (define (clone o . rest)
|
|
;; (pmatch o
|
|
;; ((<info>
|
|
;; (<functions> . ,functions)
|
|
;; (<globals> . ,globals)
|
|
;; (<locals> . ,locals)
|
|
;; (<text> . ,text))
|
|
;; (let-keywords rest
|
|
;; #f
|
|
;; ((functions functions)
|
|
;; (globals globals)
|
|
;; (locals locals)
|
|
;; (text text))
|
|
;; (make <info> #:functions functions #:globals globals #:locals locals #:text text)))))
|
|
|
|
(define (clone o . rest)
|
|
(format (current-error-port) "clone rest=~a\n" rest)
|
|
(cond ((info? o)
|
|
(let ((functions (.functions o))
|
|
(globals (.globals o))
|
|
(locals (.locals o))
|
|
(text (.text o)))
|
|
(let-keywords rest
|
|
#f
|
|
((functions functions)
|
|
(globals globals)
|
|
(locals locals)
|
|
(text text))
|
|
(make <info> #:functions functions #:globals globals #:locals locals #:text text))))))
|
|
|
|
(pass-if-equal "clone <info>"
|
|
(make <info> #:functions '(0))
|
|
(clone (make <info>) #:functions '(0)))
|
|
|
|
(result 'report)
|