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 LowerEqPattern and LowerDistinctPattern for pair types #55

Merged

math-fehr merged 1 commit into main from pair_eq

Dec 18, 2024

Collaborator

Hatsunespica commented Dec 18, 2024

This PR includes 4 changes:

LowerEqPattern
For a pair eq comparison, we have

(= (pair lhsFirst lhsSecond) (pair rhsFirst rhsSecond))
->
(and (= lhsFirst rhsFirst) (= lhsSecond rhsSecond))

LowerDistinctPattern
For a pair distinct comparison, we have

(distinct (pair lhsFirst lhsSecond) (pair rhsFirst rhsSecond))
->
(or (distinct lhsFirst rhsFirst) (distinct lhsSecond rhsSecond))

A test case for LowerEqPattern
A test case for LowerDistinctPattern

Hatsunespica force-pushed the pair_eq branch 2 times, most recently from 94eecc9 to 4d9ba68 Compare

December 18, 2024 04:23


          Add LowerEqPattern and LowerDistinctPattern for pair types

d18ee71

Hatsunespica force-pushed the pair_eq branch from 4d9ba68 to d18ee71 Compare

December 18, 2024 04:25

math-fehr approved these changes

View reviewed changes

Contributor

math-fehr left a comment

Thanks a lot!

math-fehr merged commit f7afa07 into main

2 checks passed

math-fehr deleted the pair_eq branch

December 18, 2024 14:36

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet