Stream: wg-traits

Topic: solve_limited


nikomatsakis (Jan 17 2020 at 16:57, on Zulip):

So @Jack Huey -- for chalk#321 -- I think I'm inclined to merge

nikomatsakis (Jan 17 2020 at 16:57, on Zulip):

but I wonder if we should start writing up design plans in chalk book

nikomatsakis (Jan 17 2020 at 16:57, on Zulip):

I've actually already forgotten now just when should_continue is invoked

Jack Huey (Jan 17 2020 at 16:58, on Zulip):

https://github.com/rust-lang/chalk/pull/321/files#diff-e282e877f60f5897fdd027df3ca1bd89R184

Jack Huey (Jan 17 2020 at 16:58, on Zulip):

Whenever root_answer yields QuantumExceeded

Jack Huey (Jan 17 2020 at 16:59, on Zulip):

But yes, definitely should write this up in chalk book

Jack Huey (Jan 17 2020 at 16:59, on Zulip):

I'm planning on this weekend being a "meta weekend" for me

Jack Huey (Jan 17 2020 at 16:59, on Zulip):

e.g. writing up stuff in chalk book

Jack Huey (Jan 17 2020 at 16:59, on Zulip):

and issue triage/labels

nikomatsakis (Jan 17 2020 at 16:59, on Zulip):

Yeah, I found it in the PR again, and I also re-read notes from our design meeting

Jack Huey (Jan 17 2020 at 17:00, on Zulip):

and cleaning up the chalk goals and make concrete plans

nikomatsakis (Jan 17 2020 at 17:01, on Zulip):

I left a review with one nit

Jack Huey (Jan 17 2020 at 17:09, on Zulip):

I left a review with one nit

Updated :)

Last update: Feb 25 2020 at 04:20UTC