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

Fix issue #163 #164

Merged
merged 1 commit into from
Jun 23, 2023
Merged

Fix issue #163 #164

merged 1 commit into from
Jun 23, 2023

Commits on Jun 22, 2023

  1. Fix issue 163 

    Two problems fixed here:
- remove the push/pop around typing, to ensure that inferred constants
  are properly kept in the typing env
- properly distinguish the model from the newly defined constants, and
  thread the model appropriately to ensure that definitions are evaluated
  in the correct model (and not an empty one)
    @Gbury
    Gbury committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    32d7561 View commit details
    Browse the repository at this point in the history