Typesafety is a type checker wrapper for Hack.
Detailed report at type check, automatic generation of .hhconfig, etc.
If you do not want to create .hhconfig automatically, specify --no-hhconfig.
typesafety
or
typesafety --no-hhconfig
Using Github review api, you can post the check results as review comments.
Current version only supports Travis CI.
typesafety --review
You need to specify Personal access token for environment variable GITHUB_TOKEN.
The access authority must be repo or public_repo.
The following environment is necessary to build.
- OCaml >= 4.05.0
- OPAM >= 1.2.2
You can install dependent packages with the following command.
If you use the --review option, you need to install openssl.
sudo apt-get install -y opam
sudo apt-get install -y libssl-dev pkg-config
brew install opam
brew install openssl pkg-config
opam switch 4.05.0
opam pin add typesafety https://github.com/hhpack/typesafety-cli.git
Install necessary system packages.
Openssl is mandatory to use the https protocol.
sudo apt-get install -y opam
sudo apt-get install -y libssl-dev pkg-config
brew install opam
brew install openssl pkg-config
Install dependent packages.
opam install -y jbuilder ssl lwt lwt_ssl ocamlfind atdgen cmdliner oUnit cohttp cohttp-lwt-unix
You can build with the following command.
make build
You can unit test with the following command.
make test
Run the example you need to install the following.
- docker
-
Build docker image
cd examples ./build -
Start up the build container
docker build -t typesafety/example:latest . -
Run typesafety
typesafety --verbose