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

Type unification for rows, new records, and variants #1646

Merged
merged 17 commits into from
Apr 26, 2022
Merged

Type unification for rows, new records, and variants #1646

Changes from 1 commit
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
fed21d2
add a variable pool to the type unifier
konnov Apr 13, 2022
cdb8748
add a unit test for row unification, which is missing
konnov Apr 13, 2022
00dd40c
Merge branch 'unstable' into ik/unification1622
konnov Apr 15, 2022
406a13f
fix the corner cases for rows and records
konnov Apr 19, 2022
f7895a2
add unification over rows
konnov Apr 19, 2022
d0bf6e5
reviewing the row unifier
konnov Apr 19, 2022
2f930ec
cover all cases of the row unifier
konnov Apr 19, 2022
5ee543f
unifying new records
konnov Apr 19, 2022
a1689cd
unifying variants
konnov Apr 19, 2022
0cea2be
Merge branch 'unstable' into ik/unification1622
konnov Apr 20, 2022
4a728c8
add release note
konnov Apr 20, 2022
1e9aa7f
Merge branch 'unstable' into ik/unification1622
konnov Apr 20, 2022
684d3f8
remove unused declarations
konnov Apr 20, 2022
e15664b
Merge branch 'unstable' into ik/unification1622
konnov Apr 21, 2022
c88eb19
Apply suggestions from code review
konnov Apr 26, 2022
1e1aa8d
fix formatting
konnov Apr 26, 2022
849b7a4
Merge branch 'unstable' into ik/unification1622
konnov Apr 26, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Merge branch 'unstable' into ik/unification1622
  • Loading branch information
@konnov
konnov committed Apr 26, 2022
commit 849b7a4985fa832c46c37a5209622f86b8107a66
3 changes: 2 additions & 1 deletion UNRELEASED.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,4 +20,5 @@

### Bug fixes

* Fix references to `--tune-here` (actually `--tuning-options`), see #1579
* Fix references to `--tune-here` (actually `--tuning-options`), see #1579
* Not failing when assignment and `UNCHANGED` appear in invariants, see #1664
You are viewing a condensed version of this merge commit. You can view the full changes here.