8000 Tags · moneytech/pyre-check · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: moneytech/pyre-check

Tags

v0.0.52

Toggle v0.0.52's commit message
Back out "Ensure configuration reads paths and relativizes against root"

Summary:
This is breaking excludes - the path rewriting can't be applied blindly to regexes.

Original commit changeset: 558293471574

Reviewed By: dkgi

Differential Revision: D22900310

fbshipit-source-id: 254e297a4983372cc892927884acc90d2d998ad2

v0.0.51

Toggle v0.0.51's commit message
Remove unused format string

Summary:
really just need a commit to buffer an open source version bump 0.0.51

Context:
pypi/warehouse#4985

Reviewed By: mrkmndz

Differential Revision: D22879537

fbshipit-source-id: 286a7275cda0658245700887a5eb686b9df4018e

v0.0.50

Toggle v0.0.50's commit message
Docker support for pyre

Summary: Adding docker support for pyre

Reviewed By: gbleaney

Differential Revision: D22828264

fbshipit-source-id: db3f176a1841d886dd8f40c430d2c97112c08ce0

v0.0.49

Toggle v0.0.49's commit message
Remove chdir in client

Summary: isthisdead

Reviewed By: MaggieMoss

Differential Revision: D22738076

fbshipit-source-id: c49cca3e57c819e026a64877862e04b38359d686

v0.0.48

Toggle v0.0.48's commit message
Delete dead --repository argument from setup

Reviewed By: grievejia

Differential Revision: D22592089

fbshipit-source-id: abf7bd3cb602a689aa7ec45f492ded0d79e2b100

v0.0.47

Toggle v0.0.47's commit message
Fix open source release

Reviewed By: shannonzhu

Differential Revision: D21886288

fbshipit-source-id: 7c4c8b6064f7cdd1361d3f0c342d4133fb7adee7

v0.0.46

Toggle v0.0.46's commit message
Infer the return type of lambda functions

Summary:
This patch adds a special case in the signature selection to infer the return type of lambda functions when used as a parameter of a function call. It infers the lambda parameter type using existing type constraints from other parameters and adds an implicit type annotation on the lambda parameter in order to infer its return type.

The typical use case is `map(lambda x: ..., y)`. Using the type of `y`, we can infer the type of `x` and thus infer the return type of the lambda and the return type of the `map` call.

Reviewed By: mrkmndz

Differential Revision: D20430157

fbshipit-source-id: 407d1bc850869348d1c8c680c546618585bce2b1

v0.0.45

Toggle v0.0.45's commit message
don't analyze class toplevels/toplevels for stubs

Summary: Idea's straightforward - any model info we get from stubs is through an explicit model. There's no reason to analyze them except for NamedTuples, which are pre-processed by Pyre into real defines. This is especially pertinent for large toplevels.

Reviewed By: dkgi

Differential Revision: D20567521

fbshipit-source-id: 776a4594534bfc4a9412934cc51bb5aa82ff40dc

v0.0.44

Toggle v0.0.44's commit message
Clean up type alias related logic

Reviewed By: dkgi

Differential Revision: D20567210

fbshipit-source-id: a2aecd90b588a1d0cf7464863cbc5159c38067a8

v0.0.43

Toggle v0.0.43's commit message
Stop exposing `ErrorMap` from `TypeCheck`

Reviewed By: dkgi

Differential Revision: D19989203

fbshipit-source-id: 1b49bc64f84bce4b615bba3a30cd57e993f80d52
0