Add `non_exhaustive` to reference. by davidtwco · Pull Request #609 · rust-lang/reference

davidtwco · 2019-05-12T14:13:34Z

This PR adds documentation for RFC 2008 (tracking issue rust-lang/rust#44109) to the reference.

ehuss · 2019-05-12T15:04:24Z

Nice! I'm looking forward to this being stabilized. The stabilization report says 1.35, but that's in about 10 days, will it maybe be in a future release?

As for categorization, that's a tough one. I had originally intended that section to be just for lints, but I can't think of a better place to put it. I don't feel strongly where it goes, so unless someone else has a suggestion, I don't have a preference.

davidtwco · 2019-05-12T15:07:51Z

The stabilization report says 1.35, but that's in about 10 days, will it maybe be in a future release?

I just wrote the next release when I was drafting that, I have no idea what release it will be. I've changed it to TBD in that document.

ehuss · 2019-07-16T22:36:20Z

@davidtwco Just a heads up, I have rebased this PR on latest master to resolve the conflicts, so be careful updating locally.

The reference has migrated to mdbook 0.3. This means that links should use the .md extension, and are relative to the page they are on (previously they were relative to the root of the book). Please don't hesitate to ask if you have any questions or any trouble updating. Sorry for the interruption!

davidtwco · 2019-07-16T23:12:34Z

@ehuss thanks a lot for doing that, I hadn’t been checking to see if there were any conflicts.

Centril · 2019-10-25T14:40:04Z

The stabilization PR (rust-lang/rust#64639) just went through.

Centril · 2019-10-26T13:45:00Z

LGTM; but maybe @ehuss and @petrochenkov want to take a look also.

ehuss

Nice!

ehuss · 2019-10-26T17:11:29Z

I was wondering if you would be willing to make a PR to define "inhabited" and "uninhabited" in the glossary? It is not defined anywhere, and this adds a second reference to the term, which (I think) is unclear for anyone not well versed in type theory (e.g. me).

Signed-off-by: David Wood <david@davidtw.co>

davidtwco · 2019-10-26T17:20:39Z

I was wondering if you would be willing to make a PR to define "inhabited" and "uninhabited" in the glossary? It is not defined anywhere, and this adds a second reference to the term, which (I think) is unclear for anyone not well versed in type theory (e.g. me).

I've added a commit which adds inhabited/uninhabited to the glossary.

ehuss · 2019-10-26T17:46:08Z

Thanks! ❤️

Centril · 2019-10-26T20:23:06Z


+### Inhabited
+
+A type is inhabited if it has constructors and therefore can be instantiated. An inhabited type is


Is your notion of "has constructors" intended to e.g. take visibility into account? That's the current definition of inhabitedness in the type system but not the abstract machine. You are describing this from the POV of the type system, right?

Uh, yes..? I just borrowed the explanation from RFC 1216.

I see. :) Well, this is good.

Update cargo, books. ## cargo 8 commits in 3ba5f27170db10af7a92f2b682e049397197b8fa..5da4b4d47963868d9878480197581ccbbdaece74 2019-10-22 15:05:18 +0000 to 2019-10-28 21:53:41 +0000 - Add --filter-platform to `cargo metadata`. (rust-lang/cargo#7376) - Fix `cargo fix` not showing colors. (rust-lang/cargo#7550) - Rephrase --manifest-path section (rust-lang/cargo#7409) - Add a note to discourage the use of -Zminimal-versions. (rust-lang/cargo#7549) - Fix profile override warning in a workspace. (rust-lang/cargo#7536) - Fix some tests failing on Windows nightly. (rust-lang/cargo#7534) - Show better error message for Windows abnormal termination. (rust-lang/cargo#7535) - Run `apt update` before `apt install` (rust-lang/cargo#7541) ## reference 8 commits in 5b9d2fc..4b21b64 2019-10-03 22:39:10 +0200 to 2019-10-27 22:33:11 +0100 - Document `const_constructor` feature (rust-lang/reference#677) - Add `non_exhaustive` to reference. (rust-lang/reference#609) - Re-add rust-docs component for lintcheck (rust-lang/reference#702) - group signed and unsigned integers in layout table (rust-lang/reference#700) - Fix layout table rendering (rust-lang/reference#699) - Add reference for attributes in function parameters (rust-lang/reference#657) - Update now that proc macros can expand to macro_rules. (rust-lang/reference#694) - Fix match in union example. (rust-lang/reference#684) ## book 8 commits in 9bb8b161963fcebc9d9ccd732ba26f42108016d5..28fa3d15b0bc67ea5e79eeff2198e4277fc61baf 2019-10-14 18:42:55 -0500 to 2019-10-29 07:16:09 -0500 - Update Ch19.1 on slice splitting (rust-lang/book#1999) - fixed inconsistent terminology regarding enums (rust-lang/book#2022) - Update ch15-03 code to match output. (rust-lang/book#2020) - Fixesrust-lang/book#2039 (rust-lang/book#2040) - Update ch15-03-drop.md (rust-lang/book#2049) - unit type value is also a value (rust-lang/book#2061) - Minor: remove an extraneous `.` (rust-lang/book#2059) - Clarifications and consistent use of quotation marks (rust-lang/book#1992) ## rust-by-example 4 commits in 0b111eaae36cc4b4997684be853882a59e2c7ca7..f3197ddf2abab9abdbc029def8164f4a748b0d91 2019-10-14 18:34:25 -0300 to 2019-10-29 10:17:40 -0300 - Fix typos (rust-lang/rust-by-example#1285) - Improve Cargo / Dependencies section (rust-lang/rust-by-example#1287) - Improve Cargo / Build Scripts section (rust-lang/rust-by-example#1288) - Make if_let exercise runnable (rust-lang/rust-by-example#1289)

davidtwco mentioned this pull request May 12, 2019
Tracking issue for RFC 2008: Future-proofing enums/structs with #[non_exhaustive] attribute rust-lang/rust#44109
Closed
7 tasks

Havvy reviewed May 12, 2019
View reviewed changes

Comment threadsrc/attributes/diagnostics.md Outdated

Havvy reviewed May 12, 2019
View reviewed changes

Comment threadsrc/attributes/diagnostics.md Outdated

Havvy reviewed May 12, 2019
View reviewed changes

Comment threadsrc/attributes/diagnostics.md Outdated

davidtwco force-pushed the rfc-2008-documentation branch from 54bfb46 to 5c0ab40Compare May 13, 2019 19:09

ehuss force-pushed the rfc-2008-documentation branch from 5c0ab40 to 4852200Compare July 16, 2019 22:35

ehuss added the S-waiting-on-stabilization Waiting for a stabilization PR to be merged in the main Rust repository label Oct 2, 2019

Centril reviewed Oct 25, 2019
View reviewed changes

davidtwco force-pushed the rfc-2008-documentation branch from 4852200 to c01aff7Compare October 26, 2019 12:44

Centril reviewed Oct 26, 2019
View reviewed changes

Add non_exhaustive to reference.
363a64a

davidtwco force-pushed the rfc-2008-documentation branch from c01aff7 to 363a64aCompare October 26, 2019 13:25

Centril requested a review from ehuss October 26, 2019 13:44

ehuss approved these changes Oct 26, 2019
View reviewed changes

Define inhabited/uninhabited in glossary.
909b4d1
Signed-off-by: David Wood <david@davidtw.co>

Centril reviewed Oct 26, 2019
View reviewed changes

Centril merged commit beb79db into rust-lang:masterOct 26, 2019

davidtwco deleted the rfc-2008-documentation branch October 26, 2019 20:34

ehuss mentioned this pull request Oct 29, 2019
Update cargo, books. rust-lang/rust#65941
Merged


		### Inhabited

		A type is inhabited if it has constructors and therefore can be instantiated. An inhabited type is

Uh oh!

Conversation

davidtwco commented May 12, 2019• edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

ehuss commented May 12, 2019

Uh oh!

davidtwco commented May 12, 2019

Uh oh!

Uh oh!

Uh oh!

Uh oh!

ehuss commented Jul 16, 2019

Uh oh!

davidtwco commented Jul 16, 2019

Uh oh!

Centril commented Oct 25, 2019

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Centril commented Oct 26, 2019• edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

ehuss left a comment

Choose a reason for hiding this comment

Uh oh!

ehuss commented Oct 26, 2019

Uh oh!

davidtwco commented Oct 26, 2019

Uh oh!

ehuss commented Oct 26, 2019

Uh oh!

CentrilOct 26, 2019

Choose a reason for hiding this comment

Uh oh!

davidtwcoOct 26, 2019

Choose a reason for hiding this comment

Uh oh!

CentrilOct 26, 2019

Choose a reason for hiding this comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

davidtwco commented May 12, 2019•
edited
Loading

Centril commented Oct 26, 2019•
edited
Loading