Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

define-record-type methods and interfaces #596

Open
wants to merge 5 commits into
base: main
Choose a base branch
from
Open

define-record-type methods and interfaces #596

wants to merge 5 commits into from

Commits on Dec 4, 2021

  1. support for define-record-type methods and interfaces, with a few oth… 

    …er enhancements and bug fixes
    @dybvig
    dybvig committed Dec 4, 2021
    Configuration menu
    Copy the full SHA
    72759db View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2021

  1. changed define-interface syntax; added interface predicates; some fixes

    @dybvig
    dybvig committed Dec 7, 2021
    Configuration menu
    Copy the full SHA
    71915d6 View commit details
    Browse the repository at this point in the history

  2. updated comments documenting the new features

    @dybvig
    dybvig committed Dec 7, 2021
    Configuration menu
    Copy the full SHA
    adbea6e View commit details
    Browse the repository at this point in the history

Commits on Feb 4, 2022

  1. improved expansion and optimization of records with methods and 

    interfaces; added new open-interface form; various other changes.
see LOG for details.
    @dybvig
    dybvig committed Feb 4, 2022
    Configuration menu
    Copy the full SHA
    ee3c736 View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2022

  1. fixed placement of $diinfo? check and improved $query-interface optim… 

    …ization; added tests of same
    @dybvig
    dybvig committed Feb 5, 2022
    Configuration menu
    Copy the full SHA
    262716d View commit details
    Browse the repository at this point in the history