mescc: Cleanup mini-mes build and test.
[mes.git] / lib.c
diff --git a/lib.c b/lib.c
index ae14245cdbfa5f0ad9d45f9c5d41d41242104130..3c9f49c9e61f1a4eb7b3c5c3728c10e00859b6cc 100644 (file)
--- a/lib.c
+++ b/lib.c
  * along with Mes.  If not, see <http://www.gnu.org/licenses/>.
  */
 
-SCM caar (SCM x) {return car (car (x));}
-SCM cadr (SCM x) {return car (cdr (x));}
-SCM cdar (SCM x) {return cdr (car (x));}
-SCM cddr (SCM x) {return cdr (cdr (x));}
-SCM caaar (SCM x) {return car (car (car (x)));}
-SCM caadr (SCM x) {return car (car (cdr (x)));}
-SCM caddr (SCM x) {return car (cdr (cdr (x)));}
-SCM cdadr (SCM x) {return cdr (car (cdr (x)));}
-SCM cadar (SCM x) {return car (cdr (car (x)));}
-SCM cddar (SCM x) {return cdr (cdr (car (x)));}
-SCM cdddr (SCM x) {return cdr (cdr (cdr (x)));}
-SCM cadddr (SCM x) {return car (cdr (cdr (cdr (x))));}
+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;
+}
 
 SCM
 length (SCM x)
@@ -38,7 +32,7 @@ length (SCM x)
   while (x != cell_nil)
     {
       n++;
-      if (TYPE (x) != PAIR) return MAKE_NUMBER (-1);
+      if (TYPE (x) != TPAIR) return MAKE_NUMBER (-1);
       x = cdr (x);
     }
   return MAKE_NUMBER (n);
@@ -53,51 +47,61 @@ list (SCM x) ///((arity . n))
 SCM
 exit_ (SCM x) ///((name . "exit"))
 {
-  assert (TYPE (x) == NUMBER);
+  assert (TYPE (x) == TNUMBER);
   exit (VALUE (x));
 }
 
-char const*
-string_to_cstring (SCM s)
+SCM
+append (SCM x) ///((arity . n))
 {
-  static char buf[1024];
-  char *p = buf;
-  s = STRING (s);
-  while (s != cell_nil)
-    {
-      *p++ = VALUE (car (s));
-      s = cdr (s);
-    }
-  *p = 0;
-  return buf;
+  if (x == cell_nil) return cell_nil;
+  if (cdr (x) == cell_nil) return car (x);
+  return append2 (car (x), append (cdr (x)));
 }
 
-int
-error (char const* msg, SCM x)
+//MINI_MES
+// char const*
+// string_to_cstring (SCM s)
+// {
+//   static char buf[1024];
+//   char *p = buf;
+//   s = STRING (s);
+//   while (s != cell_nil)
+//     {
+//       *p++ = VALUE (car (s));
+//       s = cdr (s);
+//     }
+//   *p = 0;
+//   return buf;
+// }
+
+SCM
+error (SCM key, SCM x)
 {
-  fprintf (stderr, msg);
-  if (x) stderr_ (x);
-  fprintf (stderr, "\n");
-  assert(!msg);
+  SCM throw;
+  if ((throw = assq_ref_env (cell_symbol_throw, r0)) != cell_undefined)
+    return apply (throw, cons (key, cons (x, cell_nil)), r0);
+  assert (!"error");
 }
 
 SCM
 assert_defined (SCM x, SCM e)
 {
-  if (e == cell_undefined) error ("eval: unbound variable: ", x);
+  if (e == cell_undefined) return error (cell_symbol_unbound_variable, x);
   return e;
 }
 
 SCM
 check_formals (SCM f, SCM formals, SCM args)
 {
-  int flen = (TYPE (formals) == NUMBER) ? VALUE (formals) : VALUE (length (formals));
+  int flen = (TYPE (formals) == TNUMBER) ? VALUE (formals) : VALUE (length (formals));
   int alen = VALUE (length (args));
   if (alen != flen && alen != -1 && flen != -1)
     {
       char buf[1024];
       sprintf (buf, "apply: wrong number of arguments; expected: %d, got: %d: ", flen, alen);
-      error (buf, f);
+      SCM e = MAKE_STRING (cstring_to_list (buf));
+      return error (cell_symbol_wrong_number_of_args, cons (e, f));
     }
   return cell_unspecified;
 }
@@ -107,11 +111,12 @@ check_apply (SCM f, SCM e)
 {
   char const* type = 0;
   if (f == cell_f || f == cell_t) type = "bool";
-  if (TYPE (f) == CHAR) type = "char";
-  if (TYPE (f) == NUMBER) type = "number";
-  if (TYPE (f) == STRING) type = "string";
+  if (f == cell_nil) type = "nil";
   if (f == cell_unspecified) type = "*unspecified*";
-  if (f == cell_undefined) type =  "*undefined*";
+  if (f == cell_undefined) type = "*undefined*";
+  if (TYPE (f) == TCHAR) type = "char";
+  if (TYPE (f) == TNUMBER) type = "number";
+  if (TYPE (f) == TSTRING) type = "string";
 
   if (type)
     {
@@ -120,7 +125,130 @@ check_apply (SCM f, SCM e)
       fprintf (stderr, " [");
       stderr_ (e);
       fprintf (stderr, "]\n");
-      error (buf, f);
+      SCM e = MAKE_STRING (cstring_to_list (buf));
+      return error (cell_symbol_wrong_type_arg, cons (e, f));
     }
   return cell_unspecified;
 }
+
+char const*
+itoa (int x)
+{
+  static char buf[10];
+  char *p = buf+9;
+  *p-- = 0;
+
+  int sign = x < 0;
+  if (sign)
+    x = -x;
+  
+  do
+    {
+      *p-- = '0' + (x % 10);
+      x = x / 10;
+    } while (x);
+
+  if (sign)
+    *p-- = '-';
+
+  return p+1;
+}
+
+FILE *g_stdin;
+int
+dump ()
+{
+  fputs ("program r2=", stderr);
+  stderr_ (r2);
+  fputs ("\n", stderr);
+
+  r1 = g_symbols;
+  gc_push_frame ();
+  gc ();
+  gc_peek_frame ();
+  char *p = (char*)g_cells;
+  fputc ('M', stdout);
+  fputc ('E', stdout);
+  fputc ('S', stdout);
+  fputc (g_stack >> 8, stdout);
+  fputc (g_stack % 256, stdout);
+  // See HACKING, simple crafted dump for tiny-mes.c
+  if (getenv ("MES_TINY"))
+    {
+      TYPE (9) = 0x2d2d2d2d;
+      CAR (9) = 0x2d2d2d2d;
+      CDR (9) = 0x3e3e3e3e;
+
+      TYPE (10) = TPAIR;
+      CAR (10) = 11;
+      CDR (10) = 12;
+
+      TYPE (11) = TCHAR;
+      CAR (11) = 0x58585858;
+      CDR (11) = 65;
+
+      TYPE (12) = TPAIR;
+      CAR (12) = 13;
+      CDR (12) = 1;
+
+      TYPE (13) = TCHAR;
+      CAR (11) = 0x58585858;
+      CDR (13) = 66;
+
+      TYPE (14) = 0x3c3c3c3c;
+      CAR (14) = 0x2d2d2d2d;
+      CDR (14) = 0x2d2d2d2d;
+
+      g_free = 15;
+    }
+  for (int i=0; i<g_free * sizeof(struct scm); i++)
+    fputc (*p++, stdout);
+  return 0;
+}
+
+SCM
+load_env (SCM a) ///((internal))
+{
+  r0 = a;
+  if (getenv ("MES_MINI"))
+    g_stdin = fopen ("module/mes/mini-0.mes", "r");
+  else
+    {
+      g_stdin = fopen ("module/mes/read-0.mes", "r");
+      g_stdin = g_stdin ? g_stdin : fopen (PREFIX "module/mes/read-0.mes", "r");
+    }
+  if (!g_function) r0 = mes_builtins (r0);
+  r2 = read_input_file_env (r0);
+  g_stdin = stdin;
+  return r2;
+}
+
+SCM
+bload_env (SCM a) ///((internal))
+{
+#if MES_MINI
+  g_stdin = fopen ("module/mes/read-0-32.mo", "r");
+#else
+  g_stdin = fopen ("module/mes/read-0.mo", "r");
+  g_stdin = g_stdin ? g_stdin : fopen (PREFIX "module/mes/read-0.mo", "r");
+#endif
+
+  char *p = (char*)g_cells;
+  assert (getchar () == 'M');
+  assert (getchar () == 'E');
+  assert (getchar () == 'S');
+  g_stack = getchar () << 8;
+  g_stack += getchar ();
+  int c = getchar ();
+  while (c != EOF)
+    {
+      *p++ = c;
+      c = getchar ();
+    }
+  g_free = (p-(char*)g_cells) / sizeof (struct scm);
+  gc_peek_frame ();
+  g_symbols = r1;
+  g_stdin = stdin;
+  r0 = mes_builtins (r0);
+  return r2;
+}