Repository navigation

[clean-strict-optional] Clean-up the type checking files - #3957

Merged

ilevkivskyi merged 5 commits into

python:masterfrom

ilevkivskyi:clean-optional-checker

Sep 17, 2017

Merged

[clean-strict-optional] Clean-up the type checking files#3957
ilevkivskyi merged 5 commits into
python:masterfrom
ilevkivskyi:clean-optional-checker

Commits on Sep 14, 2017
- Clean-up most of checker; started checkexpr
  ilevkivskyi
  committed
  178ad41
- More clean-up
  ilevkivskyi
  committed
  9d77fbc
- Finish clean-up of checker, checkexpr and myunit
  ilevkivskyi
  committed
  1f73106
Commits on Sep 17, 2017
- Address CR
  ilevkivskyi
  committed
  218253a
- Restart CI builds
  ilevkivskyi
  committed
  d461fc1