![]() ![]() (Sorbet publishes new versions to RubyGems nightly). Use this option if you can’t afford to wait for Sorbet to be fixed and This is the preferred option, because then every Sorbet user will benefit. Find which RBI file you need to edit, and submit a pull request Submit a pull request to fix the type annotations yourself.Įvery RBI file for the Ruby standard library lives here in the The Sorbet team is usually too busy to respond to requests to fix individualīugs in these type annotations for the Ruby standard library. Sometimes they’re incomplete or inaccurate. This means they’re able to have fine grained types, but it also means that ![]() Every RBI file for the Ruby standard library is maintained by hand. ![]() Sorbet uses RBI files to annotate the types for the Ruby standard It looks like Sorbet’s types for the stdlib are wrong. Particular, Sorbet does not assume a method called twice returns the same thingįor a fully working example. Sorbet implements a flow-sensitive type system, but there Why does Sorbet think this is nil? I just checked that it’s not! ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |