Code

Protocols#3132

Code

Merged

JukkaL merged 152 commits intopython:masterpython/mypy:masterfrom

ilevkivskyi:protocolsilevkivskyi/mypy:protocolsCopy head branch name to clipboard

Aug 16, 2017

Commits

Commits on Mar 26, 2017

• Recognize protocols in semanal.py

  

  Ivan Levkivskyi

  committed
  884481d

  Copy full SHA for 884481d

• Add issubtype and basic constraints

  ilevkivskyi

  committed
  c19b6d4

  Copy full SHA for c19b6d4

• Merge remote-tracking branch 'upstream/master' into protocols

  ilevkivskyi

  committed
  83c1579

  Copy full SHA for 83c1579

• Remove debugging code

  ilevkivskyi

  committed
  b01f5b0

  Copy full SHA for b01f5b0

Commits on Mar 27, 2017

• Minor fixes: semanal, constrains, lib-stub; add few tests

  

  Ivan Levkivskyi

  committed
  16901fc

  Copy full SHA for 16901fc

• Allow mypy_extensions.runtime, revert change to test name.

  

  Ivan Levkivskyi

  committed
  c8c1247

  Copy full SHA for c8c1247

• Fix typo

  

  Ivan Levkivskyi

  committed
  f430c65

  Copy full SHA for f430c65

• Merge remote-tracking branch 'upstream/master' into protocols

  ilevkivskyi

  committed
  beea7d2

  Copy full SHA for beea7d2

• Enhance constraints, add join (meet seems to be already OK); minor fixes

  ilevkivskyi

  committed
  260237a

  Copy full SHA for 260237a

• Merge remote-tracking branch 'upstream/master' into protocols

  ilevkivskyi

  committed
  5414eaf

  Copy full SHA for 5414eaf

Commits on Mar 28, 2017

• Prohibit protocol instatiation except Type[]; start working on @runtime

  ilevkivskyi

  committed
  7f8a514

  Copy full SHA for 7f8a514

• Add some tests

  ilevkivskyi

  committed
  92b71a2

  Copy full SHA for 92b71a2

• Restore docstring formstting

  ilevkivskyi

  committed
  83085c7

  Copy full SHA for 83085c7

• Merge remote-tracking branch 'upstream/master' into protocols

  ilevkivskyi

  committed
  27b8570

  Copy full SHA for 27b8570

• Fix serialization; add few more tests

  ilevkivskyi

  committed
  41179c2

  Copy full SHA for 41179c2

Commits on Mar 30, 2017

• Add notes for missing protocol members in assignment

  ilevkivskyi

  committed
  5171844

  Copy full SHA for 5171844

• Add notes for missing members also for arguments and return types

  ilevkivskyi

  committed
  db123a3

  Copy full SHA for db123a3

• Prohibit definition via self.x in protocol classes

  ilevkivskyi

  committed
  31bf16c

  Copy full SHA for 31bf16c

• Merge remote-tracking branch 'upstream/master' into protocols

  ilevkivskyi

  committed
  03b5d72

  Copy full SHA for 03b5d72

• Make more things in fixtures structural subtypes

  ilevkivskyi

  committed
  65a8546

  Copy full SHA for 65a8546

• Structural support for __call__; add more tests

  ilevkivskyi

  committed
  2768d76

  Copy full SHA for 2768d76

• Fix lint and tests

  ilevkivskyi

  committed
  93beb75

  Copy full SHA for 93beb75

• Beautify error notes

  ilevkivskyi

  committed
  5135fd9

  Copy full SHA for 5135fd9

Commits on Mar 31, 2017

• Bind self to potential subtype; add tests for structural self-types

  ilevkivskyi

  committed
  fdeb89b

  Copy full SHA for fdeb89b

• One more test

  ilevkivskyi

  committed
  1fbcb4a

  Copy full SHA for 1fbcb4a

• Move global data to nodes.TypeInfo

  ilevkivskyi

  committed
  d012e38

  Copy full SHA for d012e38

• Add comments and docstrings; recognize and treat abstract variables

  ilevkivskyi

  committed
  801770d

  Copy full SHA for 801770d

• Fix tests and lint

  ilevkivskyi

  committed
  a625f37

  Copy full SHA for a625f37

• Merge remote-tracking branch 'upstream/master' into protocols

  ilevkivskyi

  committed
  fb6b1ad

  Copy full SHA for fb6b1ad

• Add two more tests for recursive

  ilevkivskyi

  committed
  adb68eb

  Copy full SHA for adb68eb

• Add test for Sized

  ilevkivskyi

  committed
  b9a0b2d

  Copy full SHA for b9a0b2d

Commits on Apr 1, 2017

• Fix crash in typeanal.py; ignore positional arg names for subtyping; allow fallback to nominal subtyping

  ilevkivskyi

  committed
  969f76f

  Copy full SHA for 969f76f

• Change order of structural and nominal checks to boost speed; minor fixes

  ilevkivskyi

  committed
  2e5de3e

  Copy full SHA for 2e5de3e

• Merge remote-tracking branch 'upstream/master' into protocols

  Show description for 1daaf8d
  ilevkivskyi

  committed
  1daaf8d

  Copy full SHA for 1daaf8d

• Add structural support for tuples and named tuples; add tests

  ilevkivskyi

  committed
  2b6d198

  Copy full SHA for 2b6d198

• Add support for staticmethod, classmethod, property, ClassVar + tests and refactoring

  ilevkivskyi

  committed
  937c629

  Copy full SHA for 937c629

Commits on Apr 2, 2017

• Speed improvements; more carefull treatment of strucutral inference

  ilevkivskyi

  committed
  e8e6661

  Copy full SHA for e8e6661

• Minor fixes and one more test

  ilevkivskyi

  committed
  8e6306f

  Copy full SHA for 8e6306f

• Start adding some docs

  ilevkivskyi

  committed
  3f2d707

  Copy full SHA for 3f2d707

Commits on Apr 3, 2017

• Merge remote-tracking branch 'upstream/master' into protocols

  

  Ivan Levkivskyi

  committed
  a82413d

  Copy full SHA for a82413d

• Add one more test

  

  Ivan Levkivskyi

  committed
  957c76d

  Copy full SHA for 957c76d

• Try to sync typeshed

  ilevkivskyi

  committed
  8cf08ec

  Copy full SHA for 8cf08ec

• Merge remote-tracking branch 'upstream/master' into protocols

  Show description for e0083d9
  ilevkivskyi

  committed
  e0083d9

  Copy full SHA for e0083d9

Commits on Apr 4, 2017

• Simplify one test

  ilevkivskyi

  committed
  c9629da

  Copy full SHA for c9629da

• Add more docs

  ilevkivskyi

  committed
  affec0c

  Copy full SHA for affec0c

• Allow incompatible __init__ in structural subtypes

  ilevkivskyi

  committed
  01948dd

  Copy full SHA for 01948dd

• Merge remote-tracking branch 'upstream/master' into protocols

  Show description for 78a62eb
  ilevkivskyi

  committed
  78a62eb

  Copy full SHA for 78a62eb

• Fix minor failure after merge

  ilevkivskyi

  committed
  0ae409a

  Copy full SHA for 0ae409a

• Re-run Travis

  ilevkivskyi

  committed
  cb27279

  Copy full SHA for cb27279

Commits on Apr 5, 2017

• Merge branch 'master' into protocols

  ilevkivskyi

  authored
  5452227

  Copy full SHA for 5452227

Commits on Apr 9, 2017

• Implement subtype cache

  ilevkivskyi

  committed
  798954a

  Copy full SHA for 798954a

• Merge remote-tracking branch 'upstream/master' into protocols

  Show description for 9db4e51
  ilevkivskyi

  committed
  9db4e51

  Copy full SHA for 9db4e51

• Restore correct typeshed commit

  ilevkivskyi

  committed
  7d2327a

  Copy full SHA for 7d2327a

• Typeshed again

  ilevkivskyi

  committed
  88d4fed

  Copy full SHA for 88d4fed

Commits on Apr 13, 2017

• Merge remote-tracking branch 'upstream/master' into protocols

  ilevkivskyi

  committed
  d9187e2

  Copy full SHA for d9187e2

Commits on Apr 16, 2017

• Merge remote-tracking branch 'upstream/master' into protocols

  ilevkivskyi

  committed
  3ee1c53

  Copy full SHA for 3ee1c53

• Switch to NotImplemented instead of False in __eq__

  ilevkivskyi

  committed
  85082d5

  Copy full SHA for 85082d5

Commits on Apr 17, 2017

• Prohibit using NewType with protocols

  ilevkivskyi

  committed
  2733e1a

  Copy full SHA for 2733e1a

• Address CR

  ilevkivskyi

  committed
  232428f

  Copy full SHA for 232428f

• Restore current typeshed commit

  ilevkivskyi

  committed
  4c04e0b

  Copy full SHA for 4c04e0b

Commits on Apr 18, 2017

• Add some support for __dunder__ = None idiom

  ilevkivskyi

  committed
  e81a3f9

  Copy full SHA for e81a3f9

• Merge remote-tracking branch 'upstream/master' into protocols

  ilevkivskyi

  committed
  b4ca6f0

  Copy full SHA for b4ca6f0

Commits on Apr 21, 2017

• Merge remote-tracking branch 'upstream/master' into protocols

  ilevkivskyi

  committed
  b063767

  Copy full SHA for b063767

• Trigger AppVeyor re-build

  

  Ivan Levkivskyi

  committed
  79d8e30

  Copy full SHA for 79d8e30

Commits on Apr 22, 2017

• Disable covariant subtyping for mutable members

  ilevkivskyi

  committed
  480b977

  Copy full SHA for 480b977

• Merge remote-tracking branch 'upstream/master' into protocols

  Show description for 483f163
  ilevkivskyi

  committed
  483f163

  Copy full SHA for 483f163

• Fix remaining test

  ilevkivskyi

  committed
  70c3ae0

  Copy full SHA for 70c3ae0

• Add much more detailed error messages

  ilevkivskyi

  committed
  509113a

  Copy full SHA for 509113a

• Fix one error message in one more test

  ilevkivskyi

  committed
  0cb0985

  Copy full SHA for 0cb0985

Commits on Apr 23, 2017

• Fix minor metaclass self-type bug, add various tests

  ilevkivskyi

  committed
  9f554b6

  Copy full SHA for 9f554b6

• Add two more tests (including for Any compatibility in protocols)

  ilevkivskyi

  committed
  70463a5

  Copy full SHA for 70463a5

Commits on Apr 25, 2017

• Merge branch 'master' into protocols

  ilevkivskyi

  authored
  78f2011

  Copy full SHA for 78f2011

Commits on Apr 27, 2017

• Merge remote-tracking branch 'upstream/master' into protocols

  ilevkivskyi

  committed
  473a2d2

  Copy full SHA for 473a2d2

• Add two corner case tests: __getattr__; implicit types

  ilevkivskyi

  committed
  8dfe8ea

  Copy full SHA for 8dfe8ea

Commits on May 2, 2017

• Merge branch 'master' into protocols

  ilevkivskyi

  authored
  f7e55fa

  Copy full SHA for f7e55fa

• Fix fixture after merge

  ilevkivskyi

  committed
  06a1680

  Copy full SHA for 06a1680

Commits on May 5, 2017

• Merge branch 'master' into protocols

  ilevkivskyi

  authored
  204ec82

  Copy full SHA for 204ec82

• Add variance checks and modify tests accordingly

  ilevkivskyi

  committed
  985d1f7

  Copy full SHA for 985d1f7

Commits on May 14, 2017

• Minor update to docs

  ilevkivskyi

  committed
  8d2e199

  Copy full SHA for 8d2e199

Commits on May 21, 2017

• Merge branch 'master' into protocols

  ilevkivskyi

  authored
  f0471c1

  Copy full SHA for f0471c1

• Fix trailing whitespace

  ilevkivskyi

  committed
  4dfa3e1

  Copy full SHA for 4dfa3e1

Commits on May 22, 2017

• Detailed error messages also for structural subtyping of tuples and callables

  ilevkivskyi

  committed
  6d05060

  Copy full SHA for 6d05060

• Add more protocol variance checks

  ilevkivskyi

  committed
  759409f

  Copy full SHA for 759409f

Commits on May 25, 2017

• Merge branch 'master' into protocols

  ilevkivskyi

  authored
  83501ff

  Copy full SHA for 83501ff

• Fix careless merge (#N: formatting)

  ilevkivskyi

  committed
  166b6da

  Copy full SHA for 166b6da

Commits on Jun 1, 2017

• Merge branch 'master' into protocols

  ilevkivskyi

  authored
  d25bcfc

  Copy full SHA for d25bcfc

• Fix merge

  ilevkivskyi

  committed
  d652a69

  Copy full SHA for d652a69

Commits on Jun 4, 2017

• Merge remote-tracking branch 'upstream/master' into protocols

  Show description for addac40
  ilevkivskyi

  committed
  addac40

  Copy full SHA for addac40

• Fix merge

  ilevkivskyi

  committed
  803ce1e

  Copy full SHA for 803ce1e

Commits on Jun 8, 2017

• Merge branch 'master' into protocols

  ilevkivskyi

  authored
  1c9f6f9

  Copy full SHA for 1c9f6f9

Commits on Jun 11, 2017

• Improve notes formatting: add offsets

  ilevkivskyi

  committed
  3c0411c

  Copy full SHA for 3c0411c

• Add more incremental tests

  ilevkivskyi

  committed
  491b31f

  Copy full SHA for 491b31f

• Add support for __setattr__ (and few docstrings)

  ilevkivskyi

  committed
  98f0180

  Copy full SHA for 98f0180

• Simplify hashes

  ilevkivskyi

  committed
  0f55718

  Copy full SHA for 0f55718

• Merge remote-tracking branch 'upstream/master' into protocols

  ilevkivskyi

  committed
  513c759

  Copy full SHA for 513c759

• Restore typeshed commit

  ilevkivskyi

  committed
  36f3d6d

  Copy full SHA for 36f3d6d

• Add explanation of covariant mutable overriding to common issues docs

  ilevkivskyi

  committed
  05b70ab

  Copy full SHA for 05b70ab

Commits on Jun 28, 2017

• Merge branch 'master' into protocols

  ilevkivskyi

  authored
  561856e

  Copy full SHA for 561856e

• Fix brocken merge (now Mapping needs to be Iterable in typing-full fixture because of new tests)

  ilevkivskyi

  committed
  228f621

  Copy full SHA for 228f621

Commits on Jun 29, 2017

• Merge branch 'master' into protocols

  ilevkivskyi

  authored
  0716b59

  Copy full SHA for 0716b59

Commits on Jul 4, 2017

• Merge branch 'master' into protocols

  ilevkivskyi

  authored
  9cd4e29

  Copy full SHA for 9cd4e29

• Fix strict-optional

  ilevkivskyi

  committed
  eb06c55

  Copy full SHA for eb06c55

• Fix other merge problems

  ilevkivskyi

  committed
  59aeed2

  Copy full SHA for 59aeed2

Commits on Jul 5, 2017

• Merge branch 'master' into protocols

  ilevkivskyi

  authored
  73d2d69

  Copy full SHA for 73d2d69

• Fix fixtures/dict.pyi fixture

  ilevkivskyi

  committed
  ee18dde

  Copy full SHA for ee18dde

• Fix TypedDict joins with protocols via fallback

  ilevkivskyi

  committed
  34d1cd1

  Copy full SHA for 34d1cd1

• Use typing_extensions instead of typing in the docs

  

  Ivan Levkivskyi

  committed
  fbbd169

  Copy full SHA for fbbd169

• Use pre-PEP-526 syntax in docs where possible

  

  Ivan Levkivskyi

  committed
  3acd19e

  Copy full SHA for 3acd19e

• Move generic protocols after nominal generics docs

  

  Ivan Levkivskyi

  committed
  22ad771

  Copy full SHA for 22ad771

• Change recommendations about using protocols

  

  Ivan Levkivskyi

  committed
  4f2391e

  Copy full SHA for 4f2391e

• Restore correct typeshed commit

  

  Ivan Levkivskyi

  committed
  359a43b

  Copy full SHA for 359a43b

Commits on Jul 6, 2017

• Switch from mypy_extensions to typing_extensions in semanal and in tests

  ilevkivskyi

  committed
  eacff5f

  Copy full SHA for eacff5f

• Fix lint

  ilevkivskyi

  committed
  afe1291

  Copy full SHA for afe1291

• Move most protocol erro formatting to messages.py

  ilevkivskyi

  committed
  1858ed9

  Copy full SHA for 1858ed9

• Fix few error messages in tests

  ilevkivskyi

  committed
  057a871

  Copy full SHA for 057a871

• Limit display of missing protocol members

  ilevkivskyi

  committed
  28c1b9d

  Copy full SHA for 28c1b9d

• Limit (and simplify) display of conflicting protocol member types

  ilevkivskyi

  committed
  ad2bcaa

  Copy full SHA for ad2bcaa

• Use pretty callable formatting. Credits to @markkohdev

  ilevkivskyi

  committed
  8af7248

  Copy full SHA for 8af7248

• Truncate output (max 2 conflicts, max 2 overloads), better formatting for typevars

  ilevkivskyi

  committed
  9ca98b2

  Copy full SHA for 9ca98b2

• Fix lint

  ilevkivskyi

  committed
  0cb13b7

  Copy full SHA for 0cb13b7

• Factor out some common code

  ilevkivskyi

  committed
  fd06408

  Copy full SHA for fd06408

• Remove some redundant code

  ilevkivskyi

  committed
  969a64b

  Copy full SHA for 969a64b

Commits on Jul 14, 2017

• Merge branch 'master' into protocols

  ilevkivskyi

  authored
  e9cbba8

  Copy full SHA for e9cbba8

• Fix broken merge

  

  Ivan Levkivskyi

  committed
  e93f839

  Copy full SHA for e93f839

Commits on Jul 16, 2017

• First part of CR

  

  Ivan Levkivskyi

  committed
  9292971

  Copy full SHA for 9292971

• Second part of CR (few more comments left)

  

  Ivan Levkivskyi

  committed
  4c3f4e2

  Copy full SHA for 4c3f4e2

Commits on Jul 17, 2017

• Fix strict-optional check

  ilevkivskyi

  committed
  e71dff0

  Copy full SHA for e71dff0

• Don't hash most types (including syntetic)

  ilevkivskyi

  committed
  d195964

  Copy full SHA for d195964

• Correct comment in test

  ilevkivskyi

  committed
  318bb70

  Copy full SHA for 318bb70

• Improve structural support for TypedDict and minor things

  ilevkivskyi

  committed
  3d8782f

  Copy full SHA for 3d8782f

• Don't show detailed erorrs for TypedDicts in simple cases

  ilevkivskyi

  committed
  6e1100c

  Copy full SHA for 6e1100c

• Add also an exception for NamedTuples

  ilevkivskyi

  committed
  5bfa3b2

  Copy full SHA for 5bfa3b2

• Add one more test

  ilevkivskyi

  committed
  82f01b7

  Copy full SHA for 82f01b7

• Dict is not a protocol

  ilevkivskyi

  committed
  c7304bd

  Copy full SHA for c7304bd

Commits on Jul 18, 2017

• Two minor tweaks: more precise isinstance, require explicit types for protocol members

  ilevkivskyi

  committed
  58e6b36

  Copy full SHA for 58e6b36

• Restore typeshed commit

  ilevkivskyi

  committed
  eefe881

  Copy full SHA for eefe881

• pythoneval tests should wait until typeshed PR is merged

  ilevkivskyi

  committed
  96a04ae

  Copy full SHA for 96a04ae

Commits on Jul 28, 2017

• Merge branch 'master' into protocols

  ilevkivskyi

  authored
  b1c4d37

  Copy full SHA for b1c4d37

• Fix a silly mistake in merge

  ilevkivskyi

  committed
  8b6006c

  Copy full SHA for 8b6006c

• Replace one last mention of typing with typing_extensions

  ilevkivskyi

  committed
  f76349b

  Copy full SHA for f76349b

Commits on Jul 29, 2017

• Merge remote-tracking branch 'upstream/master' into protocols

  ilevkivskyi

  committed
  c3bfe2b

  Copy full SHA for c3bfe2b

Commits on Aug 10, 2017

• Merge remote-tracking branch 'upstream/master' into protocols

  Show description for e2f4f5d
  ilevkivskyi

  committed
  e2f4f5d

  Copy full SHA for e2f4f5d

• Add TypeOfAny

  ilevkivskyi

  committed
  91fe9fd

  Copy full SHA for 91fe9fd

• Remove some ocassionally added files

  ilevkivskyi

  committed
  aaea344

  Copy full SHA for aaea344

• Limit unnecessary conflicts display and fix conflict count (with test)

  ilevkivskyi

  committed
  27c3e36

  Copy full SHA for 27c3e36

Commits on Aug 12, 2017

• Remove some strange file

  ilevkivskyi

  committed
  cfa539d

  Copy full SHA for cfa539d

• Implememt first part of recent comments

  ilevkivskyi

  committed
  713db0c

  Copy full SHA for 713db0c

• Address second part of recent comments

  ilevkivskyi

  committed
  40d635f

  Copy full SHA for 40d635f

Commits on Aug 14, 2017

• First part of todays comments

  ilevkivskyi

  committed
  19073e5

  Copy full SHA for 19073e5

Commits on Aug 15, 2017

• Second part of yesterdays comments

  ilevkivskyi

  committed
  50d98c0

  Copy full SHA for 50d98c0

• Last part of review comments

  ilevkivskyi

  committed
  9411255

  Copy full SHA for 9411255

• One last missing comment

  ilevkivskyi

  committed
  f1c915e

  Copy full SHA for f1c915e