Repository navigation

Cleaner usage of get_proper_type() - #13326

Merged

ilevkivskyi merged 18 commits into

python:masterfrom

ilevkivskyi:clean-get-proper-type

Aug 4, 2022

Merged

Cleaner usage of get_proper_type()#13326
ilevkivskyi merged 18 commits into
python:masterfrom
ilevkivskyi:clean-get-proper-type

Commits on Aug 3, 2022
- Go through subtypes.py
  ilevkivskyi
  committed
  51670ca
- Go through applytype.py
  ilevkivskyi
  committed
  20f0b8e
Commits on Aug 4, 2022
- Add couple tests
  ilevkivskyi
  committed
  5067998
- Some more cleanup; add test
  ilevkivskyi
  committed
  c85098b
- Fix one test
  ilevkivskyi
  committed
  20286fd
- Add a test case for join
  ilevkivskyi
  committed
  f0970b8
- Bake out one in constraints.py (just in case)
  ilevkivskyi
  committed
  b5a8655
- Mark erasetype.py as also done
  ilevkivskyi
  committed
  6c98581
- Go through meet.py
  ilevkivskyi
  committed
  8516bd5
- Mark solve.py as also done
  ilevkivskyi
  committed
  5b0e101
- Mark argmap.py as also done
  ilevkivskyi
  committed
  2d6dbee
- Mark expandtype.py as also done
  ilevkivskyi
  committed
  42e1fc6
- Fix self-check; mark join.py as done
  ilevkivskyi
  committed
  db14a35
- Update plugin
  ilevkivskyi
  committed
  7ae8714
- Remove some unneeded calls
  ilevkivskyi
  committed
  a50e8e4
- Merge remote-tracking branch 'upstream/master' into clean-get-proper-type
  ilevkivskyi
  committed
  021f18f
- Restore some weird special-casing
  ilevkivskyi
  committed
  e056c81
- Some more fixes
  ilevkivskyi
  committed
  841b72c