Skip to content

Formally describe type system and inference algorithm #6834

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Closed
nikomatsakis opened this issue May 30, 2013 · 5 comments
Closed

Formally describe type system and inference algorithm #6834

nikomatsakis opened this issue May 30, 2013 · 5 comments
Labels
A-type-system Area: Type system metabug Issues about issues themselves ("bugs about bugs") P-medium Medium priority

Comments

@nikomatsakis
Copy link
Contributor

Right now the only description is "the source".

@graydon
Copy link
Contributor

graydon commented Jun 20, 2013

accepted for well-defined milestone

@metajack
Copy link
Contributor

metajack commented Aug 8, 2013

visiting for triage. nothing to add.

@flaper87
Copy link
Contributor

Visiting for triage. Unfortunately, there's still lot of work to do here.

@flaper87
Copy link
Contributor

Triage bump, still needs some love.

@brson
Copy link
Contributor

brson commented Jul 14, 2016

Far future pipe dream! Closing.

@brson brson closed this as completed Jul 14, 2016
flip1995 pushed a commit to flip1995/rust that referenced this issue Mar 11, 2021
…5,oli-obk

Let Cargo track CLIPPY_ARGS

This PR makes `clippy-driver` emit `CLIPPY_ARGS` in its `dep-info` output.

Just like rust-lang#6441, this allows this workflow to work:
```shell
cargo clippy # warning: empty `loop {}` wastes CPU cycles
cargo clippy -- -A clippy::empty_loop # no warnings emitted
```
But without rebuilding all dependencies.

cc https://rust-lang.zulipchat.com/#narrow/stream/257328-clippy/topic/CLIPPY_ARGS.20is.20not.20tracked.20by.20Cargo/near/228599088

changelog: Cargo now re-runs Clippy if arguments after `--` provided to `cargo clippy` are changed.
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
A-type-system Area: Type system metabug Issues about issues themselves ("bugs about bugs") P-medium Medium priority
Projects
None yet
Development

No branches or pull requests

6 participants