[acl2/acl2] dff723: [remora] add new surface form of arrow type: (-> T...

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: dff7233c1f7ae6e35ed06346191a787563cce2a7
https://github.com/acl2/acl2/commit/dff7233c1f7ae6e35ed06346191a787563cce2a7
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)

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

Log Message:
-----------
[remora] add new surface form of arrow type: (-> T R), equivalent to (-> (T) R)



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: dff7233c1f7ae6e35ed06346191a787563cce2a7
https://github.com/acl2/acl2/commit/dff7233c1f7ae6e35ed06346191a787563cce2a7
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)

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

Log Message:
-----------
[remora] add new surface form of arrow type: (-> T R), equivalent to (-> (T) R)

Commit: 232a2c306517b8e9c1bcb5a6accb31a72b99d59d
https://github.com/acl2/acl2/commit/232a2c306517b8e9c1bcb5a6accb31a72b99d59d
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-07-09 (Thu, 09 Jul 2026)

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

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

Merge commit 'dff7233c1f7ae6e35ed06346191a787563cce2a7' into HEAD


Compare: https://github.com/acl2/acl2/compare/1ef9743590eb...232a2c306517

[acl2buildserver]

Branch: refs/heads/testing