da55daf637a04110176590ecf0b7450242b1e3fc
[mes.git] / lib.c
1 /* -*-comment-start: "//";comment-end:""-*-
2  * Mes --- Maxwell Equations of Software
3  * Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
4  *
5  * This file is part of Mes.
6  *
7  * Mes is free software; you can redistribute it and/or modify it
8  * under the terms of the GNU General Public License as published by
9  * the Free Software Foundation; either version 3 of the License, or (at
10  * your option) any later version.
11  *
12  * Mes is distributed in the hope that it will be useful, but
13  * WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with Mes.  If not, see <http://www.gnu.org/licenses/>.
19  */
20
21 SCM caar (SCM x) {return car (car (x));}
22 SCM cadr (SCM x) {return car (cdr (x));}
23 SCM cdar (SCM x) {return cdr (car (x));}
24 SCM cddr (SCM x) {return cdr (cdr (x));}
25
26 SCM
27 length (SCM x)
28 {
29   int n = 0;
30   while (x != cell_nil)
31     {
32       n++;
33       if (TYPE (x) != PAIR) return MAKE_NUMBER (-1);
34       x = cdr (x);
35     }
36   return MAKE_NUMBER (n);
37 }
38
39 SCM
40 list (SCM x) ///((arity . n))
41 {
42   return x;
43 }
44
45 SCM
46 exit_ (SCM x) ///((name . "exit"))
47 {
48   assert (TYPE (x) == NUMBER);
49   exit (VALUE (x));
50 }
51
52 char const*
53 string_to_cstring (SCM s)
54 {
55   static char buf[1024];
56   char *p = buf;
57   s = STRING (s);
58   while (s != cell_nil)
59     {
60       *p++ = VALUE (car (s));
61       s = cdr (s);
62     }
63   *p = 0;
64   return buf;
65 }
66
67 int
68 error (char const* msg, SCM x)
69 {
70   fprintf (stderr, msg);
71   if (x) stderr_ (x);
72   fprintf (stderr, "\n");
73   assert(!msg);
74 }
75
76 SCM
77 assert_defined (SCM x, SCM e)
78 {
79   if (e == cell_undefined) error ("eval: unbound variable: ", x);
80   return e;
81 }
82
83 SCM
84 check_formals (SCM f, SCM formals, SCM args)
85 {
86   int flen = (TYPE (formals) == NUMBER) ? VALUE (formals) : VALUE (length (formals));
87   int alen = VALUE (length (args));
88   if (alen != flen && alen != -1 && flen != -1)
89     {
90       char buf[1024];
91       sprintf (buf, "apply: wrong number of arguments; expected: %d, got: %d: ", flen, alen);
92       error (buf, f);
93     }
94   return cell_unspecified;
95 }
96
97 SCM
98 check_apply (SCM f, SCM e)
99 {
100   char const* type = 0;
101   if (f == cell_f || f == cell_t) type = "bool";
102   if (TYPE (f) == CHAR) type = "char";
103   if (TYPE (f) == NUMBER) type = "number";
104   if (TYPE (f) == STRING) type = "string";
105   if (f == cell_unspecified) type = "*unspecified*";
106   if (f == cell_undefined) type =  "*undefined*";
107
108   if (type)
109     {
110       char buf[1024];
111       sprintf (buf, "cannot apply: %s:", type);
112       fprintf (stderr, " [");
113       stderr_ (e);
114       fprintf (stderr, "]\n");
115       error (buf, f);
116     }
117   return cell_unspecified;
118 }
119
120 FILE *g_stdin;
121 int
122 dump ()
123 {
124   r1 = g_symbols;
125   SCM frame = cons (r1, cons (r2, cons (r3, cons (r0, cell_nil))));
126   stack = cons (frame, stack);
127   stack = gc (stack);
128   gc_frame (stack);
129   char *p = (char*)g_cells;
130   fputc ('M', stdout);
131   fputc ('E', stdout);
132   fputc ('S', stdout);
133   fputc (stack >> 8, stdout);
134   fputc (stack % 256, stdout);
135   for (int i=0; i<g_free.value * sizeof(scm); i++)
136     fputc (*p++, stdout);
137   return 0;
138 }
139
140 SCM
141 load_env (SCM a) ///((internal))
142 {
143   r0 =a;
144   g_stdin = fopen ("module/mes/read-0.mes", "r");
145   g_stdin = g_stdin ? g_stdin : fopen (PREFIX "module/mes/read-0.mes", "r");
146   if (!g_function) r0 = mes_builtins (r0);
147   r3 = read_input_file_env (r0);
148   g_stdin = stdin;
149   return r3;
150 }
151
152 SCM
153 bload_env (SCM a) ///((internal))
154 {
155   g_stdin = fopen ("module/mes/read-0.mo", "r");
156   g_stdin = g_stdin ? g_stdin : fopen (PREFIX "module/mes/read-0.mo", "r");
157   char *p = (char*)g_cells;
158   assert (getchar () == 'M');
159   assert (getchar () == 'E');
160   assert (getchar () == 'S');
161   stack = getchar () << 8;
162   stack += getchar ();
163   int c = getchar ();
164   while (c != EOF)
165     {
166       *p++ = c;
167       c = getchar ();
168     }
169   g_free.value = (p-(char*)g_cells) / sizeof (scm);
170   gc_frame (stack);
171   g_symbols = r1;
172   g_stdin = stdin;
173
174   r0 = mes_builtins (r0);
175   return r3;
176 }