3 ms·
Did you mistake it with Chalk[1]? Unlike DataFrog it is not too basic, actively developed and aimed to be used in Rust compiler itself. [1] https://github.com/
by xvilka 8y ago
Did you mistake it with Chalk[1]? Unlike DataFrog it is not too basic, actively developed and aimed to be used in Rust compiler itself.
[1] https://github.com/rust-lang-nursery/chalk https://github.com/rust-lang-nursery/chalk
- kibwen 8y agoI don't think I'm confusing it with Chalk; note that Datafrog is, like Chalk, hosted in rust-lang-nursery and sees ongoing development. IIRC Chalk is more intended to serve the trait system, rather than the borrow checker as mentioned in Frank's post. Of course, I have only a passing idea of what all these experimental components are being aimed at (and it's possible that I'm confusing Datafrog with another one of them, like, say, Polonius).