39d334d51b
mescc: Support break in while.
...
* module/language/c99/compiler.mes (make): Add break field.
(.break): New function.
(clone): Support break field.
(ast->info): Support break.
* scaffold/t.c (test): Test it.
* scaffold/mini-mes.c (lookup_symbol_): Use it; remove goto workaround.
2017-04-10 06:59:50 +02:00
6009cf95fe
mescc: Refactor switch.
...
* module/language/c99/compiler.mes (case->jump-info): Refactor.
Support multiple case statements.
* scaffold/t.c (swits): Test it.
* lib.c (display_helper)[__NYACC__]: Remove branch.
2017-04-09 06:52:39 +02:00
da3ccf9703
mini-mes: Merge with mes.c: lib.c, math.c, posix.c.
...
* mes.c: Include math.c after posix.c.
(assert_defined, check_formals, check_apply, load_env,
bload_env): Move from lib.c
* scaffold/mini-mes.c: Include mini-lib.h, lib.c., mini-math.h,
math.c, mini-posix.h, posix.c.
(greater_p, less_p, is_p, minus, plus, divide, modulo, multiply,
logior, ash): Remove.
(ungetchar, peekchar, peek_byte, read_byte, write_byte,
string_to_cstring, getenv_, open_input_file, current_input_port,
set_current_input_port, force_output): Remove.
(mes_builtins): include mini-lib.i, mini-lib.environment.i.
mini-math.i, mini-math.environment.i mini-posix.i,
mini-posix.environment.i.
* GNUmakefile (guile-mini-mes): Add dependencies.
2017-04-08 15:01:24 +02:00
2deca502ed
mescc: Refactor assignment.
...
* module/language/c99/compiler.mes (expr->accu): Refactor assignment.
Support multiple operators.
* scaffold/t.c (math_test): Test it.
* scaffold/mini-mes.c (minus, divide, modulo, multiply,
logior)[!__GNUC__]: Remove branch.
2017-04-08 06:31:12 +02:00
da931b4faa
mescc: Factor-out array-ref.
...
* module/language/c99/compiler.mes: Factor-out array-ref.
2017-04-07 23:06:09 +02:00
1eeec4a327
mescc: Refactor expr->base.
...
* module/language/c99/compiler.mes (expr->base): Rename from
expr->+base. Use throughout.
2017-04-07 14:41:47 +02:00
c4697b0e9d
mescc: Refactor binary operators.
...
* module/language/c99/compiler.mes (binop->accu): Rename from
compare->accu. Update callers.
(expr->accu): Use it for binary operators.
* scaffold/t.c (math_test): Test it.
2017-04-07 14:31:35 +02:00
68d90aa645
mescc: Factor-out append-text.
...
* module/language/c99/compiler.mes: Use append-text throughout.
2017-04-07 09:53:56 +02:00
7ccbc00047
mescc: Factor-out wrap-as.
...
* module/language/c99/compiler.mes (wrap-as): Rename from wrap. Use throughout.
2017-04-07 09:36:30 +02:00
a2b6830ecb
mescc: Refactor comparisons.
...
* module/language/c99/compiler.mes (compare->accu, append-text, wrap):
New functions.
(expr->accu): Use them to implement construct like 1 == inc (0).
* scaffold/t.c (math_test): Test them.
2017-04-07 07:06:35 +02:00
7548ad9efc
HACKING: Removed gc.c, vector.c mescc workarounds.
...
* HACKING: Update pointer and recipe.
2017-04-06 23:15:59 +02:00
25a02752f5
mescc: Refactor array ref.
...
* module/language/c99/compiler.mes (expr->accu, expr->accu*): Remove
duplication, use expression as array index.
* scaffold/t.c (struct_test): Test it.
* vector.c (vector_length, list_to_vector)[!__GNUC__]: Remove branch.
2017-04-06 23:05:44 +02:00
6b4e604441
mescc: Refactor expressions.
...
* module/language/c99/compiler.mes (expr->accu, ast->info): Remove
duplication, separate concerns.
2017-04-06 09:12:50 +02:00
b13cd87700
mescc: Refactor pre/post inc/dec.
...
* module/language/c99/compiler.mes: Refactor pre/post inc/dec.
2017-04-05 23:05:16 +02:00
61a536406d
bootstrap: Regenerate.
...
* mes-mini-mes: Regenerate.
* module/mes/read-0-32.mes: Regenerate.
2017-04-05 22:43:41 +02:00
ab25c53e6e
mescc: function call.
...
* module/language/c99/compiler.mes (expr->accu): Move function call
from ast->info.
2017-04-05 20:11:13 +02:00
c4fe8d8239
mescc: Support expression as lhs array index.
...
* module/language/c99/compiler.mes (expr->accu): Treat array index as expression.
* scaffold/t.c (struct_test): Test it.
* gc.c (gc_copy)[!__GNUC__]: Remove branch.
* vector.c (list_to_vector)[!__GNUC__]: Likewise.
2017-04-05 14:24:34 +02:00
71da0bfb78
mescc: Remove duplication.
...
* module/language/c99/compiler.mes (expr->arg): Use expr->accu for
most expressions.
2017-04-04 14:37:17 +02:00
da768a9f12
scripts: Support --help, --version.
...
* guile/mescc.scm: Support --help, --version.
* scripts/mescc.mes: Likewise.
* scripts/repl.mes: Likewise.
2017-04-04 09:53:05 +02:00
0f27e12672
scm: Do not quote list of strings.
...
* module/mes/display.mes (display): Check value of write?, fixes
quoting display string.
2017-04-03 07:19:38 +02:00
56b19c76ff
mescc: Do not return ELF text.
...
* module/language/c99/compiler.mes (info->exe): Do not return ELF text.
2017-04-03 07:09:03 +02:00
b4a4e39050
build: Update Guix build and install.
...
* guix.scm (%source-dir): New variable.
(git-file?): New function.
(mes): Use them to simplify building/installing from git.
* make/install.make (READMES): Add INSTALL, README.
* (install): Install mescc.scm and read-0-32.mo.
2017-04-02 18:50:07 +02:00
8f09f1a5cf
bootstrap: Regenerate.
...
* mes-mini-mes: First self-hosting binary.
2017-04-02 12:41:33 +02:00
ee3215a183
HACKING: scripts/mescc.mes scaffold/mini-mes runs.
...
* HACKING: Update pointer and recipe.
2017-04-02 13:27:00 +02:00
81999fbf28
mini-mes: Fix for assq.
...
* scaffold/mini-mes.c (assq): Use eq_p iso ==. Fixes
tests/display.test ("write alarm").
2017-04-02 13:18:22 +02:00
f79adb637f
core: Use 0.25% safety region.
...
* gc.c (gc_up_arena): Up GC_SAFETY too.
* scripts/repl.mes: Remove MES_ARENA override.
2017-04-02 12:58:18 +02:00
f9aedd1466
bootstrap: Regenerate.
...
* module/mes/read-0-32.mo: Regenerate.
2017-04-02 13:21:01 +02:00
05cae56813
core: Remove append.
...
* lib.c (append): Remove.
* scaffold/mini-mes.c (append): Remove.
* module/mes/base-0.mes (append): New function.
* module/mes/read-0.mo: Regenerate.
* module/mes/read-0-32.mo: Regenerate.
2017-04-02 08:05:55 +02:00
117006cf7c
test: Add test for append-map.
...
* tests/srfi-1.test ("append-map"): New test.
2017-04-02 08:04:25 +02:00
dfabe9b215
core: Check gc free harder.
...
* gc.c (gc_check): New fuction.
* mes.c (eval_apply): Use it.
2017-04-01 23:00:50 +02:00
e9ac52dfda
mescc: Fix by value assignment from array-of struct entry.
...
* module/language/c99/compiler.mes (expr->accu): Fix by value
assignment from array-of struct entry.
* scaffold/t.c (struct_test): Test it.
* vector.c (make_vector, list_to_vector, vector_to_list): Use it;
remove workarounds.
* gc.c (gc_copy): Likewise.
2017-04-01 23:12:37 +02:00
2209b5728d
core: Fix flush for _POSIX_SOURCE.
...
* posix.c (write_byte, force_output)[_POSIX_SOURCE]: Use FILE*
functions. Fixes repl.mes.
2017-04-01 20:25:03 +02:00
3f60c2ec95
core: Increase MAX_ARENA_SIZE and GC safety.
...
* mes.c (MAX_ARENA_SIZE): Double to 40000000.
(GC_SAFETY): Set to 10000 cells (WAS: 1000).
* scaffold/mini-mes.c (MAX_ARENA_SIZE, GC_SAFETY): Likewise.
* gc.c (gc)[MES_DEBUG]: Also print safety area.
2017-04-01 19:10:28 +02:00
5cd5681a4d
HACKING: scripts/mescc.mes scaffold/t.c runs.
2017-04-01 17:07:28 +02:00
28fd45b7b0
core: Increase GC safety.
...
* mes.c (GC_SAFETY): Set to 1000 cells (WAS: 100).
* scaffold/mini-mes.c (GC_SAFETY): Likewise.
2017-04-01 16:51:48 +02:00
28347aa3a3
HACKING: scripts/mescc.mes scaffold/tiny-mes.c runs.
2017-04-01 16:15:08 +02:00
e87469c721
HACKING: scripts/mescc.mes scaffold/cons-mes.c runs.
2017-04-01 16:12:51 +02:00
542a8c2106
test: Add nyacc cpp match tests; two fail.
...
* tests/match.test ("match nyacc 0", "match nyacc 1"): New tests.
("match nyacc simple", "match nyacc tkl0"): New tests; FAIL with Mes.
(report): Set failure expectation to 2 for Mes.
* HACKING: Add to bugs.
2017-04-01 15:06:07 +02:00
3b527affa3
scm: Support test failure expectation.
...
* module/mes/test.mes (result): Take second argument to mean expected
failure count.
2017-04-01 15:01:59 +02:00
08c04ff845
scm: Evaluate arguments of OR only once.
...
* module/mes/base.mes (or): Evaluate arguments only once.
* module/mes/read-0.mes (or): Likewise.
* tests/base.test ("or only once"): Test it.
* module/mes/read-0-32.mo: Regenerate.
2017-04-02 16:47:22 +02:00
232e87bd9d
scm: Have char-set-contains? strictly return boolean.
...
* module/srfi/srfi-14.mes (char-set-contains?): Return #t rather than
memq result.
2017-04-01 09:36:34 +02:00
a8587b6453
scm: Fix bug in assq-set!
...
* module/mes/scm.mes (assq-set!): Bugfix.
2017-04-01 07:23:10 +02:00
4d933001d5
scm: Add c????r.
...
* module/mes/base-0.mes (caar, cadr, cdar, cddr, map): Remove. Update callers.
* module/mes/base.mes (): Remove.
* module/mes/base.mes (cadadr, cddadr, cdddar): New function.
2017-04-02 09:35:47 +02:00
2c25f45678
scm: Add access?
...
* module/mes/guile.mes (access?): New dummy function. Fixes Nyacc's #include.
2017-03-31 21:41:32 +02:00
091c1ccd31
doc: Add Roamdmap.
...
* HACKING: Add roadmap.
2017-03-29 08:05:18 +02:00
d938b38d5e
scm: Add open-input-string, read-string.
...
* module/mes/guile.mes (open-input-string, read-string): New functions.
* tests/guile.test: New file.
* GNUmakefile (TESTS): Add it.
2017-04-01 12:51:35 +02:00
fc263de433
build: Cleanup, use gcc-specific snarfing.
...
* .gitignore: Ignore *.o-32, mes-mini-mes.
* scripts/nyacc-calc.mes: Remove.
* scripts/nyacc.mes: Remove.
* scripts/paren.mes: Remove.
* make/install.make (install): Remove them.
p* module/mes/mes-0.mes: Remove.
* module/mes/loop-0.mes: Remove.
* build-aux/mes-snarf.scm (main): Add --mini option.
* GNUmakefile (mini-mes): Use it.
2017-04-02 17:01:22 +02:00
b99f756367
core: Fix error message when macro is missing.
...
* mes.c (scm_vm_eval_check_func): New symbol.
(eval_apply): In eval, evaluate car before evlis. Fixes error
message when macro match is missing in (match ... (car x)).
(mes_symbols): Add cell_call_with_values, cell_current_module to environment.
* scaffold/mini-mes.c (eval_apply): Likewise.
2017-03-27 20:14:48 +02:00
124085e4dc
test: Add pmatch tests.
...
* tests/pmatch.test: New file.
* GNUmakefile (TESTS): Add it.
2017-03-29 08:07:51 +02:00
b45d7b599f
nyacc: prefix globals.
2017-03-28 20:26:16 +02:00
Jan Nieuwenhuizen