[acl2/acl2] a0aeed: Incorporate AC's suggestions. Mainly adding type c...
0 views
Skip to first unread message
Stephen Westfold
Jul 4, 2026, 5:18:32 PM (11 hours ago) Jul 4
to acl2-...@googlegroups.com
Branch: refs/heads/cleanup-mono
Home: https://github.com/acl2/acl2
Commit: a0aeed2fe84ec6024713006e9442bd46d6523c91
https://github.com/acl2/acl2/commit/a0aeed2fe84ec6024713006e9442bd46d6523c91
Author: Stephen Westfold <west...@kestrel.edu>
Date: 2026-07-04 (Sat, 04 Jul 2026)
Changed paths:
M books/kestrel/remora/abstract-syntax-matching-operations.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
M books/kestrel/remora/type-checking.lisp
M books/kestrel/remora/unique-names.lisp
M books/kestrel/remora/value-printing.lisp
Log Message:
-----------
Incorporate AC's suggestions. Mainly adding type checking before evaluation in
eval-file. Required some extensions to enable case that previously worked to still again.
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: a0aeed2fe84ec6024713006e9442bd46d6523c91
https://github.com/acl2/acl2/commit/a0aeed2fe84ec6024713006e9442bd46d6523c91
Author: Stephen Westfold <west...@kestrel.edu>
Date: 2026-07-04 (Sat, 04 Jul 2026)
Changed paths:
M books/kestrel/remora/abstract-syntax-matching-operations.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
M books/kestrel/remora/type-checking.lisp
M books/kestrel/remora/unique-names.lisp
M books/kestrel/remora/value-printing.lisp
Log Message:
-----------
Incorporate AC's suggestions. Mainly adding type checking before evaluation in
eval-file. Required some extensions to enable case that previously worked to still again.
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Reply all
Reply to author
Forward
0 new messages