NEWS

   1                                                               -*- org -*-
   2 #+TITLE: GNU Mes NEWS – history of user-visible changes
   3 #+STARTUP: content hidestars
   4
   5 Copyright © 2016,2017,2018,2019 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
   6
   7   Copying and distribution of this file, with or without modification,
   8   are permitted in any medium without royalty provided the copyright
   9   notice and this notice are preserved.
  10
  11 Please send Mes bug reports to bug-mes@gnu.org.
  12
  13 * Changes in 0.21 since 0.20
  14 ** Core
  15 *** Mes can now be bootstrapped with Gash and Gash Core Utils.
  16 *** Mes now supports a Scheme-only bootstrap.
  17 *** Mes now supports -c EXPR.
  18 ** MesCC
  19 *** Mes C Library now supports bootstrapping GNU Awk, GNU Bash, GNU SED, and GNU Tar.
  20 *** Mes C Library now has limited float support in vfprintf, vsnprintf, vsscanf.
  21 **** 7 new functions
  22 abtod, atof, creat, dtoab, execlp, isgraph, mknod, readlink, strtod,
  23 symlink.
  24 **** 5 new stubs
  25 getgrgid, getgrnam, getpgid, getpgrp, mktime, setgrent.
  26 ** Noteworthy bug fixes
  27 *** A bug with `mes -c EXPR' has been fixed.
  28 *** The REPL now works again on x86_64.
  29 *** --with-system-libc now works again.
  30 * Changes in 0.20 since 0.19
  31 ** Core
  32 *** The build system has been simplified, again.
  33 Mes now builds ootb on Debian.
  34 *** Mes now supports -c EXPR.
  35 ** Divide by zero is now flagged.
  36 ** Language
  37 *** 1 new function:
  38 take-while.
  39 ** MesCC
  40 *** The C libraries have been exploded into one function per file.
  41 *** MesCC now has enhanced POSIX/gcc comand line support, e.g. -DFOO=1,
  42 -nodefaultlibs,
  43 -nostartfiles,
  44 -nostdlib.
  45 *** The archiver is now called `mesar'.
  46 *** MesCC now supports Nyacc-0.99.
  47 *** MesCC now depends on MesCC-Tools 0.6.0.
  48 *** 1 new function
  49 __mesabi_uldiv.
  50 ** Noteworthy bug fixes
  51 *** interger division has been fixed.
  52 *** isatty now looks at terminfo.
  53 *** signal now uses sigaction correctly for non-x86.
  54 *** string->number now support #x hex-prefix.
  55 *** ungetc now has a buffer per file handle.
  56 * Changes in 0.19 since 0.18
  57 ** Core
  58 *** The build system has been simplified.
  59 *** Mes now prints a backtrace upon error.
  60 *** Performance has been improved 2-8 times, making Mes 2-10 times slower than Guile.
  61 *** Mes now supports a module type and uses a `boot-module'.
  62 *** Mes now supports a hash_table type.
  63 *** Mes now supports a struct type.
  64 *** Mes now supports building a %bootstrap-mes seed from Guix.
  65 ** Language
  66 *** Records are now implemented using struct (WAS: vector).
  67 *** 44 new functions
  68 ceil, char-downcase, char-set-adjoin, char-set-complement,
  69 char-upcase, current-time, delete-file, dup, dup2, file-exists?,
  70 floor, frame-printer, get-internal-run-time, getcwd, gettimeofday,
  71 hash, hash-ref, hash-set!, hash-table-printer, hashq,
  72 hashq-get-handle, hashq-ref, hashq-set, inexact->exact,
  73 make-hash-table, make-stack, make-struct, module-define!,
  74 module-printer, module-ref, module-variable, read-line, round,
  75 stack-length, stack-ref, string-downcase, string-tokenize,
  76 string-upcase, struct-length, struct-ref, struct-set! struct-vtable,
  77 struct-vtable, with-error-to-file.
  78 ** MesCC
  79 *** Assembly defines have been cleaned-up: duplicates deleted, missing added, wrong fixed.
  80 *** MesCC now supports compiling GNU Bash and GNU Tar.
  81 **** 6 New functions
  82 getegid, geteuid, getppid, setgid, setuid, sigdelset, sigprocmask.
  83 **** 22 New macros
  84 EACCES, ENOSPC, ESPIPE, INT16_MAX, INT16_MIN, INT32_MAX, INT32_MIN,
  85 INT64_MAX, INT64_MIN, INT8_MAX, INT8_MIN, LLONG_MAX, LLONG_MIN,
  86 SIZE_MAX SYS_getegid, SYS_geteuid, SYS_setgid SYS_setuid, S_IRGRP,
  87 S_IROTH, S_IRWXG, S_IRWXO S_ISGID, S_ISUID, S_IWGRP, S_IWOTH, S_IXGRP,
  88 S_IXOTH, UINT16_MAX, UINT32_MAX, UINT64_MAX, UINT8_MAX,
  89 _POSIX_VERSION.
  90 ** Noteworthy bug fixes
  91 *** Mes now supports characters #\xNN.
  92 *** Mes now supports assq-ref and assoc-ref with alist == #f.
  93 *** Mes now support \xNN in strings.  Fixes using Nyacc-0.86.0.
  94 *** MesCC now supports the unary plus operator.
  95 *** MesCC now supports the `U' integer suffix.
  96 *** MesCC now comes with INTnn_MIN/MAX, UINTnn defines in stdint.h.
  97 *** MesCC now always exits non-zero when assembler or linker fail.
  98 * Changes in 0.18 since 0.17.1
  99 ** Core
 100 *** Mes/MesCC now supports x86_64.
 101 *** Mes/MesCC now brings a Reduced Binary Seed bootstrap to GuixSD.
 102 ** Language
 103 *** fold-right now supports 3 lists.
 104 ** MesCC
 105 *** MesCC now supports x86_64 (also as cross build), using -m 64.
 106 *** Mes C Library now has better support for bootstrapping gcc-3.0.
 107 *** Mes C test suite now has 178 tests; 74 tests were added.
 108 *** MesCC has been refactored to support use an abstracted assembly language.
 109 *** MesCC now uses Nyacc 0.86.0.
 110 ** Noteworthy bug fixes
 111 *** scaffold/tests/7s-struct-short.c has been fixed.
 112 * Changes in 0.17.1 since 0.17
 113 ** MesCC
 114 *** Mes C Library has now been exploded into a separate C file per function.
 115 *** Mes C Library now bootstraps glibc-2.16.0, binutils-2.20.1, gcc-4.7.4.
 116 *** Mes C Library now supports compiling make-3.82.
 117 *** Mes C Library now supports compiling diffutils-2.7.
 118 *** Mes C Library now supports x86_64.
 119 **** 7 new functions
 120 chdir, clock_gettime, closedir, execl, opendir, readdir, time.
 121 **** 5 new stubs
 122 getlogin, setlocale, setvbuf, sigaddset, sigblock.
 123 ** Noteworthy bug fixes
 124 *** qsort can now handle lists with duplicate entries.
 125
 126 * Changes in 0.17 since 0.16.1
 127 ** Core
 128 *** GNU Mes is now an official GNU package.
 129 *** MesCC is now installed as a regular Guile package.
 130 *** Support --srcdir build.
 131 *** Support all standard GNU make targets.
 132 ** MesCC
 133 *** Mes C Lib now bootstraps glibc-2.2.5, binutils-2.20.1, gcc-4.7.4.
 134 * Changes in 0.16.1 since 0.16
 135 ** Core
 136 *** Mes now builds out of the box on Debian buster/testing.
 137 *** Mes now comes with a generic build recipe: build-aux/setup-mes.sh.
 138 *** Mes now comes with INFO documentation.
 139 ** MesCC
 140 *** MesCC now exits if spawning BLOOD_ELF, M1, or HEX2 fails.
 141 * Changes in 0.16 since 0.15
 142 ** Core
 143 *** Support building with tcc, including Mes C Lib in-line assembly.
 144 *** core:execl now supports 1000 arguments.
 145 ** MesCC
 146 *** Mes C Lib now bootstraps glibc-2.2.5, binutils-2.20.1, gcc-4.1.0.
 147 *** MesCC binaries now run on Linux 4.17 too, i.e. survive Linus' new `sane mmap limits.'
 148 *** MesCC now runs with mescc-tools 0.5 (no = in long options).
 149 **** 3 new C test
 150 88-strrchrc, 97-fopen.c, 98-fopen.c.
 151 ** Noteworthy bug fixes
 152 *** strrchr now stops when it reaches start of string.
 153 *** fopen now return 0 upon failure.  Supports binutils' hack: fd=-2 means `cached'.
 154 *** vfprintf, vsprintf now support precision and width on integers strings better.
 155 *** fread now produces ungetc'd chars too.
 156 *** memcmp now supports comparing 0 bytes, supporting binutils.
 157
 158 *** The unused ELF header data section, identical to the text section, has been removed.
 159 * Changes in 0.15 since 0.14
 160 ** Core
 161 *** Support fork, exec, waitpid.
 162 *** Boot-0 loading has been refactored.
 163 *** MesCC now has out of the box Geiser support.
 164 ** Language
 165 *** 2 new functions
 166 drop, drop-right.
 167 ** MesCC
 168 *** MesCC and Mes C Lib can now build binutils-2.30, gcc-2.95.3 and glibc-2.2.5.
 169 *** MesCC now provides dummy crti.o, crtn.o so that tcc needs not be patched for those.
 170 *** Mes C Lib now supports compiling glibc-2.2.25.
 171 *** Mes C Lib now supports compiling gcc-2.95.3
 172 *** Mes C Lib now supports compiling binutils-2.30.
 173 *** Mes C Lib now supports compiling m4-1.4.
 174 *** Mes C Lib has been split into archs: gcc, x86-mes-gcc and x86-mes.
 175 *** MesCC now has a posixy command line interface.
 176 **** 70 new functions
 177 abs, access, alarm, alloca, atexit, atol, bcmp, bcopy, brk, bzero,
 178 chmod, clearerr, close, dup, dup2, execve, fabs, fcntl, fdgets, feof,
 179 fgets, fileno, fork, freopen, fscanf, fstat, fsync, getcwd, getgid,
 180 getpid, getrusage, getuid, index, ioctl, isalnum, isalpha, isascii,
 181 iscntrl, isprint, ispunct, kill, link, lseek, lstat, mkdir, mktemp,
 182 nanosleep, open, perror, pipe, raise, read, rename, rindex, rmdir,
 183 sbrk, sbrk, setitimer, signal, sleep, stat, strcspn, strdup, strerror,
 184 strncat, strpbrk, strspn, unlink, unsetenv, waitpid.
 185 **** 23 new stubs
 186 abort, atof, bsearch, bsearch, chown, ctime, fpurge, freadahead,
 187 frexp, getpwnam, gmtime, mbstowcs, pclose, popen, rewind, setbuf,
 188 sigsetmask, strftime, sys_siglist, system, times, umask, utime.
 189 **** 10 new C tests
 190 51-strcmp.c, 70-printf.c, 87-sscanf.c, 90-strpbrk.c, 91-fseek.c,
 191 92-stat.c, 93-fread-fwrite.c, 94-unsetenv.c, 95-signal.c, 96-strto.c.
 192
 193 * Changes in 0.14 since 0.13
 194 ** Core
 195 *** Bootstrapped Mes+MesCC  now compiles a tcc that is self-hosting and only slightly patched.
 196 *** The reader now supports binary numbers (previously: read as decimal).
 197 *** String port support has been moved to C.
 198 *** The build has been simplified, the Make-in-Scheme experiment has been removed.
 199 *** 2 new functions
 200 chmod, logxor.
 201 ** Language
 202 *** Mes now supports define-immutable-record-type and single set-field from srfi-9 gnu.
 203 *** 12 new functions
 204 basename, chmod, const, delete-duplicates, logxor, string-contains,
 205 string-map, string-replace, string-trim, string-trim-both,
 206 string-trim-right, unfold.
 207 ** MesCC
 208 *** MesCC now supports standalone usage of nestedly defined enums, structs and unions.
 209 *** MesCC now supports comparison of unsigned and promotion of signed/unsigned -> unsigned.
 210 *** MesCC now supports sign extension for char, short.
 211 *** MesCC now has stubbing for floats; compiling works, data is fu.
 212 *** MesCC now has full suport for switch case, e.g. with default as first clause.
 213 *** MesCC now supports destruction of casted expressions: ((struct foo*)p)->bar.
 214 *** MesCC now has full support for pre/post, e.g.: (foo--)->bar and permutations.
 215 *** MesCC now supports sizeof any expression or type.
 216 *** MesCC now supports initialization of anonymous unions.
 217 *** MesCC now supports bit fields.
 218 *** MesCC now supports valued functions in expressions: destruction and dereferencing.
 219 *** MesCC now supports function-static variables.
 220 *** MesCC now supports initializer lists in structs and unions.
 221 *** MesCC now has full support for heterogeneous variable declarations, e.g.: char p, *x = "foo", buf[3];
 222 **** 4 new functions
 223 __lshrdi3, __ashldi3, __ashrdi3, strncpy.
 224 **** 9 new mlibc stubs
 225 __fixdfdi, __fixsfdi, __fixunsxfdi, __fixxfdi, __floatundixf, ldexp,
 226 strtod, strtof, strtold.
 227 * Changes in 0.13 since 0.12
 228 ** Core
 229 *** Bootstrapped Mes+MesCC can now compile a patched tcc in ~1h45' (~25,000 LOC).
 230 *** MesCC scripts for Mes and Guile are now merged; executable is: `mescc'.
 231 *** Mes now uses only one arena for stop-and-copy; doubles available size.
 232 *** Mes now has a Guile-like command-line interface (mes.repl has been removed).
 233 *** Mes now boots into a full Scheme by default.
 234 *** Mes can now be compiled (MES_MINI=1) to boot into a minimal Scheme (~2000 cells).
 235 *** Mes now creates less garbage in the reader and in
 236 append2, append_reverse, reverse, reverse!, vector-for-each, vector-to-list, vector-map.
 237 *** 5 new functions
 238 append-reverse, chmod, ioctl, isatty, isspace, last_pair, reverse!.
 239 ** Language
 240 *** 3 new functions
 241 char-whitespace?, chmod, isatty?
 242 ** Noteworthy bug fixes
 243 *** Two bugs in the jam scraper/garbage collector have been fixed.
 244 *** equal2_p now uses tail call elimination.
 245 *** Escaped characters in strings are now read and write'd correctly.
 246 *** The repl now expands macros again.
 247 * Changes in 0.12 since 0.11
 248 ** Core
 249 *** Mes can now run Nyacc (0.80.42) to compile itself in ~4min (~3000 LOC).
 250 *** Mes now recursively expands global variables per top level statement.
 251 *** Mes now recursively expands macros per top level statement.
 252 *** Mes now boots from MES_BOOT (default: module/mes/boot-0.scm).
 253 *** Mes now has a full Scheme reader in C again.
 254 This gives a 10x-20x performance improvement and increases the
 255 bootstrap footprint by 160 LOC.
 256 *** Mes reader now supports older abbreviated character forms
 257 #\bel, #\bs, #\ht and #\vt.
 258 *** 3 new functions
 259 equal2?, memq, core:write.
 260 ** Language
 261 *** Mes now has an incremental Scheme semantics test suite with 71 small tests.
 262 *** Variable names can now have ticks.
 263 *** Mes now evaluates expresions of COND only once.
 264 *** srfi-9 records have been reimplemented.
 265 *** #\page is now whitespace.
 266 *** #<eof> is no longer a character.
 267 *** 2 new macros
 268 define-macro*, with-fluids.
 269 *** 9 new functions
 270 dirname, last, reverse-list->string, setenv, string-drop-right,
 271 string-fold, string-fold-right, string-null?, write.
 272 ** MesCC
 273 **** 9 new functions
 274 chmod, getopt_long, ferror, itoab, longjmp, qsort, setenv, setjmp, strtol.
 275 **** 2 new header files
 276 endian.h, sys/signal.h.
 277
 278 * Changes in 0.11 since 0.10
 279 ** MesCC
 280 *** MesCC now compiles a mes-tcc that fails 41/69 of mescc's C tests.
 281 *** MesCC's libc can now be compiled with tcc (syscall support: write).
 282 *** MesCC now compiles a less-patched tcc: -214/+458 lines [WAS: -333/+747].
 283 *** MesCC now supports empty for.
 284 *** MesCC has been greatly refactored, 500/3000 lines have been removed.
 285 *** MesCC now supports complex [struct] by value assign foo.bar, foo->bar, foo[bar].
 286 *** MesCC now depends on Nyacc 0.82.4.
 287 * Changes in 0.10 since 0.9
 288 ** Core
 289 *** 2 new functions
 290 logand, lognot.
 291 *** Mes now includes M1 sources for full source bootstrapping up to tcc.
 292 ** Mescc
 293 *** Mescc now depends on Nyacc 0.81.0.
 294 *** Mescc now compiles a mes-tcc that compiles a trivial C to a running a.out.
 295 *** Mescc now supports several (as used my tinycc) struct by value assignments.
 296 *** Mescc now has _start in a separate crt1.c.
 297 *** Mescc now supports initializer arithmetic.
 298 *** Mescc now supports arrays of struct of arbitrary size.
 299 *** Mescc now supports pointer arithmetic.
 300 *** Mescc now defines __i386__, __linux__.
 301 *** Mescc now supports --*p, ++*p.
 302 *** Mescc now supports int foo[bar] = {baz,...}.
 303 *** Mescc now supports \x00 in strings in M1.
 304 *** Mescc now supports complex enum expressions.  Thanks, rain1!
 305 *** Mescc now supports short.
 306 *** Mescc now supports foo.bar = foo.baz = bla.
 307 *** Mescc now supports foo = bar < baz and comparison permutations.
 308 *** Mescc now supports (anonymous) structs in unions.
 309 *** Mescc now writes M1 strings if possible.
 310 **** 2 improved mlibc functions
 311 malloc, realloc.
 312 **** 13 new mlibc functions
 313 fclose, fgetc, fprintf, fwrite, memcpy, memmove, memset, snprintf, strcat,
 314 strchr, strrchr, strtoull, vnsprintf.
 315 **** 15 new tinycc-support tests
 316 76-pointer-arithmetic.c, 77-pointer-assign.c, 78-union-struct.c,
 317 79-int-array.c, 7a-struct-char-array.c, 7b-struct-int-array.c,
 318 7c-dynarray.c, 7d-cast-char.c, 7e-struct-array-access.c,
 319 7f-struct-pointer-arithmetic.c, 7g-struct-byte-word-field.c,
 320 7h-struct-assign.c, 7i-struct-struct.c, 7j-strtoull.c,
 321 7k-for-each-elem.c.
 322 ** Noteworthy bug fixes
 323 *** Mescc has many fixes for foo.bar[baz], foo[bar].baz with ./-> permutations.
 324 *** Many bugs and limitations in mescc have been fixed and removed.
 325 * Changes in 0.9 since 0.8
 326 ** Core
 327 *** Mes now builds better in non-Guix[SD] legacy distros/environments.  Thanks, rain1!
 328 ** Mescc
 329 *** Mescc now compiles a modified tinycc into a running [mostly segfaulting] mes-tcc.
 330 https://gitlab.com/janneke/tinycc branch wip-mescc.
 331 *** Mescc now supports locals stack frame larger than 1 byte offset.
 332 *** Mescc now supports incomplete struct initializers {0}.
 333 *** Mescc now supports >>=, <<=, ^=, ~.
 334 *** Mescc now supports the comma operator.
 335 *** Mescc now supports mullti-line string initializers.
 336 *** Mescc now supports unions.
 337 *** Mescc now supports arrays in structs.
 338 *** Mescc now supports structs in structs.
 339 *** Mescc now builds and runs with Guile-2.0 (legacy distro support, Guile-2.2 recommended).
 340 *** Mescc has been refactored to use records.
 341 *** Mescc now bundles tinycc's test2 test suite, passes one more test [34/55 pass].
 342 *** Mescc now has an incremental test suite consisting of 56 tests.
 343 *** Mescc now supports stdarg variable argument lists.
 344 *** Mescc now has __GNUC__ unset, #f (WAS: 0).
 345 *** Mescc now depends on Nyacc 0.80.3.
 346 *** Mescc now depends on M1 from [[https://github.com/oriansj/mescc-tools][mescc-tools]] v0.2.
 347 *** Mescc now compiles to M1 object files.
 348 **** 7 new mlibc functions
 349 calloc, close, getcwd, lseek, sprintf, unlink, vprintf.
 350 **** 31 new mlibc stubs
 351 execvp, fclose, fdopen, fflush, fopen, fprintf, fread, free, fseek,
 352 ftell, fwrite, localtime, longjmp, memcpy, memmove, memmove, memset,
 353 qsort, remove, setjump, snprintf, sscanf, strchr, strrchr, strstr,
 354 strtol, strtoll, strtoul, strtoull, time, vnsprintf.
 355 **** 10 new header files
 356 alloca.h, float.h, libgen.h, locale.h, stdbool.h, stddef.h, stdint.h,
 357 stdnoreturn.h, sys/select.h, sys/wait.h.
 358 ** Noteworthy bug fixes
 359 *** Many bugs and limitations in mescc have been fixed and removed.
 360 * Changes in 0.8 since 0.7
 361 ** Mescc
 362 *** Mescc now has experimental annotation support for hex2.
 363 *** Mescc now depends on the hex2 linker from [[https://github.com/oriansj/mescc-tools][mescc-tools]].
 364 Direct ELF output support has been removed.
 365 ELF symbol and string table creation has been removed.
 366 *** Mescc has been simplified by leveraging use labels in hex2 output.
 367 *** Mescc now supports continue in loops.
 368 *** Mescc now compiles to hex2 object files.
 369 ** Language
 370 *** 1 new function
 371 list-index.
 372 * Changes in 0.7 since 0.6
 373 ** Core
 374 *** The minimal C reader is now always included; dependencies
 375 on i686-unknown-linux-gnu-gcc and binary read-0-32.mo have been
 376 dropped, these are now optional.
 377 ** Language
 378 *** Mes reader now supports octal numbers #oXXX.
 379 *** 10 new functions
 380 current-output-port, getopt-long, negate, open-output-file,
 381 option-ref, set-current-output-port, string-rindex, string-suffix?,
 382 with-ouwith-output-to-file, with-output-to-port.
 383 ** Mescc
 384 *** Mescc can now be installed and used alongside a gcc installation.
 385 *** Mescc can now handle const anywhere.
 386 *** Mescc now supports array fields in structs.
 387 *** Mescc now supports forward declarations and typedef.
 388 *** Mescc can now handle comments anywhere.
 389 *** Mescc now supports addition and substraction for enum field values.
 390 *** Mescc now supports anonymous enums.
 391 *** Mescc now supports all C99 header files needed to compile tcc.c.
 392 *** build: C sources are now preprocessed separately, then compiled and linked.
 393 *** build: mlibc and C sources are now compiled separately and then linked.
 394 *** mlibc has been moved from Scheme snippets into C.
 395 *** Mescc now supports -c, -D, -E, -I and -o options.
 396 **** open now supports optional third mode parameter.
 397 ** Noteworthy bug fixes
 398 *** string-index now supports function predicate.
 399 *** number->string for radix > 10 now produces `a' instead of `:'.
 400 * Changes in 0.6 since 0.5
 401 ** Core
 402 *** configure, build now supports x86 and development for arm with-courage.
 403 ** Language
 404 *** Nyacc has been unbundled and is now a dependency.
 405 *** Mes now supports case-lambda.
 406 *** Mes reader now supports abbreviated form for return character #\cr.
 407 *** 1 new function
 408 string-index.
 409 ** Mescc
 410 *** Mescc can be used on regular C sources, like tinycc's tests/test2 suite.
 411 *** make check passes 33/55 of tinycc's test suite etest/test2 tests.
 412 *** Mescc now recognizes `short' as a type.
 413 *** Mescc now supports sizeof (<identifier>), sizeof(<expression>).
 414 *** Mescc now respects enum field initializers and supports enum variables.
 415 *** Mescc now supports binary constants .
 416 *** Mescc now supports assignments from ==, != boolean expressions .
 417 *** Mescc now supports &, ^.
 418 *** Mescc now supports struct pointers.
 419 *** Mescc now supports struct definition with immediatete variable declaration.
 420 *** Mescc now supports calling (returning correctly from) void functions.
 421 *** Mescc now handles case statements breaks without compound correctly.
 422 *** Mescc now has better [int/pointer] array support.
 423 *** Mescc now has better support for simple (non-array-)structs.
 424 *** Mescc now supports multiple declarations in one statement like: int a,b;
 425 **** 2 new mlibc functions
 426 printf, strcpy.
 427 ** Noteworthy bug fixes
 428 *** Installed mes and mes.repl now also run outside of source tree again.
 429 * Changes in 0.5 since 0.4
 430 ** Core
 431 *** Support compilation with Mescc.
 432 *** Support compilation with -nostdinc, -nostdlib using mlibc.
 433 *** Support call-with-current-continuation.
 434 *** Support exception handling, catch/throw.
 435 *** Give sensible error message when a macro is missing.
 436 ** Language
 437 *** Map now supports 4 lists.
 438 *** The reader supports negative hex numbers.
 439 *** 24 new functions
 440 access?, assoc-set! c????r, compose, list->char-set,
 441 open-input-string, read-string, string-delete, with-throw-handler.
 442 ** Mescc
 443 *** Mescc can be used separately as a Nyacc-based C compiler backend for Guile.
 444 *** Switch to Nyacc frontend, update Nyacc to 0.76.5.
 445 *** Mescc now has a test suite, scaffold/t.c.
 446 *** Mescc now includes a minimal C library libc/mlib.c libc/mstart.c.
 447 *** Mescc can now compile mes.c.
 448 ** Noteworthy bug fixes
 449 *** The build system (configure, make) has been refactored.
 450 *** Support map-4.
 451 *** Evaluate arguments of OR only once.
 452 *** Fix assq-set!
 453 *** Fix ,expand in the REPL.
 454
 455 * Changes in 0.4 since 0.3
 456 ** Core
 457 *** Improved performance.
 458 Macros are now memoized; after expansion and before eval'ing the
 459 expanded form, their input s-expression is replaced by the expansion.
 460 This yields a nice performance improvement which finally allowed
 461 moving all non-essential bits from the C-core into Scheme...including
 462 the reader.  The Scheme reader is much, much slower than the previous
 463 C version, making Mes--again-- feel slow.  Think of that as a feature.
 464 *** Bootstrap with minimal reader in C.
 465 The C-reader needs only support reading of words and lists
 466 (s-expressions), line-comments to read the initial [[file:module/mes/read-0.mes][Scheme reader]] which
 467 then takes over and handles reading of quoting, characters, strings,
 468 block-comments.
 469 *** Reduced size.
 470 Total C size: ~1500LOC.  The main Mes evaluator is now ~1000LOC
 471 including cell creation and garbage collector.  This code is able to
 472 execute a Scheme program that has been loaded into memory.  Another
 473 ~500LOC is spent to load a minimal Scheme program and to dump it, to
 474 provide a small posix interface, math functions and do some error
 475 reporting.
 476 *** Programs can be dumped and loaded using --dump and --load.
 477 ** Language
 478 *** Minimal syntactic exception support for Nyacc.
 479 *** Minimal syntactic fluids support for Nyacc.
 480 *** Keywords are now supported.
 481 *** Cond now supports =>.
 482 *** Guile's optargs: lambda* and define* are now supported.
 483 *** #;-comments are now supported.
 484 *** Non-nested #| |#-comments are now supported.
 485 *** Quasisyntax is now supported.
 486 *** R7RS syntax-rules with custom ellipsis, with-ellipsis are now supported.
 487 *** 9 new [partial] modules
 488 (mes fluids), (mes nyacc), (mes optargs), (mes pmatch), (mes peg),
 489 (srfi srfi-13), (srfi srfi-9-psyntax), (srfi srfi-26), (srfi srfi-43),
 490 (rnrs arithmetic bitwise), (sxml xpath)
 491 *** 36 new functions
 492 1+, 1-, abs, and=>, append-reverse, ash, char<=?, char<?, char>=?,
 493 char>?, even?, filter, delete, delq, vector-copy, fold, fold-right,
 494 getenv, iota, keyword->symbol list-head, list-tail, negative?, odd?,
 495 positive?, remove!, remove, string->number, string-copy,
 496 string-prefix?, string=, string=?, symbol->keyword symbol-append,
 497 symbol-prefix?, unless, write, zero?.
 498 ** Noteworthy bug fixes
 499 *** Macros are now memoized.
 500 *** An error is reported when using a wrong number of arguments with a call.
 501 *** Cond now evaluates its test clauses only once.
 502 *** Append can also handle one argument.
 503 *** For-each now supports 2 list arguments.
 504 *** Map now supports 3 list arguments.
 505 *** Backslash in string is supported.
 506 *** Closure is not a pair.
 507 *** All standard characters are supported.
 508 *** Mescc now also runs in Guile.
 509 * Changes in 0.3 since 0.2
 510 ** Core
 511 *** Number-based rather than pointer-based cells.
 512 *** Garbage collector aka Jam scraper.
 513 A variant on SICP's stop and copy Garbage Colletor (Jam Scraper?)
 514 algorithm has been implemented.
 515 *** The reader has been moved to Scheme.
 516 ** Language
 517 *** Simple loadable modules.
 518 *** Srfi-9 and match use handwritten syntax-rules (mes-use-module (mes syntax)).
 519 *** Optional syntax-case using psyntax (mes-use-module (mes psyntax)).
 520 ** Noteworthy bug fixes
 521 *** Srfi-0 has been fixed.
 522 * Changes in 0.2 since 0.1
 523 ** Core
 524 *** Names of symbols and strings are list of characters [WAS: c-string].
 525 *** Sc-expand from pre-R6RS's psyntax has been integrated.
 526 *** Undefined variable error now shows the name of the undefined variable.
 527 *** There is now only one SCM type for builtin functions.
 528 *** Macro expansion has been cleaned-up.
 529 ** Language
 530 *** Mes now provides a subset of R6RS.
 531 *** Mes now provides syntax-case.
 532 *** Mes now provides `load'.
 533 ** Noteworthy bug fixes
 534 *** Using values as second parameter of builtin function yields first value.
 535 *** Quoted internals (e.g. 'if 'lambda) are now symbols.
 536 *** Syntax error now exits.
 537 *** Make+Bash voodoo has been replaced by build-aux/mes-snarf.scm.
 538 *** Apply now accepts multiple list arguments.
 539 *** Apply of character, inernal, number, string is an error.
 540 *** Quasisyntax reading
 541
 542 * Changes in 0.1 (since progress report #2)
 543 ** Core
 544 *** expand_macro is now a separate function.
 545 *** A smaller core can now compiled using BOOT=1.
 546 The smaller core does not provide define, define-macro, or quasiquote;
 547 these are provided from a Scheme version of implemented eval/apply.
 548 ** Language
 549 *** Mes now provides a subset of R5RS.
 550 *** Mes now provides let-syntax.
 551 *** Mes now provides match.
 552 *** Mes now provides quasisyntax, unsyntax and unsyntax-splicing.
 553 ** User interface
 554 *** Mes now provides a REPL, run:
 555     scripts/repl.mes
 556 *** Mes compiler can be run as a script:
 557     scripts/mescc.mes doc/examples/main.c
 558 *** Macro expansion can be inspected in the REPL, e.g.:
 559     ,expand (and 0 1)
 560 ** Noteworthy bug fixes
 561 *** Performance: scripts/mescc.mes now takes 2s to compile main.c (was 1'20").
 562 *** Symbols are now truly unique.
 563   * '(), #t, #f are no longer symbols.