Code

Self Type#2193

Code

Merged

JukkaL merged 56 commits intopython:masterpython/mypy:masterfrom

elazarg:self_typeelazarg/mypy:self_typeCopy head branch name to clipboard

Oct 27, 2016

Commits

Commits on Sep 28, 2016

• move things around

  elazarg

  committed
  04934c3

  Copy full SHA for 04934c3

Commits on Sep 29, 2016

• first test pass. no override yet

  elazarg

  committed
  4eb5f75

  Copy full SHA for 4eb5f75

• selftypeClass test pass

  elazarg

  committed
  181ff09

  Copy full SHA for 181ff09

• Simple override

  elazarg

  committed
  25e104a

  Copy full SHA for 25e104a

• Simple override

  elazarg

  committed
  5e72623

  Copy full SHA for 5e72623

• test super() and rename self_type()

  elazarg

  committed
  29d2e0f

  Copy full SHA for 29d2e0f

• more tests

  elazarg

  committed
  4d5d479

  Copy full SHA for 4d5d479

• unneeded changes

  elazarg

  committed
  ea6c485

  Copy full SHA for ea6c485

• merge

  elazarg

  committed
  00596a6

  Copy full SHA for 00596a6

• some more tests

  elazarg

  committed
  39615c2

  Copy full SHA for 39615c2

• recursive instantiation

  elazarg

  committed
  f8875f9

  Copy full SHA for f8875f9

Commits on Sep 30, 2016

• add implicit bound

  elazarg

  committed
  9ae3bf9

  Copy full SHA for 9ae3bf9

• add tests: prohibit overriding without selftype

  elazarg

  committed
  b29bf87

  Copy full SHA for b29bf87

• Merge

  Show description for f097967
  elazarg

  committed
  f097967

  Copy full SHA for f097967

• Merge

  Show description for 747c5b2
  elazarg

  committed
  747c5b2

  Copy full SHA for 747c5b2

• minor

  elazarg

  committed
  9b68a2f

  Copy full SHA for 9b68a2f

• Merge

  elazarg

  committed
  65d6428

  Copy full SHA for 65d6428

• fix comment

  elazarg

  committed
  6c161b9

  Copy full SHA for 6c161b9

Commits on Oct 1, 2016

• rename: self->cls

  elazarg

  committed
  1cae034

  Copy full SHA for 1cae034

Commits on Oct 4, 2016

• Fix tests, separate binding from the classes

  elazarg

  committed
  733edc1

  Copy full SHA for 733edc1

• Merge upstream into self_type

  elazarg

  committed
  91946e2

  Copy full SHA for 91946e2

Commits on Oct 5, 2016

• add Guido's test

  elazarg

  committed
  abcb094

  Copy full SHA for abcb094

Commits on Oct 7, 2016

• move tests to dedicated file

  elazarg

  committed
  9f831c4

  Copy full SHA for 9f831c4

• move tests to dedicated file

  elazarg

  committed
  aade1ed

  Copy full SHA for aade1ed

• Merge upstream

  elazarg

  committed
  a6a0a3b

  Copy full SHA for a6a0a3b

• pass report_type to instantiate

  elazarg

  committed
  8e81051

  Copy full SHA for 8e81051

• send report_type to classmethod

  elazarg

  committed
  a9b0b68

  Copy full SHA for a9b0b68

• add missing file

  elazarg

  committed
  ec0f33a

  Copy full SHA for ec0f33a

• more report type

  elazarg

  committed
  09cd7bc

  Copy full SHA for 09cd7bc

Commits on Oct 8, 2016

• support super()

  elazarg

  committed
  8b242e2

  Copy full SHA for 8b242e2

Commits on Oct 9, 2016

• avoid partial types when testing static access

  elazarg

  committed
  a8be2a6

  Copy full SHA for a8be2a6

• remove comment

  elazarg

  committed
  3055ab0

  Copy full SHA for 3055ab0

Commits on Oct 11, 2016

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

  elazarg

  committed
  72af252

  Copy full SHA for 72af252

Commits on Oct 14, 2016

• use existing machinery; still partial types

  elazarg

  committed
  bb2ac78

  Copy full SHA for bb2ac78

• do not trigger the .erased flag

  elazarg

  committed
  5f26cac

  Copy full SHA for 5f26cac

• do not trigger the .erased flag

  elazarg

  committed
  1f44c73

  Copy full SHA for 1f44c73

• Fix issue with t.variables. adapt SelfTypeBound

  elazarg

  committed
  fcbcf4b

  Copy full SHA for fcbcf4b

Commits on Oct 15, 2016

• minor

  elazarg

  committed
  860c96a

  Copy full SHA for 860c96a

• some override checking: instantiate with fillvars(self)

  elazarg

  committed
  b078d61

  Copy full SHA for b078d61

Commits on Oct 18, 2016

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

  Show description for fc29a3a
  elazarg

  committed
  fc29a3a

  Copy full SHA for fc29a3a

• forgotten file

  elazarg

  committed
  2299a00

  Copy full SHA for 2299a00

Commits on Oct 19, 2016

• initialize mutable in __init__

  elazarg

  committed
  137f452

  Copy full SHA for 137f452

Commits on Oct 20, 2016

• Rename report_type, Add docstrings etc.

  elazarg

  committed
  4bcbf59

  Copy full SHA for 4bcbf59

• minor doc fix

  elazarg

  committed
  6155c7f

  Copy full SHA for 6155c7f

• remove binder hack

  elazarg

  committed
  47e5e2f

  Copy full SHA for 47e5e2f

Commits on Oct 26, 2016

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

  Show description for 00ae83d
  elazarg

  committed
  00ae83d

  Copy full SHA for 00ae83d

• example for actual_type

  elazarg

  committed
  30f847e

  Copy full SHA for 30f847e

• avoid crush in super(); document

  elazarg

  committed
  c152c20

  Copy full SHA for c152c20

• lint

  elazarg

  committed
  4f2017e

  Copy full SHA for 4f2017e

• comment for fill_typevars

  elazarg

  committed
  fddbba0

  Copy full SHA for fddbba0

• comment for fill_typevars

  elazarg

  committed
  3cf8ecf

  Copy full SHA for 3cf8ecf

• rename actual_self, use declared_type in analyze_super

  elazarg

  committed
  707da4e

  Copy full SHA for 707da4e

• test for erased types

  elazarg

  committed
  48e139d

  Copy full SHA for 48e139d

• lint

  elazarg

  committed
  25b84f8

  Copy full SHA for 25b84f8

Commits on Oct 27, 2016

• Revert accidental deletion from doc

  elazarg

  committed
  8944ff1

  Copy full SHA for 8944ff1

• add warning for unsafe testcase

  elazarg

  committed
  9221001

  Copy full SHA for 9221001