Neil Mitchell
Neil Mitchell
### Describe the Bug ```python def main(): global table table = 1 print(table) main() ``` This works fine, but Pyrefly complains `Could not find name "table"` ### Sandbox Link https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSIAOljGAAQC2qE6AFAJSLV090DmUXNlRQ6AF1TZY3XhKkw6AXjoBGGT2IAnFmNZzY7atSYsOIADQgArmOhwS5RCADEdAKq2oEMaTpgr6ADGtrjocEY09GC4mkxiAProVgzYMJqs%2BIh0Oux0ALQAfHRwYppc6Lx0mjBiVpoVYJQgAHLJqWV0wPgAvk3UFiBk1WBQpIRiuAxQFK4ACqTDo8UYOAR0gaGQfHWoIeiE1K4AyjAKABZiYsRwiAD0t0O0o4QxfLcw6LeYuIFwtxvoLY7Pa3PwxOioABuzCgklg602EG2ml2EFCdFwxD29moZDEZ1CeUhaTgaIqyiaAGZCCoAEx9dAgbqWVDBCDEgBi0BgFDQWDwRDITKAA...
UPDATE 2025/10/8: The example in the original issue report (preserved below) has been fixed, but Pyrefly still generates some related false positives. Example 1: ``` import pathlib def f(mod: str,...
The underlying slice has: ``` pub fn split_first(&self) -> Option ``` But for `Vec1` the `Option` is always `Some`. Could we get a dedicated `split_first` on the `Vec1`.
From https://code.google.com/p/ndmitchell/issues/detail?id=447 It should say unsafePerformIO but with a warning. Ditto unsafeCoerce.
From https://code.google.com/p/ndmitchell/issues/detail?id=61 The following searches go wrong: [] - searches for nothing : - doesn't find lists
From https://code.google.com/p/ndmitchell/issues/detail?id=381, and an FAQ at http://stackoverflow.com/questions/4061777/converting-int-to-integer
From https://code.google.com/p/ndmitchell/issues/detail?id=84 Useful to search just the GHC flags, and extension pragmas, since there are a lot of them.
By default, the default database for `hoogle data` should be that which contains all the installed packages, e.g. reported by `ghc-pkg list`.
From https://code.google.com/p/ndmitchell/issues/detail?id=415 Searching for DateTime -> Double should be the same as searching for Datetime -> Double, i.e. type constructor names should be insensitive. As a side effect, searching for...
Seemingly caused by the type signature: ``` type TelegramBotAPI = (TelegramToken :> ("getMe" :> Get '[JSON] GetMeResponse)) : ((TelegramToken :> ("sendMessage" :> (ReqBody '[JSON] SendMessageRequest :> Post '[JSON] MessageResponse))) :...