Commit graph

9111 commits

Author SHA1 Message Date
Daniel Kochmański
939a6d87ad 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-13 19:23:05 +01:00
Daniel Kochmański
b997a03a35 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-13 19:23:05 +01:00
Daniel Kochmański
2cedabfac8 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-13 19:23:05 +01:00
Daniel Kochmański
53f3576dc4 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-13 19:23:05 +01:00
Daniel Kochmański
1a83e74f45 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-13 19:23:05 +01:00
Daniel Kochmański
f270b54692 reader: simplify and clarify arguments of ecl_read_token 2026-03-13 19:23:05 +01:00
Daniel Kochmański
f6e9a36651 reader: factor out ecl_read_token from ecl_read_object_with_delimiter 2026-03-13 19:23:05 +01:00
Daniel Kochmański
16ac6aff8c reader: move the general-purpose reader from read.d to reader.d 2026-03-13 19:23:05 +01:00
Daniel Kochmański
b6c5aac5fd reader: move the readtable implementation from read.d to readtable.d 2026-03-13 19:23:05 +01:00
Daniel Kochmański
6a7e285735 reader: move common-lisp specific readtable entries t rtab_cl.d 2026-03-13 19:23:05 +01:00
Daniel Kochmański
11914c6809 reader: fix set_syntax_from_char copying behavior 2026-03-13 19:23:05 +01:00
Daniel Kochmański
1802d96b91 core: split cl_core_struct in two structure cl_core and ecl_core
ecl_core contains early global environment that is meant to be shared by all
runtimes, while cl_core contains an environment relevant to common lisp.
2026-03-13 19:23:05 +01:00
Daniel Kochmański
2a8327dc20 core: define protect and dummy tags as constants
Both tags have a special meaning to the low-level runtime (most notably the
frame stack). Extracting them from "all symbols" is a step towards multiple
runtimes.
2026-03-13 19:23:05 +01:00
Daniel Kochmański
b93b2a6486 core: move defacto constants from cl_core structure to global space 2026-03-13 19:23:05 +01:00
Daniel Kochmański
249b81df16 apply: generic functions are dispatched via the entry point
Previously standard and restricted dispatch was dispatched via
_ecl_standard_dispatch, but that adds a dependency on gfun.d.
2026-03-13 19:23:05 +01:00
Daniel Kochmański
330a4d6995 apply: move funcall and apply-from-stack eval.d -> apply.d 2026-03-13 19:23:05 +01:00
Daniel Kochmański
2b857250e4 core: minor cleanups in files character.d and string.d
These function clearly operates on strings, so move them to string.d
- cl_name_char
- cl_char_name
- ecl_string_case

Add a new local assertion assert_type_radix taht uses the new type.

sq
2026-03-13 19:23:05 +01:00
Daniel Kochmański
14fe134f1c core: predlib: add a system type SI:RADIX 2026-03-13 19:23:05 +01:00
Daniel Kochmański
4768f23695 cosmetic: indent vector_push.d 2026-03-13 19:23:05 +01:00
Daniel Kochmański
3cb3c7aa17 bytevm: new opcode CALLW, don't open a frame when there are no locals
CALLW calls a word from the data stack. The word differs from normal functions
in that it takes no arguments (so the call does not modify the data stack).

To allow words using the stack across calls (like in "real" forth) don't unwind
the stack on exit if there are no locals.
2026-03-13 19:23:05 +01:00
Daniel Kochmański
237d096939 c/makefile: add separate vars to hold thread and unicode files 2026-03-13 19:23:05 +01:00
Daniel Kochmański
202a2e14ae doc: update install for macos 2026-03-13 19:22:36 +01:00
Marius Gerbershagen
109aa3d265 apply workaround for clang bug more broadly
Xcode 26 distributes a clang version which identifies itself with
__clang_major__=17 and that is also affected by the bug for which the
workaround in commit 2fbdd292af was
added.

Closes #825.
2026-03-13 19:14:02 +01:00
Daniel Kochmański
8efdd3757f doc: fix typo 2026-03-11 08:39:29 +01:00
Daniel Kochmański
88a53fe73b doc: add MacOS/arm64 -specific section to INSTALL
Contributed by Polos Ruetz.
2026-03-10 20:09:37 +01:00
Daniel Kochmański
79cbfc23fb doc: document that fixnum, bignum, *-float are built-in classes
Fixes #109.
2026-03-10 09:16:46 +01:00
Daniel Kochmański
8dec95f282 cmp: remove unsused config optiosn cc-format and ld-format
Closes #51.
2026-03-10 08:42:40 +01:00
Daniel Kochmański
cc0bb43eb4 update asdf to 3.1.8.11
See https://gitlab.common-lisp.net/asdf/asdf/-/merge_requests/246 for context.
This effectively unbreaks haiku builds.
2026-03-09 15:42:41 +01:00
Daniel Kochmański
e39d6574ce sockets: put the package in the same file as the implementation
build-module on rebuild reloads only files that have changes, so if we had
updated only sockets.lisp, then the package is not defined when the file is
recompiled and loaded.
2026-03-09 12:37:42 +01:00
Marius Gerbershagen
b58eb33283 disable floating point exceptions on android 2026-03-07 16:20:05 +01:00
Daniel Kochmański
b752046ed3 Revert "reader: fix a bug in SET-SYNTAX-FROM-CHAR"
This reverts commit 6011067359.
2026-03-06 19:48:53 +01:00
Daniel Kochmański
6011067359 reader: fix a bug in SET-SYNTAX-FROM-CHAR
The regrssion test was added as mix.0036.reader.false-sharing.
2026-03-06 18:58:54 +01:00
Marius Gerbershagen
ae92d13562 find-class: fix bug when searching compiler env
Environment records can be atoms.
2026-03-05 20:22:39 +01:00
Marius Gerbershagen
fcddd9c175 compiler.d: fix order of evaluation bug for nested eval-when forms 2026-03-05 20:22:39 +01:00
Marius Gerbershagen
5053532ee1 avoid name clashes in some tests
The cmp.0077.make-load-form.circular-dep test already tried to avoid
name clashes using ext:with-clean-symbols but this is a bit
problematic to use with file compilation since it uses uninterned
symbols. Just adding a prefix avoids the issue in a simpler, more
robust way.
2026-03-05 20:22:39 +01:00
Daniel Kochmański
13d41b746a tests: add a new regression test for a bug found in the reader 2026-03-05 14:37:08 +01:00
Daniel Kochmański
8d9f3c171d tests: add a new mixed test for bignums 2026-03-04 14:29:30 +01:00
Daniel Kochmański
56f1ce7850 tests: add a regression test for a symbol parser bug 2026-03-04 14:29:30 +01:00
Daniel Kochmański
83fc257cfa tests: add a regression test for a readtable-case bug 2026-03-04 14:29:30 +01:00
Marius Gerbershagen
9b1b5bdcbe fix test
We are already working in a sandbox, no need to use /tmp.
2026-02-28 19:05:15 +01:00
Marius Gerbershagen
2fbdd292af add workaround for compiler bug in clang 19 2026-02-28 16:10:26 +01:00
Daniel Kochmański
ede2f0aaa1 cmp: define constant VM before it is first used in a produced header
When we've built ECL without dynamic VV, the preprocessor define VM was
referenced in the produced header before it was defined. That lead to an error.
2026-02-27 11:22:02 +01:00
Daniel Kochmański
86e2f245f6 cosmetic: remove unnecessary bindings of the_env 2026-02-27 09:51:50 +01:00
Daniel Kochmański
b230bf52ac Merge branch 'find-class-compiler-env' into 'develop'
Store class definitions in the compiler environment

See merge request embeddable-common-lisp/ecl!364
2026-02-27 07:49:21 +00:00
Marius Gerbershagen
03a07d87b4 tests: fix Makefile for platforms that don't ship bash in /bin
Bug fix provided by Dima Pasechnik
2026-02-26 20:06:33 +01:00
Marius Gerbershagen
b1cf56806d clos: store class definitions in the compiler environment
According to the CLHS:

> If a DEFCLASS form appears as a top level form, [...] the compiler
  must make the class definition available to be returned by FIND-CLASS
  when its environment argument is a value received as the environment
  parameter of a macro.

We already store type definitions in the compiler environment, so we
can just reuse that.

While The metaobject protocol doesn't specify what happens when
compiling DEFCLASS, only what happens when executing it (see
https://franz.com/support/documentation/mop/concepts.html#compile-file),
real life software breaks when we try to create a full class object at
compile time. Therefore, we just create a dummy forward-referenced
class object which contains nothing more than a name.
2026-02-25 20:10:06 +01:00
Daniel Kochmański
944d5ef3b1 Merge branch 'cmp-base-string-coercion' into 'develop'
Fix incorrect coercion of base strings to extended strings during compilation

See merge request embeddable-common-lisp/ecl!363
2026-02-23 10:26:10 +00:00
Daniel Kochmański
1b97477d6b cross-compilation: add instructions and configs for mingw 2026-02-16 13:22:31 +01:00
Marius Gerbershagen
08dae53ebc remove unused function declaration 2026-02-14 21:33:29 +01:00
Marius Gerbershagen
d4994b33f0 cmp: fix incorrect coercion of base strings to extended strings
The compiler was coercing base strings to extended strings when
encountering them as literal objects in compiled files. According to
CLHS 3.2.4.2.2, we need to preserve the actual element type (after
upgrading) of arrays during compilation. For ECL, the actual array
element type of a base-string is base-char and therefore we can't
change this to an extended string.

Actually fixing this requires some work since we use the reader to
store a printed representation of the string in the compiled file. The
reader string syntax always returns an extended string (There is a
comment in the code which claims that this is implied by CLHS 2.4.5. I
am not quite sure if that is really true but for backwards
compatibility I don't want to change this). We thus introduce a new
syntax #"..." for base strings which is used when reading objects from
compiled files. To prevent the new syntax from leaking outside of this
context, we also introduce a new readtable.
2026-02-14 20:36:49 +01:00