Skip to content

CHANGELOG.md

Latest commit

 

History

History
139 lines (112 loc) · 8.7 KB

CHANGELOG.md

File metadata and controls

139 lines (112 loc) · 8.7 KB

Changelog

0.0.1-alpha.2

Enhancements

  • Improve diagnostics for failure to call overloaded function (#18073)
  • Fix inconsistent casing in invalid-return-type diagnostic (#18084)
  • Add type-expression syntax link to invalid-type-expression diagnostics (#18104)

Bug fixes

  • Add cycle handling for unpacking targets (#18078)
  • Do not look up __init__ on instances (#18092)

Typing

  • Infer parameter specializations of explicitly implemented generic protocols (#18054)
  • Check assignments to implicit global symbols are assignable to the types declared on types.ModuleType (#18077)
  • Fix various generics-related TODOs (#18062)

Documentation

  • Fix rule link in the configuration description (#381)
  • Use https://ty.dev/rules when linking to the rules table (#18072)
  • Use ty server instead of ty lsp (#360)
  • Fix missing > in HTML anchor tags in CLI reference (#18096)
  • Fix link to rules docs (#378)
  • Fix repository in README transform script (#361)

Contributors

0.0.1-alpha.1

Enhancements

  • Add basic support for non-virtual Python environments (#17991)
  • Do not allow invalid virtual environments from discovered .venv or VIRTUAL_ENV (#18003)
  • Refine message for why a rule is enabled (#18038)
  • Update --python to accept paths to executables in environments (#17954)
  • Improve diagnostics for assert_type and assert_never (#18050)
  • Add a note to the diagnostic if a new builtin is used on an old Python version (#18068)

Bug fixes

  • Fix infinite recursion bug in is_disjoint_from (#18043)
  • Recognize submodules in self-referential imports (#18005)

Typing

  • Allow a class to inherit from an intersection if the intersection contains a dynamic type and the intersection is not disjoint from type (#18055)
  • Allow classes to inherit from type[Any] or type[Unknown] (#18060)
  • Apply function specialization to all overloads (#18020)
  • Implement DataClassInstance protocol for dataclasses (#18018)
  • Induct into instances and subclasses when finding and applying generics (#18052)
  • Infer parameter specializations of generic aliases (#18021)
  • Narrowing for hasattr() (#18053)
  • Silence false positives for PEP-695 ParamSpec annotations (#18001)
  • Understand homogeneous tuple annotations (#17998)
  • __file__ is always a string inside a Python module (#18071)

CLI

  • Avoid initializing progress bars early (#18049)

Contributors

0.0.0-alpha.8

Changes

  • Add --config CLI arg (#17697)
  • Add CLI documentation and update README (#284)
  • Add a warning about pre-release status to the CLI (#17983)
  • Add missing bitwise-operator branches for boolean and integer arithmetic (#17949)
  • Add progress bar for ty check (#17965)
  • Add CLI reference (#17978)
  • Change default severity for unbound-reference to error (#17936)
  • Change range of revealed-type diagnostic to be the range of the argument passed in, not the whole call (#17980)
  • Default to latest supported Python version (#17938)
  • Display "All checks passed!" message in green (#17982)
  • Document configuration schema (#17950)
  • Generate and add rules table (#17953)
  • Handle type variables that have other type variables as a default (#17956)
  • Ignore possibly-unresolved-reference by default (#17934)
  • Implement global handling and load-before-global-declaration syntax error (#17637)
  • Make unused-ignore-comment disabled by default for now (#17955)
  • Recognise functions containing yield from expressions as being generator functions (#17930)
  • Fix stack overflow on recursive protocols (#17929)
  • Report duplicate Protocol or Generic base classes with [duplicate-base], not [inconsistent-mro] (#17971)
  • Respect the gradual guarantee when reporting errors in resolving MROs (#17962)
  • Support typing.Self in methods (#17689)
  • Support extending __all__ from an imported module even when the module is not an ExprName node (#17947)
  • Support extending __all__ with a literal tuple or set as well as a literal list (#17948)
  • Understand classes that inherit from subscripted Protocol[] as generic (#17832)
  • Update ty metadata (#17943)
  • Add py.typed (#276)
  • Bottom-up improvement of diagnostic messages for union type function calls (#17984)
  • Fix more ecosystem/fuzzer panics with fixpoint (#17758)
  • Remove lint: prefix from top-level diagnostic preamble (#17987)

Contributors