Pyre: Fast Type Checking for Python

Re:Pyre: Fast Type Checking for Python by hayd on Friday May 11, 2018 @01:52PM (#17049415)

Has anyone tried installing this? I get:

    $ pip install pyre-check
    Collecting pyre-check
      Could not find a version that satisfies the requirement pyre-check (from versions: )
    No matching distribution found for pyre-check

Just me? (I am on python 3.6 and pip(3).)

[ Parent | on HN ]

Re:Pyre: Fast Type Checking for Python by hayd on Saturday May 12, 2018 @08:38PM (#17056806)

Ah, I was running this on a personal macbook which is apparently on an old osx version. This seemed to be the issue: https://github.com/facebook/pyre-check/issues/11

(Installed fine on an my work machine running OSX 10.13.3.)

[ Parent | on HN ]

Re:Pyre: Fast Type Checking for Python by fermigier on Friday May 11, 2018 @01:56PM (#17049443)

Me too. I guess they provide binaries only for some platforms, and yours (and mine) is not supported.

I tried to build from source but got another error after some time:

    File "ast/astStatement.ml", line 289, characters 41-74:
    Error: Unbound module Recognized

(NB: testing on Mac OS 10.10).

[ Parent | on HN ]

Re:Pyre: Fast Type Checking for Python by tuvistavie on Saturday May 12, 2018 @05:20AM (#17053196)

Changing `INCLUDES = . parser ....` to `INCLUDES = . external parser ...` in the Makefile fixed compilation for me.

[ Parent | on HN ]

Re:Pyre: Fast Type Checking for Python by sinancepel on Friday May 11, 2018 @02:03PM (#17049508)

If you're having trouble with pip, I'd recommend trying `pip3.6 install pyre-check`.

[ Parent | on HN ]

Re:Pyre: Fast Type Checking for Python by bpicolo on Friday May 11, 2018 @01:54PM (#17049433)

Working fine for me. Are you using public pypi?

[ Parent | on HN ]