Skip to content

Collect free variables from Type field of EPropGuards in FreeVars Expr instance#1573

Merged
qsctr merged 1 commit intomasterfrom
freevars-epropguards
Sep 1, 2023
Merged

Collect free variables from Type field of EPropGuards in FreeVars Expr instance#1573
qsctr merged 1 commit intomasterfrom
freevars-epropguards

Conversation

@qsctr
Copy link
Collaborator

@qsctr qsctr commented Aug 31, 2023

Similar problem to #1570

@qsctr qsctr requested a review from yav August 31, 2023 22:27
@qsctr qsctr self-assigned this Aug 31, 2023
@qsctr qsctr temporarily deployed to github-pages August 31, 2023 22:27 — with GitHub Actions Inactive
@qsctr
Copy link
Collaborator Author

qsctr commented Sep 1, 2023

Approved by @yav

@qsctr qsctr merged commit 3973b15 into master Sep 1, 2023
@qsctr qsctr deleted the freevars-epropguards branch September 1, 2023 05:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant