diff options
Diffstat (limited to 'docs/libraries/README')
| -rw-r--r-- | docs/libraries/README | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/libraries/README b/docs/libraries/README index 2bc1f62..04a8193 100644 --- a/docs/libraries/README +++ b/docs/libraries/README @@ -37,3 +37,13 @@ Goal: we enforce on the module loader), _init and friends are used by compilers and are dangerous, because we don't really know when they are called! +Unsorted ideas from older times: +- unregister all loaded libraries, so we can properly shutdown without + knowing what has been loaded. Not really crutial. +- the library known a specific symbol 'registry', containing an object + with: + - global unique identifier, so we don't load something different by accident + - a library identifier unique per library + - a signature per function to allow proper casts + + |