2017-07-09 07:24:07 +00:00
|
|
|
/* -*-comment-start: "//";comment-end:""-*-
|
|
|
|
* Mes --- Maxwell Equations of Software
|
2017-11-21 18:22:26 +00:00
|
|
|
* Copyright © 2017 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
|
2017-07-09 07:24:07 +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/>.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "30-test.i"
|
|
|
|
|
|
|
|
#include <stdio.h>
|
|
|
|
#include <stdlib.h>
|
|
|
|
#include <string.h>
|
|
|
|
|
|
|
|
int
|
|
|
|
add (int a, int b)
|
|
|
|
{
|
|
|
|
return a + b;
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
|
|
|
inc (int i)
|
|
|
|
{
|
|
|
|
return i + 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
struct scm {
|
|
|
|
int type;
|
|
|
|
int car;
|
|
|
|
int cdr;
|
|
|
|
};
|
|
|
|
|
|
|
|
int bla = 1234;
|
|
|
|
char g_arena[84];
|
|
|
|
#if __MESC__
|
|
|
|
struct scm *g_cells = g_arena;
|
|
|
|
#else
|
|
|
|
struct scm *g_cells = (struct scm*)g_arena;
|
|
|
|
#endif
|
|
|
|
char *g_chars = g_arena;
|
|
|
|
|
|
|
|
int foo () {puts ("t: foo\n"); return 0;};
|
|
|
|
int bar (int i) {puts ("t: bar\n"); return 0;};
|
|
|
|
struct function {
|
|
|
|
int (*function) (void);
|
|
|
|
int arity;
|
|
|
|
char *name;
|
|
|
|
};
|
|
|
|
struct function g_fun = {&exit,1,"fun"};
|
|
|
|
struct function g_foo = {&foo,0,"foo"};
|
|
|
|
struct function g_bar = {&bar,1,"bar"};
|
|
|
|
|
|
|
|
//void *functions[2];
|
|
|
|
int functions[2];
|
|
|
|
|
|
|
|
struct function g_functions[2];
|
|
|
|
int g_function = 0;
|
|
|
|
|
|
|
|
enum type_t {TCHAR, TCLOSURE, TCONTINUATION, TFUNCTION, TKEYWORD, TMACRO, TNUMBER, TPAIR, TREF, TSPECIAL, TSTRING, TSYMBOL, TVALUES, TVECTOR, TBROKEN_HEART};
|
|
|
|
|
|
|
|
typedef int SCM;
|
|
|
|
int g_free = 3;
|
|
|
|
SCM tmp;
|
|
|
|
SCM tmp_num;
|
|
|
|
|
|
|
|
int ARENA_SIZE = 200;
|
|
|
|
#define TYPE(x) g_cells[x].type
|
|
|
|
#define CAR(x) g_cells[x].car
|
|
|
|
#define CDR(x) g_cells[x].cdr
|
|
|
|
#define VALUE(x) g_cells[x].cdr
|
|
|
|
|
|
|
|
#define CAAR(x) CAR (CAR (x))
|
|
|
|
|
|
|
|
struct scm scm_fun = {TFUNCTION,0,0};
|
|
|
|
SCM cell_fun;
|
|
|
|
|
|
|
|
|
|
|
|
int
|
|
|
|
test ()
|
|
|
|
{
|
|
|
|
puts ("\n");
|
|
|
|
puts ("t: g_cells[0] = g_cells[1]\n");
|
|
|
|
TYPE (1) = 1;
|
|
|
|
CAR (1) = 2;
|
|
|
|
CDR (1) = 3;
|
|
|
|
g_cells[0] = g_cells[1];
|
|
|
|
if (TYPE (0) != 1) return 1;
|
|
|
|
if (CAR (0) != 2) return 2;
|
|
|
|
if (CDR (0) != 3) return 3;
|
|
|
|
|
|
|
|
puts ("t: g_cells[i] = g_cells[j]\n");
|
|
|
|
int i = 0;
|
|
|
|
int j = 1;
|
|
|
|
TYPE (1) = 4;
|
|
|
|
CAR (1) = 5;
|
|
|
|
CDR (1) = 6;
|
|
|
|
g_cells[i] = g_cells[j];
|
|
|
|
if (TYPE (0) != 4) return 1;
|
|
|
|
if (CAR (0) != 5) return 2;
|
|
|
|
if (CDR (0) != 6) return 3;
|
|
|
|
|
|
|
|
puts ("t: g_cells[0+add(0,0] = g_cells[0+inc(0)]\n");
|
|
|
|
TYPE (1) = 1;
|
|
|
|
CAR (1) = 2;
|
|
|
|
CDR (1) = 3;
|
|
|
|
g_cells[0+add(0, 0)] = g_cells[0+inc(0)];
|
|
|
|
if (TYPE (0) != 1) return 1;
|
|
|
|
if (CAR (0) != 2) return 2;
|
|
|
|
if (CDR (0) != 3) return 3;
|
|
|
|
|
|
|
|
g_cells[0].type = TNUMBER;
|
|
|
|
g_cells[0].car = 0;
|
|
|
|
g_cells[0].cdr = 0;
|
|
|
|
g_cells[1].type = TNUMBER;
|
|
|
|
g_cells[1].car = 0;
|
|
|
|
g_cells[1].cdr = 0;
|
|
|
|
|
|
|
|
puts ("t: TYPE (0) != TYPE (1)\n");
|
|
|
|
if (TYPE (0) == TYPE (1)) goto ok;
|
|
|
|
return 1;
|
|
|
|
ok:
|
|
|
|
|
|
|
|
g_cells[0].car = 1;
|
|
|
|
g_cells[1].car = 2;
|
|
|
|
|
|
|
|
puts ("t: int c = VALUE (0)\n");
|
|
|
|
int c = CAR (0);
|
|
|
|
if (c != 1) return 1;
|
|
|
|
|
|
|
|
puts ("t: CAAR (0) != 2\n");
|
|
|
|
if (CAAR (0) != 2) return 1;
|
|
|
|
|
|
|
|
puts ("t: 2 != CAAR (0)\n");
|
|
|
|
if (2 != CAAR (0)) return 1;
|
|
|
|
|
|
|
|
g_cells[3].type = 0x64;
|
|
|
|
if (g_cells[3].type != 0x64)
|
|
|
|
return g_cells[3].type;
|
|
|
|
|
|
|
|
TYPE (4) = 4;
|
|
|
|
if (TYPE (4) != 4)
|
|
|
|
return 4;
|
|
|
|
|
|
|
|
CDR (3) = 0x22;
|
|
|
|
CDR (4) = 0x23;
|
|
|
|
if (CDR (3) != 0x22)
|
|
|
|
return CDR (3);
|
|
|
|
|
|
|
|
puts ("t: g_fun.arity != 1;\n");
|
|
|
|
if (g_fun.arity != 1) return 1;
|
|
|
|
|
|
|
|
puts ("t: g_fun.function != exit;\n");
|
|
|
|
if (g_fun.function != &exit) return 1;
|
|
|
|
|
|
|
|
puts ("t: struct fun = {&exit,1,\"exit\"};\n");
|
|
|
|
struct function fun = {&exit,1,"exit"};
|
|
|
|
|
|
|
|
puts ("t: fun.arity != 1;\n");
|
|
|
|
if (fun.arity != 1) return 1;
|
|
|
|
|
|
|
|
puts ("t: fun.function != exit;\n");
|
|
|
|
if (fun.function != &exit) return 1;
|
|
|
|
|
|
|
|
puts ("t: puts (fun.name)\n");
|
|
|
|
if (strcmp (fun.name, "exit")) return 1;
|
|
|
|
|
|
|
|
puts ("t: puts (g_fun.name)\n");
|
|
|
|
if (strcmp (g_fun.name, "fun")) return 1;
|
|
|
|
|
|
|
|
puts ("t: g_functions[g_function++] = g_foo;\n");
|
|
|
|
g_functions[g_function++] = g_foo;
|
|
|
|
|
|
|
|
puts ("t: pbar->arity == 1\n");
|
|
|
|
struct function* barp = &g_bar;
|
|
|
|
if (barp->arity != 1) return 1;
|
|
|
|
|
|
|
|
int fn = 0;
|
|
|
|
puts ("t: g_functions[g_cells[fn].cdr].arity\n");
|
|
|
|
if (g_functions[g_cells[fn].cdr].arity) return 1;
|
|
|
|
if (g_functions[g_cells[fn].cdr].arity != 0) return 1;
|
|
|
|
|
|
|
|
int (*functionx) (void) = 0;
|
|
|
|
functionx = g_functions[0].function;
|
|
|
|
puts ("t: functionx == foo\n");
|
|
|
|
if (functionx != foo) return 11;
|
|
|
|
|
|
|
|
puts ("t: g_functions[0].name\n");
|
|
|
|
if (strcmp (g_functions[0].name, "foo")) return 1;
|
|
|
|
|
|
|
|
puts ("t: (functionx) () == foo\n");
|
|
|
|
if ((functionx) () != 0) return 12;
|
|
|
|
|
|
|
|
puts ("t: g_functions[<foo>].arity\n");
|
|
|
|
if (g_functions[0].arity != 0) return 17;
|
|
|
|
|
|
|
|
fn++;
|
|
|
|
g_functions[fn] = g_bar;
|
|
|
|
g_cells[fn].cdr = fn;
|
|
|
|
if (g_cells[fn].cdr != fn) return 13;
|
|
|
|
|
|
|
|
puts ("t: g_functions[g_cells[fn].cdr].function\n");
|
|
|
|
functionx = g_functions[g_cells[fn].cdr].function;
|
|
|
|
|
|
|
|
puts ("t: g_functions[1].name\n");
|
|
|
|
if (strcmp (g_functions[1].name, "bar")) return 1;
|
|
|
|
|
|
|
|
puts ("t: functionx == bar\n");
|
|
|
|
if (functionx != bar) return 15;
|
|
|
|
|
|
|
|
puts ("t: (functiony) (1) == bar\n");
|
|
|
|
int (*functiony) (int) = 0;
|
|
|
|
functiony = g_functions[g_cells[fn].cdr].function;
|
|
|
|
if ((functiony) (1) != 0) return 16;
|
|
|
|
|
|
|
|
puts ("t: g_functions[<bar>].arity\n");
|
|
|
|
if (g_functions[fn].arity != 1) return 18;
|
|
|
|
|
|
|
|
// fake name
|
|
|
|
scm_fun.car = 33;
|
|
|
|
scm_fun.cdr = g_function;
|
|
|
|
//g_functions[g_function++] = g_fun;
|
|
|
|
g_functions[g_function] = g_fun;
|
|
|
|
cell_fun = g_free++;
|
|
|
|
g_cells[cell_fun] = scm_fun;
|
|
|
|
|
|
|
|
puts ("t: TYPE (cell_fun)\n");
|
|
|
|
if (TYPE (cell_fun) != TFUNCTION) return 1;
|
|
|
|
|
|
|
|
puts ("t: CAR (cell_fun)\n");
|
|
|
|
if (CAR (cell_fun) != 33) return 1;
|
|
|
|
|
|
|
|
puts ("t: CDR (cell_fun)\n");
|
|
|
|
if (CDR (cell_fun) != g_function) return 1;
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|