profile
viewpoint

sujeet/Tank-Wars 7

A game in which bots battle it out for glory and fortune!!

pradeep90/minitypescript 4

Experiments implementing some advanced type features from TypeScript.

pradeep90/CS2110 1

Programming Lab

pradeep90/CS2810 1

Advanced Programming Lab

pradeep90/Emacs-Config 1

My Emacs config files

pradeep90/Processor-Simulator 1

In-order Superscalar Processor Simulator

pradeep90/Scheme 1

My Scheme programs (?) - mainly for SICP

pradeep90/Spell-Check-Project 1

Spell Check Project for NLP course

hsemarap/winning_team 0

Given two cricket teams with past statistics of the teams and players, can we predict their match performance?

issue commentfacebook/pyre-check

Allow running Pyre without a configuration

@cooperlees Just to make sure this is not the only blocker for your venv scenario, can you try with 0.0.52?

pradeep90

comment created time in 3 days

issue commentfacebook/pyre-check

pyre init fails for new project

@TomMD @TylerYep @cooperlees I've created #317 since that's a separate issue from the original pyre init issue.

benzid-wael

comment created time in 3 days

issue openedfacebook/pyre-check

Allow running Pyre without a configuration

In v0.52 and before, when there was no configuration file, Pyre used to build a one-off configuration using the CLI arguments.

We seem to have regressed that with https://github.com/facebook/pyre-check/commit/213f5805abf729990efa652aa7c5fc9c8798d0d4.

Following up from TomMD's comment in https://github.com/facebook/pyre-check/issues/315#issuecomment-695024261:

Situation Details

It used to be possible to call git clone $some_repo path ; cd path ; pyre --noninteractive --source-directory . --output json but now a pyre configuration is required. Perhaps that behavior was intentionally changed, but printf "\n" | pyre init is broken in the manner mentioned above which makes Pyre unusable.

#316 may be also be related.

created time in 3 days

push eventpradeep90/pradeep90.github.com

S Pradeep Kumar

commit sha 9784e50fc370258be60f0c8b02488c1bd74ce98b

Updated site @ 2020-09-12 22:00:11

view details

push time in 8 days

push eventpradeep90/pradeep90.github.com

S Pradeep Kumar

commit sha 5873a5f63a31520d2830039ebf792cc34d747149

Updated site @ 2020-09-10 22:00:15

view details

push time in 10 days

push eventpradeep90/pradeep90.github.com

S Pradeep Kumar

commit sha b3bb6ad7d4c7bbf5f6687eeee30bb8f73c65cd16

Updated site @ 2020-09-07 22:00:10

view details

push time in 13 days

push eventpradeep90/pradeep90.github.com

S Pradeep Kumar

commit sha 8eef57f070d4e2516dd0d2782c02dbb67a2484c1

Updated site @ 2020-09-04 22:00:12

view details

push time in 16 days

issue commentfacebook/pyre-check

Github Actions and Import Errors

@shannonzhu Could you take a look at this? Is the search path not configured correctly?

belthaZornv

comment created time in a month

fork pradeep90/pyre-check

Performant type-checking for python.

https://pyre-check.org/

fork in a month

issue commentfacebook/pyre-check

`super` has no attribute

@dirn Thanks for the report. super should work as is, so this is unexpected.

I wasn't able to repro the error with the following:

from typing import *

class Foo:
    def foo(self, **kwargs): ...
        
class Bar:
    def bar(): ...
        
class Child(Foo, Bar):
    pass

class GrandChild(Child):
    def something(self, **kwargs):
        super().foo(**kwargs)

Could you try minimizing your repro to see where the error might be?

Another option is to use reveal_type to see what Pyre thinks is the type of the variable (such as reveal_type(super())).

dirn

comment created time in 2 months

more