Documentation update.

* HACKING: Target is R6RS-like, at least having syntax-case.
* README: Likewise.
* guix.scm: Likewise.
This commit is contained in:
Jan Nieuwenhuizen 2016-11-20 21:45:12 +01:00
parent 2823fca025
commit 09a21626a8
4 changed files with 5 additions and 5 deletions

View File

@ -2,7 +2,7 @@
* Fully source-based bootstrapping * Fully source-based bootstrapping
** R5RS-like scheme interpreter ** R6RS-like scheme interpreter
This first part is prototyped in C by the mes.c core and Scheme This first part is prototyped in C by the mes.c core and Scheme
bootstrap code in module/. Of course, while mes.c is pretty small it bootstrap code in module/. Of course, while mes.c is pretty small it
cannot serve as a fully source-based solution. cannot serve as a fully source-based solution.
@ -14,7 +14,7 @@ metamorphose into R6RS. It seemed to work but performance of the
LISP-intepreted RRS was so bad (~1000x slower than initial LISP-1.5) LISP-intepreted RRS was so bad (~1000x slower than initial LISP-1.5)
that this track was abandoned after the initial ANNOUNCE. that this track was abandoned after the initial ANNOUNCE.
The route changed trying strike a balance between core size and The route changed trying to strike a balance between core size and
performance: still writing as much as possible in Scheme, but having a performance: still writing as much as possible in Scheme, but having a
mescc compiler that takes not more than some seconds to run. mescc compiler that takes not more than some seconds to run.

2
NEWS
View File

@ -30,6 +30,6 @@ these are provided from a Scheme version of implemented eval/apply.
*** Macro expansion can be inspected in the REPL, e.g.: *** Macro expansion can be inspected in the REPL, e.g.:
,expand (and 0 1) ,expand (and 0 1)
** Noteworthy bug fixes ** Noteworthy bug fixes
*** Performance of (e.g. scripts/mescc.mes) has been improved by a factor of 40. *** Performance: scripts/mescc.mes now takes 2s to compile main.c (was 1'20").
*** Symbols are now truly unique. *** Symbols are now truly unique.
* '(), #t, #f are no longer symbols. * '(), #t, #f are no longer symbols.

2
README
View File

@ -4,7 +4,7 @@ Mes -- Maxwell Equations of Software
Mes aims to create an entirely source-based bootstrapping path. The Mes aims to create an entirely source-based bootstrapping path. The
target is to [have GuixSD] boostrap from a minimal, easily inspectable target is to [have GuixSD] boostrap from a minimal, easily inspectable
binary --that should be readable as source-- into something close to binary --that should be readable as source-- into something close to
R5RS Scheme. R6RS Scheme.
As bootstrapping is presumably easiest and probably most fun with As bootstrapping is presumably easiest and probably most fun with
Scheme, the next step for Mes is mescc: a C compiler/linker to Scheme, the next step for Mes is mescc: a C compiler/linker to

View File

@ -76,7 +76,7 @@
"Mes aims to create an entirely source-based bootstrapping path. "Mes aims to create an entirely source-based bootstrapping path.
The target is to [have GuixSD] boostrap from a minimal, easily The target is to [have GuixSD] boostrap from a minimal, easily
inspectable binary --that should be readable as source-- into inspectable binary --that should be readable as source-- into
something close to R5RS Scheme.") something close to R6RS Scheme.")
(home-page "https://gitlab.com/janneke/mes") (home-page "https://gitlab.com/janneke/mes")
(license gpl3+))) (license gpl3+)))