[acl2/acl2] f8a33e: [remora] change name of dims to shape macro from "...

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: f8a33ec5968ef6dc16a26c49db2586a984e57cde
https://github.com/acl2/acl2/commit/f8a33ec5968ef6dc16a26c49db2586a984e57cde
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-05-02 (Sat, 02 May 2026)

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

Log Message:
-----------
[remora] change name of dims to shape macro from "shape" to "shp" to avoid name clash with the "shape" type



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

[acl2buildserver]

Branch: refs/heads/master

Home: https://github.com/acl2/acl2
Commit: f8a33ec5968ef6dc16a26c49db2586a984e57cde
https://github.com/acl2/acl2/commit/f8a33ec5968ef6dc16a26c49db2586a984e57cde
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-05-02 (Sat, 02 May 2026)

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

Log Message:
-----------
[remora] change name of dims to shape macro from "shape" to "shp" to avoid name clash with the "shape" type

Commit: 11563705e3583a212d714e289bfe184b03f9fe68
https://github.com/acl2/acl2/commit/11563705e3583a212d714e289bfe184b03f9fe68
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2026-05-02 (Sat, 02 May 2026)

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

Log Message:
-----------

Merge commit 'f8a33ec5968ef6dc16a26c49db2586a984e57cde' into HEAD


Compare: https://github.com/acl2/acl2/compare/c8b229579e0a...11563705e358

[acl2buildserver]

Branch: refs/heads/testing