Loading ...

rust-lang/chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

1989

4

44

Notes

Sign in to add notes for this repository

16808

Followers

0

Following

Nothing here

Branches

dependabot/cargo/tracing-subscriber-0.3.20

Releases

Commits

Merge pull request #833 from Noratrieb/patch-1 Add note about deprecation

Add note about deprecation Chalk is no longer being developed, as it has been replaced by the new solver. Mention this in the readme so people that just see the repo don't assume Chalk is the future

Release 0.105.0-dev.0 chalk@0.105.0-dev.0 chalk-derive@0.105.0-dev.0 chalk-engine@0.105.0-dev.0 chalk-integration@0.105.0-dev.0 chalk-ir@0.105.0-dev.0 chalk-parse@0.105.0-dev.0 chalk-recursive@0.105.

Issues

Add inference variable info in debug output

Add callback to get layout data

Add tests for unification of all types