Steven Troxler
Steven Troxler
Thanks for the bug report! This is mysterious, I can't see why Claude and Pyrefly should directly interact in a way that causes crashes. It looks from the trace like...
I think we only do this on if/else at the moment but not most other cases (e.g. pattern matching keeps going)
I can probably work on this in November, it is adjacent to the flow-merging stuff I was recently implementing and also to the flow-merging changes needed for #361 But I...
Hmm. This is actually pretty tricky to do the way I was intending, which was just to stop skipping unreachable `if` branches. It is out of the question to do...
Thanks for the suggestion! This seems like a great feature to have If we were a stand-alone project I'd have no hesitation (other than we might not get to it...
Claiming this for now since I think it needs some discussion, and it's in a part of the codebase I'm looking at anyway
Interesting - I would actually argue that ``` class A: myattr: int class B(A): @property def myattr(self) -> int: return 1 ``` should not type check, at least under the...