2016-10-22 18:51:32 +00:00
|
|
|
/* -*-comment-start: "//";comment-end:""-*-
|
|
|
|
* Mes --- Maxwell Equations of Software
|
2017-03-25 14:58:44 +00:00
|
|
|
* Copyright © 2016,2017 Jan Nieuwenhuizen <janneke@gnu.org>
|
2016-10-22 18:51:32 +00:00
|
|
|
*
|
|
|
|
* 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/>.
|
|
|
|
*/
|
|
|
|
|
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 13:01:24 +00:00
|
|
|
int g_depth;
|
|
|
|
#if _POSIX_SOURCE
|
2016-10-22 18:51:32 +00:00
|
|
|
|
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 13:01:24 +00:00
|
|
|
char const*
|
|
|
|
itoa (int x)
|
|
|
|
{
|
|
|
|
static char buf[10];
|
|
|
|
char *p = buf+9;
|
|
|
|
*p-- = 0;
|
2017-03-25 14:58:44 +00:00
|
|
|
|
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 13:01:24 +00:00
|
|
|
int sign = x < 0;
|
|
|
|
if (sign)
|
|
|
|
x = -x;
|
|
|
|
|
|
|
|
do
|
|
|
|
{
|
|
|
|
*p-- = '0' + (x % 10);
|
|
|
|
x = x / 10;
|
|
|
|
} while (x);
|
|
|
|
|
|
|
|
if (sign)
|
|
|
|
*p-- = '-';
|
|
|
|
|
|
|
|
return p+1;
|
|
|
|
}
|
|
|
|
|
|
|
|
// from mlib.c
|
|
|
|
#define fputs fdputs
|
|
|
|
int
|
|
|
|
fdputs (char const* s, int fd)
|
|
|
|
{
|
|
|
|
int i = strlen (s);
|
|
|
|
write (fd, s, i);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef putc
|
|
|
|
#undef putc
|
|
|
|
#endif
|
|
|
|
#define putc fdputc
|
|
|
|
int
|
|
|
|
fdputc (int c, int fd)
|
|
|
|
{
|
|
|
|
write (fd, (char*)&c, 1);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
SCM fdisplay_ (SCM, int);
|
2017-03-25 14:58:44 +00:00
|
|
|
|
|
|
|
SCM
|
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 13:01:24 +00:00
|
|
|
display_helper (SCM x, int cont, char* sep, int fd)
|
2017-03-25 14:58:44 +00:00
|
|
|
{
|
|
|
|
fputs (sep, fd);
|
|
|
|
if (g_depth == 0) return cell_unspecified;
|
|
|
|
g_depth = g_depth - 1;
|
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 13:01:24 +00:00
|
|
|
|
2017-03-25 14:58:44 +00:00
|
|
|
switch (TYPE (x))
|
|
|
|
{
|
|
|
|
case TCHAR:
|
|
|
|
{
|
|
|
|
fputs ("#\\", fd);
|
|
|
|
putc (VALUE (x), fd);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case TFUNCTION:
|
|
|
|
{
|
|
|
|
fputs ("#<procedure ", fd);
|
2017-04-02 15:01:22 +00:00
|
|
|
char const *p = "?";
|
2017-03-25 14:58:44 +00:00
|
|
|
if (FUNCTION (x).name != 0)
|
|
|
|
p = FUNCTION (x).name;
|
|
|
|
fputs (p, fd);
|
|
|
|
fputs ("[", fd);
|
|
|
|
fputs (itoa (CDR (x)), fd);
|
|
|
|
fputs (",", fd);
|
|
|
|
fputs (itoa (x), fd);
|
|
|
|
fputs ("]>", fd);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case TMACRO:
|
|
|
|
{
|
|
|
|
fputs ("#<macro ", fd);
|
|
|
|
display_helper (cdr (x), cont, "", fd);
|
|
|
|
fputs (">", fd);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case TNUMBER:
|
|
|
|
{
|
|
|
|
fputs (itoa (VALUE (x)), fd);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case TPAIR:
|
|
|
|
{
|
|
|
|
if (!cont) fputs ("(", fd);
|
|
|
|
if (x && x != cell_nil) fdisplay_ (CAR (x), fd);
|
|
|
|
if (CDR (x) && TYPE (CDR (x)) == TPAIR)
|
|
|
|
display_helper (CDR (x), 1, " ", fd);
|
|
|
|
else if (CDR (x) && CDR (x) != cell_nil)
|
|
|
|
{
|
|
|
|
if (TYPE (CDR (x)) != TPAIR)
|
|
|
|
fputs (" . ", fd);
|
|
|
|
fdisplay_ (CDR (x), fd);
|
|
|
|
}
|
|
|
|
if (!cont) fputs (")", fd);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case TSPECIAL:
|
|
|
|
case TSTRING:
|
|
|
|
case TSYMBOL:
|
|
|
|
{
|
|
|
|
SCM t = CAR (x);
|
|
|
|
while (t && t != cell_nil)
|
|
|
|
{
|
|
|
|
putc (VALUE (CAR (t)), fd);
|
|
|
|
t = CDR (t);
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
{
|
|
|
|
fputs ("<", fd);
|
|
|
|
fputs (itoa (TYPE (x)), fd);
|
|
|
|
fputs (":", fd);
|
|
|
|
fputs (itoa (x), fd);
|
|
|
|
fputs (">", fd);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
SCM
|
|
|
|
display_ (SCM x)
|
|
|
|
{
|
|
|
|
g_depth = 5;
|
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 13:01:24 +00:00
|
|
|
return display_helper (x, 0, "", STDOUT);
|
2017-03-25 14:58:44 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
SCM
|
|
|
|
display_error_ (SCM x)
|
|
|
|
{
|
|
|
|
g_depth = 5;
|
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 13:01:24 +00:00
|
|
|
return display_helper (x, 0, "", STDERR);
|
2017-03-25 14:58:44 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
SCM
|
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 13:01:24 +00:00
|
|
|
fdisplay_ (SCM x, int fd) ///((internal))
|
2017-03-25 14:58:44 +00:00
|
|
|
{
|
|
|
|
g_depth = 5;
|
|
|
|
return display_helper (x, 0, "", fd);
|
|
|
|
}
|
|
|
|
|
2016-11-21 08:28:34 +00:00
|
|
|
SCM
|
2016-12-23 19:31:45 +00:00
|
|
|
exit_ (SCM x) ///((name . "exit"))
|
2016-10-22 18:51:32 +00:00
|
|
|
{
|
core+mini-mes: Replace manual snippets by snarfed includes.
* build-aux/mes-snarf.scm (symbol->source, function->header,
function->source, function->environment): Add workarounds to
avoid struct-copy initializers.
* GNUmakefile (mini-mes): Snarf symbols and functions.
* scaffold/mini-mes.c: Include mini-mes.h, mini-mes.symbols.h,
mini-mes.symbols.i, mini-mes.i, mini-mes.environment.i.
Add snarfable symbol/special definitions.
(type_t): Prefix all types with `T', update users.
(assert_defined, gc_push_frame, gc_peek_frame, gc_init_cells): Mark
as internal.
* mes.c (type_t): Prefix all types with `T', update users.
* scaffold/mini-mes.c (eq_p, type_, car_, cdr_,
list_of_char_equal_p, lookup_macro, write_byte): New functions (from
mes.c).
(assq): Add debugging, workaround.
2017-03-10 19:56:18 +00:00
|
|
|
assert (TYPE (x) == TNUMBER);
|
2016-11-21 08:30:59 +00:00
|
|
|
exit (VALUE (x));
|
2016-10-22 18:51:32 +00:00
|
|
|
}
|
2016-12-24 00:23:50 +00:00
|
|
|
|
mescc: Run module/base-0.mes.
* gc.c: New file.
* vector.c: New file.
* mes.c: Remove vector and gc functions, include vector.c, gc.c.
* GNUmakefile (mes.o): Add gc, vector dependencies.
* scaffold/mini-mes.c (eval_apply): Support primitive-load through
read_input_file.
(getenv_, open_input_file, current_input_port,
set_current_input_port force_output, exit_, values, arity_, xassq,
is_p, minus, plus, divide, modulo multiply, logior, ash): New function.
(mes_symbols): Add symbols %gnuc, %mesc.
* scaffold/mini-mes.c (): New functions.
* scaffold/b-0.mes: New file.
* scaffold/t-0.mes: New file.
2017-03-26 19:13:01 +00:00
|
|
|
SCM
|
|
|
|
xassq (SCM x, SCM a) ///for speed in core only
|
|
|
|
{
|
|
|
|
while (a != cell_nil && x != CDAR (a)) a = CDR (a);
|
|
|
|
return a != cell_nil ? CAR (a) : cell_f;
|
|
|
|
}
|
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 13:01:24 +00:00
|
|
|
|
|
|
|
#if _POSIX_SOURCE
|
|
|
|
#undef fdputs
|
|
|
|
#undef fdputc
|
|
|
|
#endif
|