[acl2/acl2] 3ea5d5: [remora] Allow empty escape \& in strings to match...

[Eric McCarthy]

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

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

Log Message:
-----------
[remora] Allow empty escape \& in strings to match Haskell Remora parser. printer outputs \& only when needed for correctness



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

[Eric McCarthy]

Branch: refs/heads/master

Home: https://github.com/acl2/acl2
Commit: 3ea5d537165eaddce064fe415ed65a1f727dea00
https://github.com/acl2/acl2/commit/3ea5d537165eaddce064fe415ed65a1f727dea00
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-05-04 (Mon, 04 May 2026)

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

Log Message:
-----------
[remora] Allow empty escape \& in strings to match Haskell Remora parser. printer outputs \& only when needed for correctness

Commit: 52bbd7610241ef48cf4f8ec6e8ca7b46ef33af0a
https://github.com/acl2/acl2/commit/52bbd7610241ef48cf4f8ec6e8ca7b46ef33af0a

Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-05-04 (Mon, 04 May 2026)

Changed paths:

M books/kestrel/remora/printer.lisp

Log Message:
-----------
[remora] improve xdoc topic name for a deffold-reduce


Compare: https://github.com/acl2/acl2/compare/606dcae2f7b4...52bbd7610241

[Eric McCarthy]

Branch: refs/heads/testing