Repository navigation

Type[C] - #1569

Merged

JukkaL merged 23 commits into

masterfrom

typec

Jun 8, 2016

Merged

Type[C]#1569
JukkaL merged 23 commits into
masterfrom
typec

Commits on Jun 6, 2016
- Tentative tests for Type[C].
  Guido van Rossum
  committed
  b7ddf36
- Pave the way for implementing Type[C].
  Guido van Rossum
  committed
  eb61f1d
- WIP: Introducing TypeType: Type[x] becomes TypeType(x).
  Guido van Rossum
  committed
  7b52ac6
- WIP: Fix/new tests; implement more subtype checks.
  Guido van Rossum
  committed
  1fd14f0
- WIP: Towards supporting Type[T].
  Guido van Rossum
  committed
  371e425
- Fix things so all tests pass!
  Guido van Rossum
  committed
  96696ff
- Some cleanup and fixup (not done).
  Guido van Rossum
  committed
  aa37595
- Improve equivalence between type and Type.
  Guido van Rossum
  committed
  d4745b0
- Add support for method lookup from Type[].
  Guido van Rossum
  committed
  cf4a0b7
- Print a proper error for unsupported Type[] args.
  Guido van Rossum
  committed
  81ee239
- Reject Type[U] where U's bound is a generic class.
  Guido van Rossum
  committed
  3d92049
- Support classes with @overload-ed __init__.
  Guido van Rossum
  committed
  5ab11d2
- Update our copies of typing.py to the latest from the python/typing repo.
  Guido van Rossum
  committed
  afb0482
Commits on Jun 7, 2016
- Make Type[A] erase to Type[A], but Type[T] erases to Type[Any].
  Guido van Rossum
  committed
  db30d59
- Special-case joining Type[] with builtins.type.
  Guido van Rossum
  committed
  6029c9d
- Special-case joining Type[] with builtins.type.
  Guido van Rossum
  committed
  786ef96
- Delete outdated XXX comment.
  Guido van Rossum
  committed
  ef247f2
- Finishing touch -- fix and test TypeAnalyser.visit_type_type().
  Guido van Rossum
  committed
  4162103
- Added tests as requested.
  Guido van Rossum
  committed
  26ff267
- Remove comment asking for name for analyze_type_type_callee().
  Guido van Rossum
  committed
  256b31a
- Use self.default(self.s) instead of AnyType()/NonType() in join/meet.
  Guido van Rossum
  committed
  d224aff
- Add tests for overloaded __init__.
  Guido van Rossum
  committed
  d9c74a0
- Add more tests. Fixed a bug in join() this found.
  Guido van Rossum
  committed
  eaa9e0d

Navigation Menu

Repository navigation

Type[C] - #1569

Type[C]#1569
JukkaL merged 23 commits into
masterfrom
typec

Commits on Jun 6, 2016

Tentative tests for Type[C].

Pave the way for implementing Type[C].

WIP: Introducing TypeType: Type[x] becomes TypeType(x).

WIP: Fix/new tests; implement more subtype checks.

WIP: Towards supporting Type[T].

Fix things so all tests pass!

Some cleanup and fixup (not done).

Improve equivalence between type and Type.

Add support for method lookup from Type[].

Print a proper error for unsupported Type[] args.

Reject Type[U] where U's bound is a generic class.

Support classes with @overload-ed init.

Update our copies of typing.py to the latest from the python/typing repo.

Commits on Jun 7, 2016

Make Type[A] erase to Type[A], but Type[T] erases to Type[Any].

Special-case joining Type[] with builtins.type.

Special-case joining Type[] with builtins.type.

Delete outdated XXX comment.

Finishing touch -- fix and test TypeAnalyser.visit_type_type().

Added tests as requested.

Remove comment asking for name for analyze_type_type_callee().

Use self.default(self.s) instead of AnyType()/NonType() in join/meet.

Add tests for overloaded init.

Add more tests. Fixed a bug in join() this found.