Jia Chen

[typing] upgrade pyre version in `fbcode/caffe2` - batch 2

2

Test Plan: Sandcastle Differential Revision: D38447540

The minimum Python version required to run Pyre is going to change to Python 3.6 in the next Pyre open-source release, which is expected to happen in January or February...

upgrade pyre version in `fbcode/torchx` - batch 1

2

Differential Revision: D38448230

suppress errors in `torchx`

2

Differential Revision: D37175163

Signed integer overflow on libstdc++

4

Here's the input that will trigger the issue: [int_overflow.txt](https://github.com/mayah/tinytoml/files/1273328/int_overflow.txt) Feed it into master(c2444ed) parse_stdin built with UndefinedBehaviorSanitizer and linked with libstdc++(shipped with gcc 7.1.1) will crash the parser: ``` >...

Here's the input that will trigger the issue: [leak.txt](https://github.com/ajwans/libtoml/files/1273343/leak.txt) Feed it into the `toml_parse()` function on master(03e8a3a) built with AddressSanitizer will crash the program: ``` > ./parse leak.txt not in...

Conformance test: make dataclass_hash.py not rely on `typing.Hashable`?

1

I noticed that the conformance test currently enforces a hashability check on dataclasses: https://github.com/python/typing/blame/6d5c186ea3f45dd80dcad9f172479b270e54966a/conformance/tests/dataclasses_hash.py If we take the [annotation of `typing.Hashable`](https://github.com/python/typeshed/blob/main/stdlib/typing.pyi#L425-L431) and the [annotation of `object`](https://github.com/python/typeshed/blob/main/stdlib/builtins.pyi#L114) literally, then no type...

[new release] pyre-ast (0.1.10)

3

Full-fidelity Python parser in OCaml - Project page: https://github.com/grievejia/pyre-ast - Documentation: https://grievejia.github.io/pyre-ast/doc ##### CHANGES: - Bump the bundled CPython version to 3.12.3

[test] Import changes to port sharedmem tables into OCaml 5.2 domain-based parallelism

1

Folks at Tarides have already experimented with porting Pyre's multi-processing sharedmem library into relying on OCaml5's domain-based multi-threading mechanism. I'm creating this PR so we have an easy way of...

Treat `False` as `0` and `True` as `1` in subscripts

3

### Describe the Bug Minimal repro: ```python t = ("a", "b") reveal_type(t[False]) reveal_type(t[True]) ``` Expected: Reveals `Literal["a"]` and `Literal["b"]` Actual: Reveals `Literal["a", "b"]` ### Sandbox Link https://pyrefly.org/sandbox/?code=C4AgvCAUBECG0BoTQEbQJQCgBOBTAbrrADYD6wAngA66TADaAYiQM64C6WehJ51tDACrYArh3RA ### (Only applicable...