Repository navigation

Overhaul overload semantics, remove erasure, add union math - #5084

Merged

ilevkivskyi merged 17 commits into

python:masterfrom

Michael0x2a:overhaul-overloads

May 30, 2018

Merged

Overhaul overload semantics, remove erasure, add union math#5084
ilevkivskyi merged 17 commits into
python:masterfrom
Michael0x2a:overhaul-overloads

Commits on May 20, 2018
- Overhaul overload semantics, remove erasure, add union math
  Michael0x2a
  committed
  72d9ab6
- Make overload definitions always strict optional
  Michael0x2a
  committed
  96486b6
- Rearrange Python 2 test
  Michael0x2a
  committed
  f37efdd
Commits on May 25, 2018
- Adjust overlap error message to use "signature" instead of "function"
  Michael0x2a
  committed
  c906385
- Add more comments and clean up some existing ones
  Michael0x2a
  committed
  e500861
- Remove vestigial 'from_overloads' field from UnionType
  Michael0x2a
  committed
  708e98b
- Add rudimentary support for partial overlap checks
  Michael0x2a
  committed
  1f31252
- Redo how 'union_overload_matches' handles generics
  Michael0x2a
  committed
  ff1d56f
- Make code for handling ambiguities due to 'Any' more robust
  Michael0x2a
  committed
  718b9de
- Make 'check_overload_call' try union math first, not second
  Michael0x2a
  committed
  123bc40
- Add support for special-casing overloaded descriptors
  Michael0x2a
  committed
  3e778c0
- Adjust code for checking overload implementation signature
  Michael0x2a
  committed
  0133339
- Add a few more tests
  Michael0x2a
  committed
  26be590
Commits on May 29, 2018
- Merge branch 'master' into overhaul-overloads
  Michael0x2a
  committed
  9da2e3e
- Clean up and expand comments
  Michael0x2a
  committed
  2387ae8
- Split up tests into shorter pieces
  Michael0x2a
  committed
  7f26467
- Add test checking empty collections
  Michael0x2a
  committed
  3027d57

Commits

Commits on May 20, 2018

Commits on May 25, 2018

Commits on May 29, 2018