mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-03-12 07:50:26 -07:00
Code Issues Projects Releases Packages Wiki Activity
9148 commits 16 branches 53 tags 40 MiB
Commit graph

8063 commits

Author SHA1 Message Date
Daniel Kochmański
4b67426ef9 modules: [4/n] introduce ecl_module_bignum 2026-03-11 08:42:05 +01:00
Daniel Kochmański
942a06e724 modules: [3/n] introduce ecl_module_process 2026-03-11 08:42:05 +01:00
Daniel Kochmański
7a0a4cf705 modules: [2/n] introduce ecl_module_unixint 2026-03-11 08:42:05 +01:00
Daniel Kochmański
99921d340b modules: [1/n] introduce ecl_module_gc 
We also remove conditionalization for garbage collector inclusion in autotools.
When we propose an alternative gc, then we may decide to put them back, or to
add necessary ifdef statements directly in files.

Moreover untangle c-stack from the gc code and assign the stack base with a
rough guess only when it is not initialized yet (GC will always fill it).

Finally remove a kludge from ecl_adopt_cpu and disable colleciton until the cpu
is fully initialized.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
e5357950a6 modules: [0/n] introduce a new structure ecl_module in the system 
This will allow us to decouple forward system initialization from the early
process code.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
9b8335bed5 process: move ecl_clear_bignum_registers to _dealloc_env 
This resolves a fixme.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
ff4b4bcc91 process: use GC_thread_is_registered() instead of the_env->cleanup 
This allows us to remove unnecessary bookkeeping.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
9835c2fbec nucleus: [2/n] move processing unit managament to nucleus 2026-03-11 08:42:05 +01:00
Daniel Kochmański
5d188c61bd nucleus: [1/n] move processing unit managament to nucleus 2026-03-11 08:42:05 +01:00
Daniel Kochmański
89457d91f0 exceptions: make reader.d usable in the early env 2026-03-11 08:42:05 +01:00
Daniel Kochmański
d715593e20 exceptions: make stream.d usable in the early env 
This is a step towards introducing the I/O system.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
ec3c2a8b47 exceptions: make character.d usable in early runtime 2026-03-11 08:42:05 +01:00
Daniel Kochmański
741cb86215 exceptions: make cfun_dispatch use exception trampolines 2026-03-11 08:42:05 +01:00
Daniel Kochmański
fb62ba9367 exceptions: dispatch signals exceptions (not conditions) 2026-03-11 08:42:05 +01:00
Daniel Kochmański
3bc8418365 exceptions: runtime stack error signals exceptions (not conditions) 
Replace calls to CEstack_overflow with exceptions - this is a necessary step
before moving stacks into nucleus.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
db0b49a599 exceptions: interpreter signals exceptions (not conditions) 2026-03-11 08:42:05 +01:00
Daniel Kochmański
9d0573fbb5 exceptions: introduce the concept of an exception 
Exceptions, unlike conditions, are stack allocated and can't be captured.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
4e860d86bc signals: define *SIGNAL-HANDLERS* in cold_boot 
I've also renamed *HANDLER-CLUSTERS* to a more appropriate *SIGNAL-HANDLERS*.
Currently this symbol is imported to the SYSTEM package, although this may be
revised in the future to cater to multiple global environments. Alternatively
the SYSTEM package may be common to all runtimes.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
7f43fd550e signals: handler-bind handles only objects of type CONDITION 2026-03-11 08:42:05 +01:00
Daniel Kochmański
a87e48e88a signals: introduce signals to the early environment 2026-03-11 08:42:05 +01:00
Daniel Kochmański
7c99f775c6 signals: rewrite signal handling to use functions and not lists 
Instead of storing lists in *HANDLER-CLUSTERS*, we define functions that are
called unconditionally on the handler. HANDLER-BIND defines that function to be
a typecase that is dispatched based on the conditiont type, as specified by CL.

This change will aid further refactor.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
06d31f7f77 boot: move ecl_eql to a separate file eql.d 
This is a low-level comparison operator. We opencode EQL comparison for bignums
to avoid a dependency on GMP (in this file).
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
fd72156073 boot: move ecl_core_struct to boot.d 2026-03-11 08:42:05 +01:00
Daniel Kochmański
fdb7578f8c boot: move protect and dummy tags to boot.d 2026-03-11 08:42:05 +01:00
Daniel Kochmański
982ac30055 boot: move early constants from main.d to boot.d 2026-03-11 08:42:05 +01:00
Daniel Kochmański
c511f293c1 boot: add a file boot.d for booting the core 
Currently it contains only option setters.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
ca957e2d22 boot: add a file escape.d for program control transfer 
Currently it contains early errors and backtrace.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
730ff85112 reader: open-code token-specific version of ecl_push_string_extend 
This way we make the reader independent of string.d and array.d while still
enabling adjustable token buffers.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
dd839fdea2 reader: make token parser installable in the readtable 2026-03-11 08:42:05 +01:00
Daniel Kochmański
aff7cb7f09 reader: merge back readtable.d into read.d and reader.d 2026-03-11 08:42:05 +01:00
Daniel Kochmański
f0046250f8 reader: store separately macro and a dispatch table 
This improves code readibility, because dispatch macro characters are built on
top of "normal" macro characters.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
4be70d8b1d reader: init_read has now shorter definitions (use macros) 2026-03-11 08:42:05 +01:00
Daniel Kochmański
40a13b9da1 reader: cosmetic change 2026-03-11 08:42:05 +01:00
Daniel Kochmański
2479e0d244 reader: turn separate parameters into flags in low-level read 
Instead of passing parameters as values, we make a bitfield:

ECL_READ_LIST_DOT, ECL_READ_RETURN_IGNORABLE, ECL_READ_SUPPRESS,
ECL_READ_ESCAPE_FIST;

this way we don't rely on a dynamic variable in a low-level function.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
04bf497ac0 reader: low level functions accept explicit readtable argument 
Previously the readtable was accessed as a value of a variable *READTABLE*.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
3942c8a060 reader: wrap up the escaping and remove kludges 2026-03-11 08:42:05 +01:00
Daniel Kochmański
b90a8c3d54 reader: honor *read-suppress* in #\foo:bar reader 2026-03-11 08:42:05 +01:00
Daniel Kochmański
2bdff342a8 reader: add new operators and fix found regressions 
- low limit in escapes was off-by-one
- quoted character immediately after :, like :|foo| did not pare correctly
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
49e9d326e5 reader: separate token parsing from token reading 
Parsing the token ends in a separate file.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
06b2c383f7 reader: use token object to pass tokens prior parsing 2026-03-11 08:42:05 +01:00
Daniel Kochmański
c1092b4728 reader: add a new object to the system ecl_token 
It represents unparsed token constructed by the reader.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
b53af89098 reader: cleanup of mapping over escape intervals 
This still needs some work, but we remove CONS in favor of flat list of even
number of elements and simplify loops over them.
 2026-03-11 08:42:05 +01:00
Daniel Kochmański
88456b55e7 reader: turn ecl_read_token into symbol/number parser 
First it call ecl_only_read_token and then it parses it.
Fixes #814.
 2026-03-11 08:42:04 +01:00
Daniel Kochmański
e8b4e39dfe reader: factor out ecl_read_only_token from ecl_read_token 
The end goal is to make ecl_read_token become ecl_parse_token and read tokens
only from ecl_read_only_token, to keep Common Lisp -specific processing out of
the token reader.
 2026-03-11 08:42:04 +01:00
Daniel Kochmański
fa48d3afec reader: store escape intervals on a stack 
To enable access from both sides we store escape intervals in a vector (a
stack). This also fixes #813.
 2026-03-11 08:42:04 +01:00
Daniel Kochmański
613f1b1a5c reader: always cons full escape_list 
This is in preparation for separating CL-specific tokenization from general
rule. We need to carry information about all escaped characters even when we
don't change their case, this is to allow for interpretation of special token
characters, like ":" - when it is escaped then it has no meaning, otherwise it
separates the symbol from the package.
 2026-03-11 08:42:04 +01:00
Daniel Kochmański
27e44af0cc reader: simplify and clarify arguments of ecl_read_token 2026-03-11 08:42:04 +01:00
Daniel Kochmański
c9e8dab8f4 reader: factor out ecl_read_token from ecl_read_object_with_delimiter 2026-03-11 08:42:04 +01:00
Daniel Kochmański
1d0330a2c0 reader: move the general-purpose reader from read.d to reader.d 2026-03-11 08:42:04 +01:00
Daniel Kochmański
91d1a99dcb reader: move the readtable implementation from read.d to readtable.d 2026-03-11 08:42:04 +01:00