[acl2/acl2] 72bc5d: [remora] remove `shape = dim` rule alternative, ma...

[Eric McCarthy]

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

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

Log Message:
-----------
[remora] remove `shape = dim` rule alternative, making `(++ dim)` no longer supported; matches Haskell Remora parser



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

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

Log Message:
-----------
[remora] remove `shape = dim` rule alternative, making `(++ dim)` no longer supported; matches Haskell Remora parser

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

Date: 2026-06-27 (Sat, 27 Jun 2026)

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

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

Merge commit '72bc5d3f18035d9b0170fbd02fae95073569be27' into HEAD


Compare: https://github.com/acl2/acl2/compare/ccfe5ef3fa38...22ce512d10ff

[acl2buildserver]

Branch: refs/heads/testing