[acl2/acl2] 33907e: [Remora] Generalize some code.

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 33907ec421d78f70d53cfd55d84c6561832672e9
https://github.com/acl2/acl2/commit/33907ec421d78f70d53cfd55d84c6561832672e9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-24 (Wed, 24 Jun 2026)

Changed paths:
M books/kestrel/remora/values.lisp

Log Message:
-----------
[Remora] Generalize some code.


Commit: 4b98ebc5bf2f7df77fa07f31890365bf17f4b43b
https://github.com/acl2/acl2/commit/4b98ebc5bf2f7df77fa07f31890365bf17f4b43b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-24 (Wed, 24 Jun 2026)

Changed paths:
M books/kestrel/remora/values.lisp

Log Message:
-----------
[Remora] Add another supporting operation.


Commit: 208d39e8867ccc9ab0f706e4ac3d95850fcc20ac
https://github.com/acl2/acl2/commit/208d39e8867ccc9ab0f706e4ac3d95850fcc20ac
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-24 (Wed, 24 Jun 2026)

Changed paths:
M books/kestrel/remora/evaluation.lisp

Log Message:
-----------
[Remora] Handle empty principal frames in applications.


Commit: 061354055f9ba590d80c1ffa4b6458fcf5882dd9
https://github.com/acl2/acl2/commit/061354055f9ba590d80c1ffa4b6458fcf5882dd9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-24 (Wed, 24 Jun 2026)

Changed paths:
M books/kestrel/remora/values.lisp

Log Message:
-----------
[Remora] Align code to doc.


Commit: 08b39c60bfeb481ee7e43e1249dd4f2174fcdf4b
https://github.com/acl2/acl2/commit/08b39c60bfeb481ee7e43e1249dd4f2174fcdf4b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-24 (Wed, 24 Jun 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/kestrel/remora/variable-renaming-operations.lisp
M books/kestrel/remora/variable-substitution-operations.lisp

Log Message:
-----------
[Remora] Add an optional AST type annotation.

This is for unboxing expressions.


Commit: 8d175c3ef63b34149579430cf7db2ef5311b9484
https://github.com/acl2/acl2/commit/8d175c3ef63b34149579430cf7db2ef5311b9484
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-24 (Wed, 24 Jun 2026)

Changed paths:
M books/kestrel/remora/evaluation.lisp

Log Message:
-----------
[Remora] Extend evaluation.

Handle unboxing expressions with empty frames.


Commit: 802f1fa794648e58ebbbed12e9bbf5a9a882aca2
https://github.com/acl2/acl2/commit/802f1fa794648e58ebbbed12e9bbf5a9a882aca2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-operations.lisp
A books/kestrel/c/syntax/tests/types-to-tynames.lisp
M books/kestrel/c/syntax/top.lisp
A books/kestrel/c/syntax/types-to-tynames.lisp
M books/kestrel/c/transformation/struct-type-split-doc.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
M books/kestrel/c/transformation/utilities/context-msg.lisp
M books/kestrel/c/transformation/utilities/print-to-str.lisp
M books/kestrel/fty/string-string-map.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
M books/kestrel/remora/abstract-syntax-variable-operations.lisp
M books/kestrel/remora/bound-and-free-variable-operations.lisp
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/type-checking.lisp
M books/kestrel/remora/values.lisp
A books/kestrel/remora/variable-renaming-alpha-operations.lisp
M books/kestrel/remora/variable-substitution-alpha-operations.lisp

Log Message:
-----------
Merge.


Commit: f0d8441db91871e24166b732a61df6a13f0dbf6b
https://github.com/acl2/acl2/commit/f0d8441db91871e24166b732a61df6a13f0dbf6b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)

Changed paths:
M books/kestrel/remora/static-environments.lisp

Log Message:
-----------
[Remora] Remove outdated doc.


Commit: ab44a102ed5d73c710229c348bba6f7f546a3cd9
https://github.com/acl2/acl2/commit/ab44a102ed5d73c710229c348bba6f7f546a3cd9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-core.lisp
M books/kestrel/remora/abstract-syntax-derived-fixtypes.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/abstract-syntax-well-formed.lisp
M books/kestrel/remora/bound-and-free-variable-operations.lisp
M books/kestrel/remora/desugaring.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/kestrel/remora/type-checking.lisp
M books/kestrel/remora/values.lisp
M books/kestrel/remora/variable-renaming-alpha-operations.lisp
M books/kestrel/remora/variable-renaming-operations.lisp
M books/kestrel/remora/variable-substitution-alpha-operations.lisp
M books/kestrel/remora/variable-substitution-operations.lisp

Log Message:
-----------
[Remora] Make some AST types optional.

These are the types of the parameters of a lambda abstraction, or a `let`
function binding, or a `let` combined function binding. Although the concrete
syntax requires it currently, they may become optional at some point in the
concrete syntax as well, once there is a practical type inference.

Our initial motivation for this relaxation is to be able to desugar `let`s,
which was previously not possible due to the requirements that all parameters
have types. We have not changed desugaring to do that yet though, as this commit
is already a fairly large change.


Commit: af8187f6530d78c4fa783d3671769063afe3aaef
https://github.com/acl2/acl2/commit/af8187f6530d78c4fa783d3671769063afe3aaef
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)

Changed paths:
M books/kestrel/axe/x86/rule-lists.lisp
A books/kestrel/x86/register-readers-and-writers-8-16.acl2
A books/kestrel/x86/register-readers-and-writers-8-16.lisp
M books/kestrel/x86/register-readers-and-writers32.lisp
M books/kestrel/x86/register-readers-and-writers64.lisp
M books/quicklisp/base-raw.lsp
M books/quicklisp/dexador-raw.lsp
M books/quicklisp/dexador.lisp
M books/quicklisp/top.lisp
M books/quicklisp/update-libs.lsp
A books/quicklisp/usocket-raw.lsp
A books/quicklisp/usocket.lisp
M books/quicklisp/zippy-raw.lsp
M books/quicklisp/zippy.lisp

Log Message:
-----------
Merge.


Commit: 12efa14761d84432814429aa69416f549c74284b
https://github.com/acl2/acl2/commit/12efa14761d84432814429aa69416f549c74284b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-25 (Thu, 25 Jun 2026)

Changed paths:
M books/kestrel/remora/static-environments.lisp

Log Message:
-----------
Merge.


Compare: https://github.com/acl2/acl2/compare/ea7ffc00c77b...12efa14761d8

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[Alessandro Coglio]

Branch: refs/heads/master

[Alessandro Coglio]

Branch: refs/heads/testing