Repository navigation

Use polymorphic inference in unification - #17348

Merged

ilevkivskyi merged 10 commits into

python:masterfrom

ilevkivskyi:unify-poly

Jun 10, 2024

Merged

Use polymorphic inference in unification#17348
ilevkivskyi merged 10 commits into
python:masterfrom
ilevkivskyi:unify-poly

Commits on Jun 8, 2024
- Use polymorphic inference in unification
  ilevkivskyi
  committed
  fad1094
- Plain name for implementation
  ilevkivskyi
  committed
  a899100
- [pre-commit.ci] auto fixes from pre-commit.com hooks
  pre-commit-ci[bot]
  committed
  a1be8a4
Commits on Jun 9, 2024
- Fix constraint inference for Parameters
  ilevkivskyi
  committed
  66e4e93
- Fix regression; improve error messages
  ilevkivskyi
  committed
  c769290
- Update tests
  ilevkivskyi
  committed
  95c6421
- [pre-commit.ci] auto fixes from pre-commit.com hooks
  pre-commit-ci[bot]
  committed
  0ee2ee1
- Fix couple more bugs exposed by the PR
  ilevkivskyi
  committed
  52014c7
- [pre-commit.ci] auto fixes from pre-commit.com hooks
  pre-commit-ci[bot]
  committed
  5328850
- Move comment after reformat
  ilevkivskyi
  committed
  99e0956