[acl2/acl2] c2757d: [remora] rename "type-exp" to "type" in front end

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: c2757d701065e4ae11dff8057581217dc8063516
https://github.com/acl2/acl2/commit/c2757d701065e4ae11dff8057581217dc8063516
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/parser-interface.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/syntax-abstraction.lisp

Log Message:
-----------
[remora] rename "type-exp" to "type" in front end



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: c2757d701065e4ae11dff8057581217dc8063516
https://github.com/acl2/acl2/commit/c2757d701065e4ae11dff8057581217dc8063516
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/parser-interface.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/syntax-abstraction.lisp

Log Message:
-----------
[remora] rename "type-exp" to "type" in front end

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

Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/parser-interface.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/syntax-abstraction.lisp

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

Merge commit 'c2757d701065e4ae11dff8057581217dc8063516' into HEAD


Compare: https://github.com/acl2/acl2/compare/8e7515a7ba41...583a11f5f940

[acl2buildserver]

Branch: refs/heads/testing