core: Set procedure in stack frame.
[mes.git] / src / module.c
1 /* -*-comment-start: "//";comment-end:""-*-
2  * GNU Mes --- Maxwell Equations of Software
3  * Copyright © 2018 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
4  *
5  * This file is part of GNU Mes.
6  *
7  * GNU 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  * GNU 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 GNU Mes.  If not, see <http://www.gnu.org/licenses/>.
19  */
20
21 SCM struct_ref_ (SCM x, long i);
22 SCM struct_set_x_ (SCM x, long i, SCM e);
23
24 SCM
25 make_module_type () ///(internal))
26 {
27   SCM record_type = cell_symbol_record_type; // FIXME
28   SCM fields = cell_nil;
29   fields = cons (cstring_to_symbol ("globals"), fields);
30   fields = cons (cstring_to_symbol ("locals"), fields);
31   fields = cons (cstring_to_symbol ("name"), fields);
32   fields = cons (fields, cell_nil);
33   fields = cons (cell_symbol_module, fields);
34   return make_struct (record_type, fields, cell_unspecified);
35 }
36
37 SCM
38 make_initial_module (SCM a) ///((internal))
39 {
40   SCM module_type = make_module_type ();
41   a = acons (cell_symbol_module, module_type, a);
42
43   SCM hashq_type = make_hashq_type ();
44   a = acons (cell_symbol_hashq_table, hashq_type, a);
45
46   SCM name = cons (cstring_to_symbol ("boot"), cell_nil);
47   SCM globals = make_hash_table_ (0);
48   SCM locals = cell_nil;
49
50   SCM values = cell_nil;
51   values = cons (globals, values);
52   values = cons (locals, values);
53   values = cons (name, values);
54   values = cons (cell_symbol_module, values);
55   SCM module = make_struct (module_type, values, cell_module_printer);
56   r0 = cell_nil;
57   r0 = cons (CADR (a), r0);
58   r0 = cons (CAR (a), r0);
59   m0 = module;
60   while (TYPE (a) == TPAIR)
61     {
62       if (g_debug > 3)
63         {
64           eputs ("entry="); write_error_ (CAR (a)); eputs ("\n");
65         }
66       module_define_x (module, CAAR (a), CDAR (a));
67       a = CDR (a);
68     }
69
70   return module;
71 }
72
73 SCM
74 module_printer (SCM module)
75 {
76   //module = m0;
77   fdputs ("#<", g_stdout); display_ (struct_ref_ (module, 2)); fdputc (' ', g_stdout);
78   fdputs ("name: ", g_stdout); display_ (struct_ref_ (module, 3)); fdputc (' ', g_stdout);
79   fdputs ("locals: ", g_stdout); display_ (struct_ref_ (module, 4)); fdputc (' ', g_stdout);
80   SCM table = struct_ref_ (module, 5);
81   fdputs ("globals:\n  ", g_stdout);
82   display_ (table);
83   fdputc ('>', g_stdout);
84 }
85
86 SCM
87 module_variable (SCM module, SCM name)
88 {
89   //SCM locals = struct_ref_ (module, 3);
90   SCM locals = module;
91   SCM x = assq (name, locals);
92   if (x == cell_f)
93     {
94       module = m0;
95       SCM globals = struct_ref_ (module, 5);
96       x = hashq_get_handle (globals, name, cell_f);
97     }
98   return x;
99 }
100
101 SCM
102 module_ref (SCM module, SCM name)
103 {
104   if (g_debug > 4)
105     {
106       eputs ("module_ref: "); display_error_ (name); eputs ("\n");
107     }
108   SCM x = module_variable (module, name);
109   if (x == cell_f)
110     return cell_undefined;
111   return CDR (x);
112 }
113
114 SCM
115 module_define_x (SCM module, SCM name, SCM value)
116 {
117   if (g_debug > 4)
118     {
119       eputs ("module_define_x: "); display_error_ (name); eputs ("\n");
120     }
121   module = m0;
122   SCM globals = struct_ref_ (module, 5);
123   return hashq_set_x (globals, name, value);
124 }