Stream: t-compiler/wg-rls-2.0

Topic: non-determinism in analysis?


Laurențiu Nicola (Jul 19 2019 at 14:04, on Zulip):
$ cargo run --release -p ra_cli -- analysis-stats
    Finished release [optimized + debuginfo] target(s) in 0.06s
     Running `target/release/ra_cli analysis-stats`
Database loaded, 256 roots, 185.744807ms
Crates in this dir: 28
Total modules found: 285
Total declarations: 9644
Total functions: 3253
Total expressions: 64916
Expressions of unknown type: 9217 (14%)
Expressions of partially unknown type: 3414 (5%)
Analysis: 17.890922846s, 0b allocated 0b resident

$ cargo run --release -p ra_cli -- analysis-stats
    Finished release [optimized + debuginfo] target(s) in 0.05s
     Running `target/release/ra_cli analysis-stats`
Database loaded, 256 roots, 184.273592ms
Crates in this dir: 28
Total modules found: 285
Total declarations: 9644
Total functions: 3253
Total expressions: 64916
Expressions of unknown type: 9218 (14%)
Expressions of partially unknown type: 3410 (5%)
Analysis: 17.724273571s, 0b allocated 0b resident
matklad (Jul 19 2019 at 14:05, on Zulip):

wow

matklad (Jul 19 2019 at 14:06, on Zulip):

this seems bad

Laurențiu Nicola (Jul 19 2019 at 14:06, on Zulip):

do we still have fuel?

matklad (Jul 19 2019 at 14:06, on Zulip):

nope

Laurențiu Nicola (Jul 19 2019 at 14:06, on Zulip):

hmm

matklad (Jul 19 2019 at 14:06, on Zulip):

and, even with fuel, it shouldn't be any different

Laurențiu Nicola (Jul 19 2019 at 14:07, on Zulip):

I can see how trying to resolve things in a different order might make it take fewer or more iterations

Last update: Nov 12 2019 at 16:35UTC