8000 Commits · facebook/pyrefly · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Jun 26, 2025

Propagate TypedDict's update type hint to expression type inference

migeed-z
authored and
facebook-github-bot
committed

Commits on Jun 24, 2025

Add Partial type variant

migeed-z
authored and
facebook-github-bot
committed
Synthesize a __del_item__ method for typeddict

migeed-z
authored and
facebook-github-bot
committed

Commits on Jun 23, 2025

Add typeddict __ror__ testcase

migeed-z
authored and
facebook-github-bot
committed
Add __ior__ testcase

migeed-z
authored and
facebook-github-bot
committed

Commits on Jun 20, 2025

use /// instead of //

migeed-z
authored and
facebook-github-bot
committed
Add dunder or testcases for TypedDict

migeed-z
authored and
facebook-github-bot
committed
Add del testcase for TypedDict

migeed-z
authored and
facebook-github-bot
committed
Synthesize pop() method

migeed-z
authored and
facebook-github-bot
committed

Commits on Jun 18, 2025

Polish static doc

migeed-z
authored and
facebook-github-bot
committed
Add failing test about TypedDict not supporting pop()

migeed-z
authored and
facebook-github-bot
committed

Commits on Jun 17, 2025

Commits on Jun 16, 2025

Refactor logic that checks if a type is a function type and apply it to two places

migeed-z
authored and
facebook-github-bot
committed
Cleanup algorithm by replacing class lookup map with Qname + KeyExport

migeed-z
authored and
facebook-github-bot
committed

Commits on Jun 13, 2025

Cleanup variance binding by removing unnessesairy fields and base classes

migeed-z
authored and
facebook-github-bot
committed
Cleanup algorithm by removing unused stdlib param

migeed-z
authored and
facebook-github-bot
committed
Add readonly semantics into the algorithm

migeed-z
authored and
facebook-github-bot
committed
Do not skip the first param when evaluating signatures

migeed-z
authored and
facebook-github-bot
committed
Add overload case to variance inference

migeed-z
authored and
facebook-github-bot
committed
Thread a map that carries class information, which can be referenced in the fixpoint

migeed-z
authored and
facebook-github-bot
committed

Commits on Jun 11, 2025

Extend variance algorithm to basic fields and methods

migeed-z
authored and
facebook-github-bot
committed
PEP695 variance inference (currently just for base classes)

migeed-z
authored and
facebook-github-bot
committed

Commits on Jun 5, 2025

Make legacy typevars with unspecified variance invariant

migeed-z
authored and
facebook-github-bot
committed

Commits on Jun 4, 2025

Expose answers to variance algorithm

migeed-z
authored and
facebook-github-bot
committed

Commits on Jun 3, 2025

Supply needed context to variance algorithm

migeed-z
authored and
facebook-github-bot
committed

Commits on May 30, 2025

Expand variance binding to include base classes and fields

migeed-z
authored and
facebook-github-bot
committed

Commits on May 29, 2025

Add the plumbing needed to cache legacy variance results and only retrieve them where needed

migeed-z
authored and
facebook-github-bot
committed

Commits on May 28, 2025

Pass class information to subset check

migeed-z
authored and
facebook-github-bot
committed

Commits on May 27, 2025

Make Type Params carry pre inference variance info instead of post inference info

migeed-z
authored and
facebook-github-bot
committed

Commits on May 24, 2025

Lift TParamInfo to TParam conversion to class definition

migeed-z
authored and
facebook-github-bot
committed

Commits on May 23, 2025

Make TParamInfo carry PreInferenceVariance instead of Variance

migeed-z
authored and
facebook-github-bot
committed

Commits on May 21, 2025

Add a few variance inference test cases

migeed-z
authored and
facebook-github-bot
committed

0