Internal crash: Raised in src/string.ml about pyre-check

[connernilsen]

Hey @hubyrod, thanks for letting us know about this. I'm not able to get too much from your error logs, so I'm going to try to reproduce it locally. When it fails with the last configuration you gave (search_path: [".", ".venv/lib/python3.11/site-packages"]), does it give you the same error?

[hubyrod]

hey @connernilsen
Sorry for the late reply. yes it does give me the same error.

[connernilsen]

Try setting your Pyre configuration to this and see if that helps:

{
  "site_package_search_strategy": "pep561",
  "source_directories": [
    "apps",
    "shared"
  ],
  "search_path": [
    ".venv/lib/python3.11/site-packages"
  ]
}

(so remove the "." search path). It's similar to the second configuration, but I'm hoping the difference in search path might be what's going wrong there.

I haven't been able to reproduce this myself on a couple of different machines, so if that's still not working, maybe try installing pyre-check-nightly (or building Pyre from source). I just checked and it seems that we haven't updated open source Pyre in a while, so it's possible it is a bug that we fixed a while ago that newer versions won't have.

[hubyrod]

That'd be great ! :)
have you plan to update open source soon ?
(in the meantime I'm going to give a try to the git version, I'll keep you posted)

To be fully honest, I work on python codebase big enough to make some other typechecker a pain because of slowness, and if Pyre could work it'd be awesome :)

(also, I have a few other issues like with sqlachemy for instance, so you know)

[connernilsen]

I'm working on publishing a new version now. It might take a day or two to get all the permissions needed, so let me know how your attempt works in the meantime.

Also, I'm glad to hear we can help out with your codebase!

[hubyrod]

hi @connernilsen

I am following these instructions: https://pyre-check.org/docs/installation/
But I'm hitting errors, unfortunately.
After what seems to be a smooth install, here are the last 4 lines before the shell prompt:

[2023-10-16 21:48:52,356] [INFO] ['make', 'dev']
abort: no repository found in '/Users/<my_alias>/dev/pyre-check/source' (.hg not found)
[2023-10-16 21:48:53,885] [INFO] ['make', 'test']
abort: no repository found in '/Users/<my_alias>/dev/pyre-check/source' (.hg not found)

Then, after entering the source directory I can run

make
make test

and beside having this warning, it looks fine.

So i open the directory with the codebase I'm working on and set it up to have the following:

$ alias | grep pyre
pyre='PYTHONPATH="~/dev/pyre-check/..:$PYTHONPATH" python -m pyre-check.client.pyre'

and

$ env | grep PYRE
PYRE_BINARY=/Users/<my_alias>/dev/pyre-check/source/_build/default/main.exe

for the following:

$ which pyre
pyre: aliased to PYTHONPATH="~/dev/pyre-check/..:$PYTHONPATH" python -m pyre-check.client.pyre

But calling pyre will only get me the following error:
/Users/<my_alias>/dev/alan-backend/.venv/bin/python: Error while finding module specification for 'pyre-check.client.pyre' (ModuleNotFoundError: No module named 'pyre-check')

Sorry if this is a naive error, easy to fix, but I am now blocked.

Also, have you managed to make release ?

Anyway, thank you for your patience ^^

[connernilsen]

Hey @hubyrod, I've had some team members that were trying to do a release last week, but we've been running into permissions issues. I think they've been sorted out, so they're expecting for the release to go out tomorrow.

As for the module not found issue, are you sourcing your venv after setting the PYTHONPATH?

[connernilsen]

Okay @hubyrod, I just finished a release (0.9.19)! Try that out and see if it helps.

[hubyrod]

That's great, and it seems indeed to be solved. Let's close this issue.

[hubyrod]

@connernilsen thank you again for your help !

[connernilsen]

No problem @hubyrod, glad we were able to fix it!