mirror of
https://github.com/roc-lang/roc.git
synced 2025-07-12 17:14:59 +00:00
5c9aa7aaca
Bump http-proxy-middleware in /crates/compiler/checkmate/www Bumps [http-proxy-middleware](https://github.com/chimurai/http-proxy-middleware) from 2.0.6 to 2.0.9. - [Release notes](https://github.com/chimurai/http-proxy-middleware/releases) - [Changelog](https://github.com/chimurai/http-proxy-middleware/blob/v2.0.9/CHANGELOG.md) - [Commits](https://github.com/chimurai/http-proxy-middleware/compare/v2.0.6...v2.0.9) --- updated-dependencies: - dependency-name: http-proxy-middleware dependency-version: 2.0.9 dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> |
||
|---|---|---|
| .. | ||
| src | ||
| www | ||
| build.rs | ||
| Cargo.toml | ||
| README.md | ||
| schema.json | ||
checkmate
A tool to debug the solver (checker + inference + specialization engine).
Usage
If you run into a typechecking bug and want to try to diagnose it, after minimizing, you can run a debug version of the compiler with ROC_CHECKMATE=1 set.
That will spit out a JSON file of the form checkmate_<timestamp>.json.
You can then load them into the UI and investigate the unifications. The UI can
be started with npm start in the www directory.
Note that you will need Node.js and NPM installed to run the UI. Unlike other subprojects, this project requires external dependencies because it is fully optional, as an internal developer tool. A motivated contributor is free to rewrite the UI in a different framework, including Roc itself.