Skip to content

Commit 32968aa

Browse files
committed
improve the README
1 parent 84ea8bd commit 32968aa

File tree

1 file changed

+22
-12
lines changed

1 file changed

+22
-12
lines changed

working-groups/traits/README.md

Lines changed: 22 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,21 @@
11
# Scope and purpose
22

33
The **traits** working group is dedicated to improving the trait
4-
system implementation in rustc. The end goal is to transition the
5-
compiler to use a [Chalk-style] solver, but along the way we hope to
6-
make targeted fixes to the existing solver where needed.
4+
system implementation in rustc. This working group is a collaboration
5+
between the [lang team] and the compiler team. We have a number of inter-related
6+
goals:
77

8-
[Chalk-style]: https://github.com/rust-lang-nursery/chalk
8+
- designing new trait-related language features;
9+
- documenting and specifying the semantics of traits in Rust today; and,
10+
- improving the trait solver implementation in rustc.
11+
12+
[lang team]: https://github.com/rust-lang/lang-team/
913

10-
# Current status
14+
A big part of this work is transitioning the compiler to use a
15+
[Chalk-style] solver, but along the way we hope to make targeted fixes
16+
to the existing solver where needed.
1117

12-
- Preliminary Chalk integration in Rustc is complete.
13-
- Currently doing a lot of documentation work.
14-
- Developing a plan for what to do next.
18+
[Chalk-style]: https://github.com/rust-lang-nursery/chalk
1519

1620
# How to participate
1721

@@ -22,10 +26,6 @@ On [the rust-lang Zulip][z], in [the `#t-compiler/wg-traits` stream][s].
2226
[z]: https://rust-lang.zulipchat.com/
2327
[s]: https://rust-lang.zulipchat.com/#narrow/stream/144729-t-compiler.2Fwg-traits
2428

25-
**Dedicated repository:** The [wg-traits
26-
repository](https://github.com/rust-lang/wg-traits) contains draft
27-
RFCs and other documents.
28-
2929
## Weekly triage meeting
3030

3131
There is a weekly triage meeting which you will find on the [compiler
@@ -35,3 +35,13 @@ on [Zulip][z] in a dedicated topic of the [the `#t-compiler/wg-traits`
3535
stream][s].
3636

3737
[c]: https://github.com/rust-lang/compiler-team#meeting-calendar
38+
39+
## Dedicated repository
40+
41+
Documents related to the wg-traits working group are stored on a
42+
dedicated repository, [rust-lang/wg-traits]. This repository contains
43+
meeting minutes, regular updates, as well as draft RFCs and other
44+
documents.
45+
46+
[rust-lang/wg-traits]: https://github.com/rust-lang/wg-traits
47+

0 commit comments

Comments
 (0)