Stream: wg-traits

Topic: chalk guide


nikomatsakis (Nov 11 2019 at 20:05, on Zulip):

One of the things I was thinking is that I think the rustc-guide content on chalk should move to a separate chalk book

Sunjay Varma (Nov 11 2019 at 20:06, on Zulip):

Yeah there's definitely enough content there for it to be separate

nikomatsakis (Nov 11 2019 at 20:06, on Zulip):

I think the goal is that people should be able to contribute to chalk without really knowing that much about rustc

nikomatsakis (Nov 11 2019 at 20:06, on Zulip):

if we do our job right

nikomatsakis (Nov 11 2019 at 20:06, on Zulip):

and vice versa :)

Keith Yeung (Nov 11 2019 at 20:47, on Zulip):

that's already the case i believe

Keith Yeung (Nov 11 2019 at 20:47, on Zulip):

chalk has its own internal IR and doesn't quite interface much with the rest of the compiler

nikomatsakis (Dec 06 2019 at 23:20, on Zulip):

So I've been looking into setting this up

nikomatsakis (Dec 06 2019 at 23:20, on Zulip):

I might need a bit of advice from @Pietro Albini about the best way to configure github actions though :)

nikomatsakis (Dec 06 2019 at 23:21, on Zulip):

e.g., should I just have cargo install mdbook in there?

nikomatsakis (Dec 06 2019 at 23:21, on Zulip):

or is there something better

Pietro Albini (Dec 06 2019 at 23:21, on Zulip):

let me add a todo item to reply on monday

Pietro Albini (Dec 06 2019 at 23:21, on Zulip):

too tired right now

nikomatsakis (Dec 06 2019 at 23:21, on Zulip):

/me did not expect you to be awake

Pietro Albini (Dec 06 2019 at 23:21, on Zulip):

:sweat_smile:

Pietro Albini (Dec 06 2019 at 23:22, on Zulip):

just laying on the couch with my laptop

Last update: Dec 12 2019 at 01:40UTC