diff options
author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-22 21:54:46 +0000 |
---|---|---|
committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-22 21:54:46 +0000 |
commit | 48da622d4ad0b4acfe9005dd318ac3f20b4e8672 (patch) | |
tree | 9eed593702dc2fbd7f93689f53605241560f51e9 /dat.h | |
parent | 0f347162b74d945f509955b6c57e506ab800db7b (diff) |
Big commit changing the way the system is loaded at startup.
1) The loader and system modules are loaded by the C directly into the user module
2) The system module is then loaded with the loader from the user module
3) The loader module is then loaded with the loader from the user module
4) The repl is then loaded with the loader from the loader module
5) The user module is cleared
Diffstat (limited to 'dat.h')
-rw-r--r-- | dat.h | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -154,7 +154,5 @@ int flagdoublequotes; Choicepoint *choicestack; Goal *goalstack; Module *modules; -Module *systemmodule; /* The module for the builtins. Everything has access to those */ -Module *usermodule; /* The default module for user defined predicates */ uvlong clausenr; - +int systemmoduleloaded; /* Is the module "system" ready to be used */ |