define-record-type methods and interfaces - #596

Open

dybvig wants to merge 5 commits into

dybvig:record-methods

Commits on Dec 4, 2021

support for define-record-type methods and interfaces, with a few other enhancements and bug fixes
dybvig
committed
72759db

Commits on Dec 7, 2021

changed define-interface syntax; added interface predicates; some fixes
dybvig
committed
71915d6
updated comments documenting the new features
dybvig
committed
adbea6e

Commits on Feb 4, 2022

improved expansion and optimization of records with methods and
dybvig
committed
ee3c736

Commits on Feb 5, 2022

fixed placement of $diinfo? check and improved $query-interface optimization; added tests of same
dybvig
committed
262716d