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

Add Contextual interface #199

Merged
merged 1 commit into from
Jul 2, 2024
Merged

Add Contextual interface #199

merged 1 commit into from
Jul 2, 2024

Commits on Jul 2, 2024

  1. Add Contextual interface 

    This adds a `Contextual` interface which can be used to determine the
_evaluation context_ (i.e. enclosing module) of a given expression.

This also fixes `VanishingConstraints` to require a module index be
given to represent their context.
    @DavePearce
    DavePearce committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    1b2933c View commit details
    Browse the repository at this point in the history