artemist/mes
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
fork of mes with aarch64 support
245 commits 1 branch 0 tags 10 MiB
Scheme 52.9%
C 40.3%
Shell 5.1%
Assembly 0.8%
C++ 0.5%
Other 0.3%
Find a file
Jan Nieuwenhuizen d209a18121 Introduce reference type, use vectors of SCM. 
* mes.c (type): Add REF.
  (scm_t): Add ref, change vector to *scm_t.  Update users.
  (alloc): New function.
  (cons, make_char, make_macro, make_number, make_string,
  internal_make_symbol, make_vector): Use it.
  (make_ref): New function.
  (vector_entry): New function.
  (make_vector, list_to_vector, vector_set_x): Use it.
  (vector_ref): Dereference REF entry.
  (display_helper): Handle REF.
* lib.c (vector_to_list): Handle REF.
* type.c (ref_p): New function.
* tests/vector.test (vector list): New test.

Bugfix vector-ref.

* mes.c (vector-ref): Make copies of simple values.  Fixes lalr.
* tests/vector.test (vector-set! 3): New test.
2016-12-12 20:33:48 +01:00
build-aux Move optional type predicates to type.c. 2016-10-22 12:16:19 +02:00
doc/examples Prepare for 0.1 release: new directory structure. 2016-10-12 23:40:11 +02:00
guile Guile gc experiment: remove global scan variable. 2016-12-12 20:33:48 +01:00
make Update guix hash. 2016-10-18 23:50:09 +02:00
module Introduce reference type, use vectors of SCM. 2016-12-12 20:33:48 +01:00
scripts Move optional type predicates to type.c. 2016-10-22 12:16:19 +02:00
tests Introduce reference type, use vectors of SCM. 2016-12-12 20:33:48 +01:00
.gitignore Generate C header and includes using snarfing. 2016-10-21 22:44:50 +02:00
ANNOUNCE cleanup and doc update. 2016-10-10 23:24:44 +02:00
ANNOUNCE-2 cleanup and doc update. 2016-10-10 23:24:44 +02:00
AUTHORS Prepare for 0.1 release: update READMEs. 2016-10-15 11:54:24 +02:00
configure Release 0.1. 2016-11-20 21:47:47 +01:00
COPYING Add Guile version of John McCarthy's Maxwell Equations of Software. 2016-05-28 16:26:06 +02:00
define.c Move define, define-macro to define.c. 2016-10-22 19:36:54 +02:00
GNUmakefile Move other post-boot and derived functions to lib.c. 2016-10-22 20:51:32 +02:00
guix.scm guix hash: 115jycdz8i1r5sj2fsjqcrh456mayxzaykb8cxxxc3wxfkj8nagf 2016-12-12 20:33:43 +01:00
HACKING Documentation update. 2016-11-20 21:45:12 +01:00
INSTALL Add installation instructions. 2016-10-16 11:24:41 +02:00
lib.c Introduce reference type, use vectors of SCM. 2016-12-12 20:33:48 +01:00
math.c Move arithmetic functions to math.c. 2016-10-22 20:07:12 +02:00
mes.c Introduce reference type, use vectors of SCM. 2016-12-12 20:33:48 +01:00
NEWS Documentation update. 2016-11-20 21:45:12 +01:00
quasiquote.c Avoid gratuitous consing with begin and quasiquote. 2016-10-23 10:08:04 +02:00
README Documentation update. 2016-11-20 21:45:12 +01:00
string.c Move strings to string.c. 2016-10-22 20:18:03 +02:00
type.c Introduce reference type, use vectors of SCM. 2016-12-12 20:33:48 +01:00

README 

                                                              -*- org -*-
Mes -- Maxwell Equations of Software

Mes aims to create an entirely source-based bootstrapping path.  The
target is to [have GuixSD] boostrap from a minimal, easily inspectable
binary --that should be readable as source-- into something close to
R6RS Scheme.

As bootstrapping is presumably easiest and probably most fun with
Scheme, the next step for Mes is mescc: a C compiler/linker to
boostrap into GNU Gcc and GNU Guile, possibly via Tiny-CC.

Mes is inspired by The Maxwell Equations of Software: [[http://www.softwarepreservation.org/projects/LISP/book/LISP%25201.5%2520Programmers%2520Manual.pdf][LISP-1.5]] -- John
McCarthy page 13.

Mes is free software, it is distributed unde the terms of the GNU
General Public Licence version 3 or later.  See the file COPYING.

* Get it

   git clone https://gitlab.com/janneke/mes

* Build it (see INSTALL for full instructions)

   ./configure
   make all
   make check

* REPL it

   scripts/repl.mes

* Mescc compiler

   scripts/mescc.mes doc/examples/main.c