Danny Yang

[rescript/en] add ReScript

1

- [x] I solemnly swear that this is all original content of which I am the original author - [x] Pull request title is prepended with `[language/lang-code]` (example `[python/fr-fr]` or...

bundle install jekyll-sitemap incompatible character encodings: UTF-8 and ASCII-8BIT

2

--- ERROR REPORT TEMPLATE ------------------------------------------------------- ``` Encoding::CompatibilityError: incompatible character encodings: UTF-8 and ASCII-8BIT /opt/homebrew/Cellar/ruby/3.2.1/lib/ruby/3.2.0/rubygems/package.rb:503:in `expand_path' /opt/homebrew/Cellar/ruby/3.2.1/lib/ruby/3.2.0/rubygems/package.rb:503:in `install_location' /opt/homebrew/Cellar/ruby/3.2.1/lib/ruby/3.2.0/rubygems/package.rb:419:in `block (2 levels) in extract_tar_gz' /opt/homebrew/Cellar/ruby/3.2.1/lib/ruby/3.2.0/rubygems/package/tar_reader.rb:65:in `each' /opt/homebrew/Cellar/ruby/3.2.1/lib/ruby/3.2.0/rubygems/package.rb:415:in `block in extract_tar_gz' /opt/homebrew/Cellar/ruby/3.2.1/lib/ruby/3.2.0/rubygems/package.rb:541:in...

the code in the examples is missing this style for the tooltip, so it doesn't work as-is when copied https://www.reddit.com/r/d3js/comments/1azxo4y/scatterplot_tooltip_not_working_correctly/ the version hosted on the graph gallery website happens to...

This tutorial should be compatible with v6 and v7 as well, since the only breaking changes I know of in those versions is in the file loading API. The biggest...

Improve representation for tuples when used in base class

1

### Describe the Bug When we have something that extends a heterogeneous concrete tuple like `tuple[int, str]` in a base class list or the 2nd arg to NewType, it gets...

`tuple[()] | tuple[int, *tuple[int, ...]]` should be equivalent to `tuple[int, ...]`

1

### Describe the Bug Interesting example posted by @jorenham in https://discuss.python.org/t/unbounded-tuple-unions/92472, thanks! Related to contextual subtyping + possibly type simplification ### Sandbox Link https://pyrefly.org/sandbox/?code=C4TwDgpgBAogjgBigXisArmANhA2gCgEoBdAKFEljgEYU1MdcBLAO2DIugHEIlUNseVsAA0UAHSSO4bhFr8GQtmIBUPBGVIREALip8JkrTT3x5h8aQDmvPerqTLN6nbkOjxhAH1nXr9oRTRCgAHygecwCoKABiKABbcBA9QFByMTAQACcmKwALYFT0rIgAMyxkqDS0CpTPHzk-bRd9UPC3VCbouMSMwqgM7LyCyqLM0vK+0FS633rAlrCIuhskWISkvUAZclGc-K3R8Yrt6umA+uo-ZyCkRfaoZy713pH+rN3hqoHDyZqgA

[Bug][CLI]: match does not narrow nested attribute types

2

### Describe the Bug https://pyrefly.org/sandbox/?code=MQAg6gpgNgxg9gWwiALnVALZAFAngJwgDMpcQBlAQwDsATAIzgA8AaTASwGcQuRKQADpQDmEAFCgA7lkIhccAK4gYNEJPzsUENpwyVZNWiCgR91PowUpUuAe2rCe5vCgxxqAOgkSQACQgGBsqKAiYgRKYoCoTccEQc3JyGjEwAXD4AtCAA4hDWhJRQGSjsSDYCyDBYMADW9o4REAyUtZkgAKqcyIQAbqZQAPoothAAFACUqOj2nBUw1vYR+IRGwxWcbRBMFRpI1NaSmhiYyACSACIAouGR0RDcrpQHyJwKAgJw+NajEB7CHnwrHB4AhQnltCBhHBitDaMR7Jp2O42G4+vg2HkYOM2mANFo+HQQPgFM5cK53ME4SBaOxCPNSE45Ip8CB6Pg4JIuvgxER2QhyvUeKDPvkIH1CkMRmIYFBKJxuABBdIgFUgNJOawAHxAnBQ3Lh8S0utGlFSIAV42VqoQTyqfCtqtVKi65tGTAAvPYUBNLWJHf7Vb1+pKKiaPExsQGA36o0A ### Codebase _No response_ ### Other Attempts _No response_

[Bug][CLI]: Match does not narrow based on length

1

### Describe the Bug https://pyrefly.org/sandbox/?code=MQAg6gpgNgxg9gWwiALnVALZAFAngJwgDMpcQBlAQwDsATAIzgA8AaTASwGcQuRKQADpQDmEAFCgA7lkIhccAK4gYNEJPzsUENpwyVZNWiCgR91PowUpUuAe2rCe5vCgxxqAOgkSQACQgGBsqKAiYgRKYoCoTccEQc3JyGjEwAXD4AtCAA4hDWhJRQGSjsSDYCyDBYMADW9o4REAyUtZkgAKqcyIQAbqZQAPoothAAFACUqOj2nBUw1vYR+IRGwxWcbRBMFRpI1NaSmhiYyACSACIAouGR0RDcrpQHyJwKAgJw+NajEB7CHnwrHB4AhQnltCBhHBitDaMR7Jp2O42G4+vg2HkYOM2mANFo+HQQPgFM5cK53ME4SBaOxCPNSE45Ip8CB6Pg4JIuvgxER2QhyvUeKDPvkIH1CkMRmI4fEtJwUKM0qg3iYANr2FAAXRAAB9lWD1fs2BrNeN0iALSAEE8qiA0mJLY7lJQuiBVUR5ZrzU6fb1+pKKorsT6fQ6Q0A ### Codebase _No response_ ### Other Attempts _No response_

We probably need to change the way we represent type aliases to be more like classes, to handle recursive aliases. Right the aliased type is stored inline, making recursion impossiblel;...

Feature: inheritance checks for typed dictionaries

2

These have special override/inheritance semantics typeddicts have rules for redefining fields to add/remove qualifiers like ReadOnly, preventing conflicting field definitions from parents in multiple inheritance, etc. There are two sub-tasks,...