Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

RFC: Structural Records #2584

Closed
wants to merge 15 commits into from
+1,298 −0
Closed

RFC: Structural Records #2584

Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
482bc50
rfc, structural-records: initial version.
Centril Oct 28, 2018
a8b1a23
rfc/structural-records: fix typo.
kennytm Oct 29, 2018
383a8dc
rfc, structural-records: fix type theory encoding mishap.
Centril Oct 29, 2018
add3e0b
rfc, structural-records: clarify that component types must be *WF*.
Centril Oct 29, 2018
627f75d
rfc, structural-records: elaborate on drawbacks re. orphans.
Centril Nov 2, 2018
d2b61cb
rfc, structural-records: elaborate some more.
Centril Nov 2, 2018
c9b38d7
rfc, structural-records: discuss { 0: x, 1: y, .. }
Centril Nov 2, 2018
9611276
rfc, structural-records: adjust start date.
Centril Nov 2, 2018
90ab4e8
rfc, structural-records: ?Sized -> !Sized.
Centril Nov 2, 2018
0516865
rfc, structural-records: elaborate on behavior re. #[derive(LibstdTra…
Centril Nov 2, 2018
8b948d1
rfc, structural-records: clarify that immediate fields are always pub…
Centril Nov 3, 2018
001c87c
rfc, structural-records: note another instance of backtracking.
Centril Nov 3, 2018
18a2684
rfc, structural-records: add unresolved question re. (Partial)Ord.
Centril Nov 3, 2018
b070655
rfc/structural-records: fix leftover from GAT fromulation of HasField.
Nemo157 Nov 3, 2018
caad87a
rfc/structural-records: fix typo.
oli-obk Nov 6, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading